logtalk.org @LogtalkDotOrg
Logtalk development updates and relevant logic programming news. logtalk.org Portugal Joined August 2009-
Tweets3K
-
Followers584
-
Following320
-
Likes12K
Crespin, Kostis, Verhaeghe, Schaus: "CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models": arxiv.org/pdf/2509.07867 The system is available here: cp-model-zoo.info.ucl.ac.be GitHub: github.com/crespina/LLM4CP
Hillel Wayne: "Many Hard Leetcode Problems are Easy Constraint Problems - Use the right tool for the job.": buttondown.com/hillelwayne/ar… Examples are shown in #MiniZinc (minizinc.org). And the mandatory discussion on Hacker News: news.ycombinator.com/item?id=452226…
New version of CxProlog released: ctp.di.fct.unl.pt/~amd/cxprolog/ Great to see that development of this system continues.
Logtalk for VSCode 0.52.0 released with new features, usability improvements, and fixes. Requires Logtalk 3.93.0. Available at the VSCode Marketplace now. Open VSX Registry support for publishing is currently down. But you can always download and install the .vsix file manually.
Logtalk 3.93.0 released github.com/LogtalkDotOrg/…
This is about my Prolog book. Due to a campaign, it will be free for two days—from August 30 to August 31. Please take this opportunity to enjoy it.
#Picat v3.9 released: picat-lang.org Updates: picat-lang.org/updates.txt It contains e.g. improvements of the SAT solver and - which is really cool - a bit vector constraint module which makes it possible to use arbitrary sized domains (> 2**56) in constraint models. 1/2
Please consider purchasing my Prolog book. The royalties will be used to cover the costs of building a Raspberry Pi cluster machine.
New #Picat programs/models committed to GitHub. A few Smullyan puzzles and some other puzzles (including some using symbolic regression). Commit: github.com/hakank/hakank/… My Picat page: hakank.org/picat/
Logtalk for VSCode 0.44.0 published with fixes and improvements to automatic code indentation. marketplace.visualstudio.com/items?itemName… open-vsx.org/extension/Logt…
David Silverman has done a great job writing about his experience when learning #Picat: github.com/dsagman/picat . It contains a lot of examples solve Advent of Code (adventofcode.com) challenges using Picat's Constraint models as well as the planner.
Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks
Jupyter kernel for Logtalk version 0.36.0 released with support for input forms, complementing the support for input widgets added in version 0.32.0. It's also now possible to customize the inputs callback webserver IP and port range. Available from both PyPI and Conda.
Jupyter Kernel for Logtalk 0.32.0 released featuring input widgets: pypi.org/project/logtal… anaconda.org/conda-forge/lo…
Curso "Lógica informática (2014-15)". jaalonso.github.io/cursos/li-14 #Lógica #ProgramaciónLógica #Prolog
Updated my SWI-Prolog XTDB library to use the PostgreSQL binary protocol that XTDB speaks natively. This was a fun side project. Went from 100% Prolog, to pretty heavy on the C. Try it out: github.com/tatut/swixt
my @lambda_conf talk on temporal modal logic is up! time travel with me as i tell the story behind □ & ◇, how they came to save hardware dev, and why temporal modal logic now might just save us all:
Logtalk for VSCode 0.42.0 released, featuring an experimental Copilot chat participant and a logger system. Available from both VSCode and VScodium marketplaces: marketplace.visualstudio.com/items?itemName… open-vsx.org/extension/Logt…
Why not combine super simple probabilistic logic programs into a mixture model to tackle structure learning? In this paper, we explore exactly that, and surprisingly, it works quite well! 👨💻 🍝 🎨 sciencedirect.com/science/articl…
Logtalk QuickCheck testing support as a Google NotebookLM resource: notebooklm.google.com/notebook/6c0bf…

Hakan Kjellerstrand @hakankj
985 Followers 644 Following a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Peter Ludemann @PeterLudemann
215 Followers 661 Following Retired Google/Yahoo/start-ups/IBM/BNR; sometime bicyclist, sailor, non-gardener; bemused by PL design and logic programming. @[email protected]
Jason Morris (he/him)... @RoundTableLaw
3K Followers 2K Following #LegalTech nerd, #RulesAsCode Director #GC, former lawyer, coded @BlawxAI, runs @Lexpedite_ca, tabletop games, usual disclaimers. @[email protected].
Evlaca @Evlaca98142
10 Followers 723 Following
Emadeldin Ibrahim @EmadeldinIbrah7
8 Followers 299 Following
Ivan Uemlianin @llaisdy
365 Followers 73 Following Codes, Networks, Activity Theory, AI (GOF and otherwise)
Sasha @ashas_niktoris
0 Followers 20 Following
Mahal @Mahal091829
77 Followers 2K Following
David Matta @ddmatta
4K Followers 7K Following Philosophy of mind, ethics, phenomenology, and mindfulness. Generally, a critic & gadfly. Roams like a bee collecting nectar.
Kazunori Kaz Iriya �... @iriyak
387 Followers 1K Following 『いりやっく』こと入谷和典と申します。ビジュアルコミュニケーション基盤構築のお手伝いをしています。エンタープライズ向け動画ライブ配信基盤、ノイズミュート、字幕作成基盤など。Video Capable Technical Manager。 https://t.co/hfcEySivhs https://t.co/AmaEapSgh3
marco @marco_p_g
19 Followers 235 Following
@sasagawa888 @KSasagawa888
174 Followers 337 Following I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp&Prologとプラモデルを愛する変なおっさん。
Mehrdad Noori @NooriMe95
339 Followers 5K Following PhD at LIVIA/ILLS, ÉTS Montreal | ML Researcher at Zebra
आधुनिक �... @IndiaC4cl
24 Followers 172 Following I seek and speak absolute truth, however harsh, as a duty in pursuit of मोक्ष. Retired commodity analyst with 25 years of experience, now a PhD aspirant.
Soyrkir @SoyrkirJ71e
126 Followers 5K Following
ዐውደ-ቀለም @UserResu353329
21 Followers 433 Following ዐውደ-ቀለም በማስሊያ የታገዘ የጽሑፍ ማምረቻ መግበር ለዐማርኛ÷ ግእዝ÷ እንግሊዝኛ÷ ፈረንሳይኛ እና ሶማልኛ ለዊንዶውዝ AWDE-QELEM Text processing tool for Amharic-G'z-English-French-Somali (Windows OS)
OMF @exolon
116 Followers 175 Following
Ezeaka Elias @elias_ezea44861
6 Followers 297 Following
Emily Ballinger @DonnellyRa87544
6 Followers 495 Following The team provides free cryptocurrency analysis,trading instructions, and you can earn $3,000+ per day. WS:https://t.co/mXivIGWUjY
Richard Dijkstra @richdijkstra
684 Followers 983 Following Linked Data consultant. #RDF #SPARQL #Python #ArchiMate #EA #cybernetics #MDM #Metadata #opensource #Opendata
#OrionNebula @LeonXXI_MX
79K Followers 87K Following 💯💯💯 #Followback 💯💯💯💯 #Followback 💯💯💯💯💯🌺🌻❣️❣️💯💯💥💥 #FollowMeBack
Vincent Englebert @englebertv
1K Followers 1K Following https://t.co/ZzQ6oDuMbd @[email protected] https://t.co/O7Eki8lxUF 🇺🇦🌈🇧🇪🇪🇺👨💻👨🏫🚲🚴♂️📷 dans le désordre;
Patinnn @saccomoney
172 Followers 2K Following It's alright to want to dream. It doesn't mean reality is mean.
Srikanth @vshbit
4 Followers 305 Following
michael_e_bain @MichaelEBain
8 Followers 265 Following
Florian Over @FlorianOver
208 Followers 631 Following Love. Music. Peace. Clojure, AI, NLP, ASR and all things IT.
Benjamin Johnston @xmultiplier
26 Followers 42 Following
λ @lambda_functor
889 Followers 7K Following
Yilin Xia @yilin_xia
171 Followers 569 Following A Graph Farmer 🧑🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
donMariscal @Quitapenas3rd
3 Followers 263 Following
Anna Esteroid @AnnaEsteroid
71 Followers 160 Following Trying to get better at English. Likes Math, Programming, and Vtubers, but doesn’t know much about any.
TheBlackHack @BlackHackOfDoom
165 Followers 162 Following You're just jealous because I'm a genuine freak and you have to wear a mask.
Mike Potanin @MikePotanin
213 Followers 749 Following Вообще говоря, люди не имеют права править людьми. В этом есть что-то противоестественное. Людьми должны править Великие Лингвистические Модели.
Marco Ciccalè Baztá... @mciccaleb
15 Followers 85 Following Ph.D. Student @ IMDEA Software | Computer Scientist
Ivan @A3knGvCt
9 Followers 968 Following Small Fry "Dreams have expiration dates" - Ethan Kopek “Nothing in life is as important as you think it is while you are thinking about it.” - Daniel Kahneman
JoanMadge @5n7o254pp270f
60 Followers 6K Following
@[email protected]... @_andrewchou
795 Followers 5K Following senior dev @AwanaDigital (formerly @digidem) • formerly core dev @manyver_se • occasionally @nonetoohappy • masto @ https://t.co/FjQ9qOujwn
LeonaKatte @3ZLc4A5zfDN3C6
64 Followers 7K Following
Thiago @thiagoalro
30 Followers 621 Following
Jort @TXCedarWhacker
234 Followers 2K Following
testjudgmental30 @testjudgmental1
0 Followers 324 Following
福森健司 Kenji Fu... @Kenji_Fukumori
95 Followers 3K Following Earthly Harmonic Constitutional Places One / Non-CommutativeEquilibrium (∀) 狐森窯 Komorigama Pottery(https://t.co/Icix4R2x0M?) May Earth Be With You, 健司 Kenji
CherylTwain @f4CJ4h3X82r11K1
78 Followers 7K Following
Hakan Kjellerstrand @hakankj
985 Followers 644 Following a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Martin Fowler @martinfowler
354K Followers 181 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
Peter Ludemann @PeterLudemann
215 Followers 661 Following Retired Google/Yahoo/start-ups/IBM/BNR; sometime bicyclist, sailor, non-gardener; bemused by PL design and logic programming. @[email protected]
David Ungar @senderPath
1K Followers 365 Following Computer Scientist fascinated by how people use language and/or think.
Hacker News Bot @newsycombinator
228K Followers 2 Following Get the latest from Hacker News! Top 5 stories on the hour, every hour. By @riklomas from @superhi_ – unofficial and not affiliated with Y Combinator
Jason Morris (he/him)... @RoundTableLaw
3K Followers 2K Following #LegalTech nerd, #RulesAsCode Director #GC, former lawyer, coded @BlawxAI, runs @Lexpedite_ca, tabletop games, usual disclaimers. @[email protected].
Tivadar Danka @TivadarDanka
84K Followers 513 Following I make math and machine learning accessible to everyone. Mathematician with an INTJ personality. Chaotic good.
NASA Mars @NASAMars
1.5M Followers 176 Following NASA’s official X account for all things Mars. Join us as we explore the Red Planet!
Unwind AI @unwind_ai_
18K Followers 2 Following Open-source ecosystem for high-leverage AI builders. GitHub's #1 AI Agents Repo with 67k+ stars. Join 200k+ active AI builders.
Augment Code @augmentcode
17K Followers 36 Following The only AI coding Agent built for professional software engineers and large codebases.
Terrastruct @terrastruct
456 Followers 0 Following Terrastruct is a diagramming tool specialized for software architecture. We're changing the way software is documented. https://t.co/41fG6K7273
Yilin Xia @yilin_xia
171 Followers 569 Following A Graph Farmer 🧑🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
𝗧𝗶𝗺𝗲𝗹�... @Hoang_HQ
221K Followers 4K Following 🎶 💥Classic music & 50s-90s | 📽️ Retro movies | 🎨 Vintage art #TimelessMusic #movie #paint #art #70sVibes #80sVibes #VintageVibes #ClassicHits #RetroMusic
TheBlackHack @BlackHackOfDoom
165 Followers 162 Following You're just jealous because I'm a genuine freak and you have to wear a mask.
xuan (ɕɥɛn / sh-ye... @xuanalogue
9K Followers 1K Following Assistant Professor at NUS. Scaling cooperation for an increasingly automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊
@sasagawa888 @KSasagawa888
174 Followers 337 Following I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp&Prologとプラモデルを愛する変なおっさん。
Andrew McCarthy @AJamesMcCarthy
422K Followers 664 Following Exploring the universe from a backyard in Arizona. Get my latest artwork in print 👇
tatakae @infinityy_chase
75 Followers 727 Following Tech enthusiast | Developer | Bookworm | Psychology aficionado | Sharing insights on computers, books, psychology, and more.
Ivan Uemlianin @llaisdy
365 Followers 73 Following Codes, Networks, Activity Theory, AI (GOF and otherwise)
Jamu Kakar @jkakar
1K Followers 2K Following Cofounder of @blaideapp. I’ve had the privilege of working at @chime, @stripe, @heroku, @canonical and others. I'm passionate about music and playing drums.
Gwen (Chen) Shapira @gwenshap
28K Followers 10K Following Co-founder of @niledatabase. Making SaaS global, elastic and chill. Find me at: https://t.co/uyuHg400cp
GitHub Next @GitHubNext
24K Followers 49 Following We are a team of researchers and engineers at @GitHub who investigate the future of software development.
Object Computing @ObjectComputing
4K Followers 959 Following With deep technology expertise in mission-critical platforms and systems, we partner with clients to build innovative, sustainable, impactful systems.
Project Jupyter @ProjectJupyter
88K Followers 73 Following Jupyter Notebook, JupyterLab and related projects – @mentions not monitored. Our primary presence is https://t.co/UtVFxa6xgw.
Yurii Rashkovskii @yrashk
3K Followers 2K Following Building data-native architecture for businesses at @omnigres Amateur marathon runner
FFMS - Fundação Fra... @ffms_pordata
48K Followers 94 Following Estuda, divulga e promove o debate sobre a realidade portuguesa. Um dos seus projetos é a base de dados Pordata
abstractnull | BIOB @865bLl
252 Followers 2K Following Oldskool Lisper & GOFAI/Symbolic AI believer. Formal methods. SDG SIA and other pointless stuff. A bit -just a bit- of early Husserl. Music theory on topoi.
John Cutler @johncutlefish
118K Followers 11 Following I like the beautiful mess of product development.| newsletter: https://t.co/tCLvCkCdiS
Mikael Brockman @meekaale
7K Followers 1K Following "Independent, innovative, and inventive, they can also become preoccupied with their thoughts and imaginary constructs."
Riccardo De Benedicti... @ricdebenedictis
201 Followers 531 Following I am a researcher at the Institute of Cognitive Sciences and Technologies of the National Research Council of Italy. I deal with Artificial Intelligence.
Stefan Zimmermann @zimmermanncode
339 Followers 1K Following Just #Coding | #CPP #Python #Hy #Scala #Clojure | #SDN #NFV Dev@ #ADVAoptical.com | #Bioinf #VR #AR | Miss my #Blender #CAVE | No life w/o #Emacs #ConEmu #Clink
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Mircea Trifan @mobilepixel
1K Followers 2K Following I'm a software engineer at Mgestyk and a PhD student at University of Ottawa. Interests: #MachineLearning, #bigdata, #nlp, #collaboration, #semanticweb.
Patrick Dubroy DONE H... @dubroy
3K Followers 317 Following GONE HERE: https://t.co/jkazdv30Qw Programmer & researcher, co-creator of @_ohmjs. 🇨🇦 🇩🇪 🇪🇺 Wrote @wasmgroundup.
Dr. Laci Brock @stellerarts
31K Followers 564 Following astrophysics meets art 🎨 | planetary science PhD🪐 | space artist 🔭 | bird nerd & gamer 🪶 | shop art • email list ⬇️
Tim Davis @DocSparse
2K Followers 281 Following Prof. https://t.co/FdDfgL53RV. Fellow SIAM, ACM, IEEE. Graph algorithms, sparse matrices.
Captain Edward Jellic... @STDeltaShift
22K Followers 845 Following I find jokes and puns on the Internet and retell them to the crew. Member of https://t.co/FBmL7DpykQ. Parody acct. https://t.co/inDHUAWFMU
@hochstenbach@scholar... @hochstenbach
1K Followers 323 Following
Sergio Pereira @SergioRocks
44K Followers 1K Following CTO building tech products, startup teams & writing about it. I work as a Fractional CTO for tech startups. DMs open
ESA Webb Telescope @ESA_Webb
259K Followers 192 Following Official @ESA feed for James #Webb Space Telescope – an international partnership between NASA, ESA and CSA #WebbSeesFarther #BFFinSpace with @Hubble_Space
NASA @NASA
88.0M Followers 158 Following Official NASA account. Exploring the universe, advancing science, and inspiring the next generation of explorers. Verification: https://t.co/8nok3NP4PW
Michael Leuschel @michaleuschel
49 Followers 31 Following Professor of computer science and co-founder of Formal Mind