SWI Prolog’s Jan Wielemaker did get the Colmerauer prize, though. So that was nice.
19.09.2025 13:38 — 👍 0 🔁 0 💬 0 📌 0
I've been at ICLP (Intl Conf Logic Programming) the last week. Sad to see it's completely taken over by ASP now. Last year I was at the Scryer Prolog workshop and that was much more fun to attend.
We need a new conference focusing on applications of Prolog specifically. Smaller but focused.
19.09.2025 12:21 — 👍 1 🔁 0 💬 0 📌 0
YouTube video by Polygonal Escape
Project MyWorld Walkthrough HD
Ahhh... Project #MyWorld. This was the project I started and prototyped in 2005, before Russell joined me a year later. We got the whole UK being generated and streaming before we were staffed up. It was designed to "host" games - it could have been amazing.
www.youtube.com/watch?v=oNw9...
14.08.2025 21:36 — 👍 19 🔁 2 💬 1 📌 1
videoda konuştuğumuz bazı konularla igili olarak:
"GitHub CEO: manual coding remains key despite AI boom" www.techinasia.com/news/github-...
23.06.2025 21:55 — 👍 12 🔁 2 💬 0 📌 0
nerde demiş bunu? :D çok komik lafmış
19.06.2025 22:08 — 👍 2 🔁 0 💬 1 📌 0
YouTube video by hafif programming
Sokak Kodcusu (Konuk: Sedat Kapanoğlu)
Sokak Kodcusu (Konuk: Sedat Kapanoğlu)
Güzel bir sohbet oldu, teşekkürler @ssg.dev!
youtu.be/c6KOLuKG0v8
19.06.2025 08:50 — 👍 12 🔁 5 💬 1 📌 2
YouTube video by hafif programming
Dijkstra 50 yıl önce yazmış: Doğal dille kod yazmak
Dijkstra 50 yıl önce yazmış: Doğal dille kod yazmak youtu.be/DF7VzYPkuM4?...
27.05.2025 08:42 — 👍 0 🔁 0 💬 0 📌 0
YouTube video by hafif programming
Gitlab ve prompt injection
Gitlab ve prompt injection youtu.be/7Y0z1w-w9i8?...
27.05.2025 08:42 — 👍 0 🔁 0 💬 0 📌 0
Gamedev teams looking stupid....
#DMADesign 1991, on top of the Law
07.04.2025 14:01 — 👍 24 🔁 2 💬 2 📌 0
"Do you own this website?" prompt only with an "OK" button.
hey, a free website!
02.01.2025 22:35 — 👍 29 🔁 2 💬 1 📌 0
been playing ghost of tsushima, and mongols keep talking about a heavenlike place called "eternal blue sky" that they want to go in the afterlife. so, i'm just like their account transfer liaison. "yes sir, with this combo, i will transfer your followers to bluesky too".
25.12.2024 04:47 — 👍 25 🔁 2 💬 1 📌 0
I’m sorry but I like Javascript now.
15.12.2024 22:19 — 👍 3 🔁 0 💬 0 📌 0
Prolog predicates are indexed on first argument, so actually just lookup(Key, Value) is a dictionary! (one needs to use assert to insert).
13.11.2024 22:27 — 👍 1 🔁 0 💬 0 📌 0
Can ChatGPT do formal logic? – Görkem Paçacı
First take on ChatGPT’s reasoning skills
13.11.2024 22:22 — 👍 1 🔁 0 💬 0 📌 0
Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.PL/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Youtube'daki Hafif Programming kanalının yeni videolarını buradan takip edebilirsiniz.
Computer Friend, Not a Bird
www.philipzucker.com
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Uykusuz Dergisi resmi hesabı.
www.uykusuzdukkan.com.tr
Prof.Dr./Georgetown'12-Bilkent'03&06 TUBA Young Scientist Award/14th Kadir Has Promising Scientist Aw./TUBA Monograph Aw. - İletişim:content@omnibuslive.com
SF-based computational biologist, hiker, nerd. All things history/prehistory, science, tech, nature, and sustainability. Also SF and California politics.
Raised by a pack of feral barn cats
Xennial, Chaotic-Neutral, INFP, Pisces
Oregon <- California <- Arkansas
Video Games, Classic Cars, Gardening, RetroGaming Emulation Handhelds, JavaScript, webDev
I like Bitcoin, and AI; block button is up there ☝️
Most online communities are just rented space.
I'm building something different: a real home for your people, on your server. Honest, simple, and yours forever. No landlords allowed.
@keymanmts.bsky.social / Assistant Professor at Sabancı University 🌆 / book on Anatolian Rock in progress 🎸 / sometimes journalist 📝 / tweets on art & culture in Turkey 🎶
Reproducible bugs are candies 🍭🍬
Lectori Salutem 🙋♀️
💻Software engineer
👩🍳Chef in my free time,
🦸♀️mom to two (plus two cats🐈🐈⬛)
Buitenlander in Nederland🇳🇱
ozgebarbaros.com
https://github.com/ozgebarbaros
https://gitlab.com/ozgebarbaros
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
kalendar / CyberSec - SysAdm
TSGK Member
Love math and programming (paid for C# but Python is my guilty pleasure, still trying to grok Prolog).
Smacked a time or two with the autism stick, don't get offended if I insist on calling your foot-powered digging implement a spade.
Retired IT consultant
Currently learning Go & rust
Relearning Polish
Have written in most usual languages FORTRAN, C, C++, Java, Python, and some unusual ones Snobol , Unicon and Prolog
Have dabbled in Haskell and Lean
(markdatko57@gmail.com )
We’re the European Centre for Disease Prevention and Control. We aim to strengthen EU’s defences vs infectious diseases. Here to promote public health.
Senior Environment Artist on Battlefield @CriterionGames
BAFTA member
Hip Hop/Dancehall dancer
