logtalk.org @LogtalkDotOrg
Logtalk development updates and relevant logic programming news. logtalk.org Portugal Joined August 2009-
Tweets3K
-
Followers585
-
Following322
-
Likes12K
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.
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…
Logtalk 3.92.0 released github.com/LogtalkDotOrg/…
PEG 2.0 invites you to submit papers to the Third Prolog Education Workshop, PEG 2025, to take place at ICLP 2025, U. of Calabria in Rende, Italy, 2025 which aims to promote Prolog-like computing to make logical reasoning more universally available. prolog-lang.org/Education/Prol…
Logtalk documentation is now available from Context7: context7.com/logtalkdotorg/…
Hakan Kjellerstrand @hakankj
985 Followers 645 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 662 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].
Emadeldin Ibrahim @EmadeldinIbrah7
6 Followers 286 Following
Ivan Uemlianin @llaisdy
366 Followers 72 Following Codes, Networks, Activity Theory, AI (GOF and otherwise)
Sasha @ashas_niktoris
0 Followers 20 Following
Mahal @Mahal091829
78 Followers 2K Following
David Matta @ddmatta
4K Followers 8K Following Philosophy of mind, ethics, phenomenology, and mindfulness. Generally, a critic & gadfly. Roams like a bee collecting nectar.
Kazunori Kaz Iriya �... @iriyak
391 Followers 1K Following 『いりやっく』こと入谷和典と申します。ビジュアルコミュニケーション基盤構築のお手伝いをしています。エンタープライズ向け動画ライブ配信基盤、ノイズミュート、字幕作成基盤など。Video Capable Technical Manager。 https://t.co/hfcEySivhs https://t.co/AmaEapSgh3
marco @marco_p_g
18 Followers 234 Following
@sasagawa888 @KSasagawa888
170 Followers 331 Following I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
Mehrdad Noori @ICML20... @NooriMe95
342 Followers 6K Following PhD at LIVIA/ILLS, ÉTS Montreal | ML Researcher at Zebra
आधुनिक �... @IndiaC4cl
16 Followers 164 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
127 Followers 5K Following
ዐውደ-ቀለም @UserResu353329
20 Followers 417 Following ዐውደ-ቀለም በማስሊያ የታገዘ የጽሑፍ ማምረቻ መግበር ለዐማርኛ÷ ግእዝ÷ እንግሊዝኛ÷ ፈረንሳይኛ እና ሶማልኛ ለዊንዶውዝ AWDE-QELEM Text processing tool for Amharic-G'z-English-French-Somali (Windows OS)
OMF @exolon
113 Followers 171 Following
Ezeaka Elias @elias_ezea44861
5 Followers 297 Following
Emily Ballinger @DonnellyRa87544
6 Followers 498 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
686 Followers 985 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
175 Followers 2K Following It's alright to want to dream. It doesn't mean reality is mean.
Srikanth @vshbit
5 Followers 305 Following
michael_e_bain @MichaelEBain
8 Followers 264 Following
Florian Over @FlorianOver
209 Followers 630 Following Love. Music. Peace. Clojure, AI, NLP, ASR and all things IT.
Benjamin Johnston @xmultiplier
26 Followers 42 Following
λ @lambda_functor
856 Followers 8K Following
Yilin Xia @yilin_xia
171 Followers 561 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
174 Followers 158 Following You're just jealous because I'm a genuine freak and you have to wear a mask.
Mike Potanin @MikePotanin
213 Followers 737 Following Вообще говоря, люди не имеют права править людьми. В этом есть что-то противоестественное. Людьми должны править Великие Лингвистические Модели.
Marco Ciccalè Baztá... @mciccaleb
12 Followers 85 Following Ph.D. Student @ IMDEA Software | Computer Scientist
Ivan @A3knGvCt
8 Followers 965 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
62 Followers 6K Following
@[email protected]... @_andrewchou
799 Followers 5K Following senior dev @AwanaDigital (formerly @digidem) • formerly core dev @manyver_se • occasionally @nonetoohappy • masto @ https://t.co/FjQ9qOujwn
LeonaKatte @3ZLc4A5zfDN3C6
69 Followers 7K Following
Thiago @thiagoalro
29 Followers 616 Following
Jort @TXCedarWhacker
209 Followers 2K Following
testjudgmental30 @testjudgmental1
0 Followers 322 Following
福森健司 Kenji Fu... @Kenji_Fukumori
93 Followers 3K Following Earthly Harmonic Constitutional Places One / Non-CommutativeEquilibrium (∀) 狐森窯 Komorigama Pottery(https://t.co/Icix4R2x0M?) May Earth Be With You, 健司 Kenji
CherylTwain @f4CJ4h3X82r11K1
81 Followers 7K Following
Dave Edelstein @daveedelstein
68 Followers 215 Following
TeXnoLogos @ATannounce
13 Followers 76 Following An announcement platform for Adam Trybus, PhD: https://t.co/13EO9XnhL3
Hakan Kjellerstrand @hakankj
985 Followers 645 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
352K Followers 183 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
Peter Ludemann @PeterLudemann
215 Followers 662 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 362 Following Computer Scientist fascinated by how people use language and/or think.
Hacker News Bot @newsycombinator
229K 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
83K Followers 511 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!
Cline @cline
51K Followers 14 Following Autonomous coding agent right in your IDE. Join the Discord! https://t.co/QdaXOm1KB2
Unwind AI @unwind_ai_
18K Followers 2 Following Step-by-step guides to building AI Agents & RAG Apps with LLMs | Subscribe now for daily AI news & tutorials in your inbox 📨
Augment Code @augmentcode
17K Followers 36 Following The only AI coding Agent built for professional software engineers and large codebases.
Terrastruct @terrastruct
452 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 561 Following A Graph Farmer 🧑🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
𝗧𝗶𝗺𝗲𝗹�... @Hoang_HQ
171K Followers 4K Following 🎇Where music blends with dance, films, and unforgettable moments! 🎵 💃🕺🎇
TheBlackHack @BlackHackOfDoom
174 Followers 158 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 cooperative intelligence & infrastructure for an automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊
@sasagawa888 @KSasagawa888
170 Followers 331 Following I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
Andrew McCarthy @AJamesMcCarthy
417K Followers 653 Following Exploring the universe from a backyard in Arizona. Get early access to my next print release 👇
tatakae @infinityy_chase
73 Followers 728 Following Tech enthusiast | Developer | Bookworm | Psychology aficionado | Sharing insights on computers, books, psychology, and more.
Ivan Uemlianin @llaisdy
366 Followers 72 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
89K 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
119K 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
200 Followers 534 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 566 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 844 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
87.8M Followers 154 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
CiaoProlog @CiaoProlog
79 Followers 49 Following Official account of the Ciao Prolog system https://t.co/J9P6Uzn4hYTrends for United States
You might like
