CiaoProlog @CiaoProlog
Official account of the Ciao Prolog system https://t.co/J9P6Uzn4hY ciao-lang.org Joined July 2022-
Tweets23
-
Followers77
-
Following49
-
Likes16
0
0
1
27
0
Dear #Prolog programmer, you can follow us on this alternative social media account: bsky.app/profile/ciao-p…
CiaoProlog retweeted
Ciao Prolog 1.24.0 updated on AUR!
ICLP 2024 will be held in Dallas, TX, USA, and will be co-located with LPNMR 2024. Together, the two events will be held October 11-17, 2024. More details can be found here: ICLP’24: iclp24.utdallas.edu LPNMR’24:lpnmr2024.demacs.unical.it
CiaoProlog retweeted
@CiaoProlog @ysegmond @headinthebox ... not to mention developments like Answer Set Programming and hybrids with differentiable programming like Scallop.
CiaoProlog retweeted
Curreent state of my desk.
CiaoProlog retweeted
I've been saying since 2023 that Prolog is the next big thing (in combination with LLMs) 🙃
I've been saying since 2023 that Prolog is the next big thing (in combination with LLMs) 🙃
The Ciao Prolog extension for VSCode is also available in the alternative Open VSX registry open-vsx.org/extension/ciao… #Prolog #VSCode #VSCodium #Gitpod
New #VSCode extension for Ciao Prolog marketplace.visualstudio.com/items?itemName…, including: syntax highlighting, toplevel, debugger, documentation generation, on-the-fly checking, and lots more! We'd love to get your feedback!
CiaoProlog retweeted
Tomography visualized! (Link to full video below)
Ciao in Hacker News! news.ycombinator.com/item?id=329487…
Multi-window playground aka CiaoProlog-OS🍿. Nothing serious, just a toy to stress spawning many independent Ciao Prolog workers in your browser ciao-lang.org/playground/mul…
CiaoProlog retweeted
Upgraded toplevel for the Ciao WASM playground! Now most of the features of native Ciao are supported: prolog flags, language extensions, CLP, cyclic terms, portray attributes, etc.
chreke @therealchreke
674 Followers 899 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
donMariscal @Quitapenas3rd
3 Followers 264 Following
ዐውደ-ቀለም @UserResu353329
19 Followers 434 Following ዐውደ-ቀለም በማስሊያ የታገዘ የጽሑፍ ማምረቻ መግበር ለዐማርኛ÷ ግእዝ÷ እንግሊዝኛ÷ ፈረንሳይኛ እና ሶማልኛ ለዊንዶውዝ AWDE-QELEM Text processing tool for Amharic-G'z-English-French-Somali (Windows OS)
OMF @exolon
115 Followers 175 Following
Svyatoslav Pidgorny �... @Slav636
538 Followers 628 Following Active Directory MCM. I can tell #ADHorrorStory or two. Ex-Microsoft Security MVP. Identity guy. I solve problems with infrastructure.
urinalcake @urinalcake_net
5 Followers 84 Following
The Zeven Deadly Sins... @The17DeadlySins
158 Followers 854 Following
Nico Gallinal @nicoabie
169 Followers 245 Following Software engineer, OSS contributor, ojotas ORM author, F1 fan, IG @trudyonwheels dad. Opinions are my own till I find better ones.
spectrumgomas @spectrumgomas
387 Followers 2K Following
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
Robert Jacobson @rljacobson
117 Followers 390 Following R&D-oriented computer scientist, mathematician, and software engineer with broad experience. I have particular interests in compilers, mathematical modeling
Adam Russell (adamcru... @adamcrussell
318 Followers 1K Following Principal Engineer -- AI Graph Systems @contextlabsbv, PhD Computer Science, US Navy Veteran, Vintage Honda Motorcyles, PMA and Bhakti Yoga
VOC Professionals For... @ForumVoc
1K Followers 2K Following Professionals forum Constitutional federalist | lex discipulus M.K. Stalinism
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]
Agustín Aramburu @aaramburu
2K Followers 4K Following Director General en Kayum, comparador de seguros. #insurance #PPC #tech #crypto #f1
Pierpaolo Bernardi @olopierpa
67 Followers 1K 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
testjudgmental30 @testjudgmental1
0 Followers 324 Following
Sam Neaves @samwalrus
158 Followers 859 Following
sonfack serge @sonfackserge
581 Followers 3K Following Knowledge representation and reasoning, Collaborative intelligence, Uncertainty management
杨双成 @yscljh
52 Followers 528 Following
Prolog et al. @PrologInfo
591 Followers 38 Following News, info, links, gossip, anything about Prolog, Constraint/(Inductive)Logic programming, Answer Set Programming, and beyond. A @llaisdy project.
The Search Space Podc... @searchspacepod
445 Followers 392 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
javier carbo @CarboJavier
281 Followers 647 Following "Symbols, not data, play a vital role in the human thought and reasoning proces." Assoc. Prof. in AI at Univ. Carlos III de Madrid
Armando Ramos Garcima... @AR_eu
2K Followers 7K Following GOFAI guy 🦣 https://t.co/yyQx6vIAwV #cleanair #350 #opendata #privacy #cooperation #consciousness #freethought
Alicia Villanueva @eyamob
137 Followers 582 Following Associate professor (UPV). But also family, home, viola, vabas
Steve Goguen @sgoguen
634 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
Tommaso Anzidei @tanzidei
99 Followers 1K Following
Marco Ciccalè Baztá... @mciccaleb
14 Followers 85 Following Ph.D. Student @ IMDEA Software | Computer Scientist
आधुनिक �... @IndiaC4cl
24 Followers 174 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.
madeofmistake @madeofmistak3
3K Followers 1K Following MadeOfMistake comic not a cylon patreon: https://t.co/qElIN1l4S5 ko-fi: https://t.co/WAZwKNya0C insta: https://t.co/ZGR9UG5a13…
Manuel Carro 😷 �... @manuel__carro
339 Followers 111 Following Computer scientist. Associate professor at @La_UPM and Director at the @IMDEA_Software Institute. I like too many things.
Douglas R. Miles @logicmoo
266 Followers 1K Following Narrative Intelligence Theory using Animatory Protolanguage for creating AGI.. Knowledge Representation, Attention Theory, CycL, ISO-CommonLogic
Really a Crazy Outlie... @MalucaCorujinha
234 Followers 3K Following 🦉🦉I'm an outlier little owl, with a crazy life. I'm starting to realize my dreams of an academic career in computer sciences and electrical engineering.🦉🦉
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].
Wenceslao Arenas @warenas
61 Followers 407 Following
Dr Paola Cattabriga @CattabrigaPaola
42 Followers 233 Following Logician, working on diagonalization and self-referring procedures.
Roger Sen @rogersm@ma... @rogersm
1K Followers 5K Following
Hans - the working Ph... @EnrichedGamesHB
279 Followers 511 Following Nikosophie Hans Nikolaus Beck, Rules, Story Telling and Logic mixed in Prolog and Smalltalk for games, experimental Philosopher
Antonio Julián Arrie... @Toni_Arrieta_C
35 Followers 195 Following Aprendiendo cosas nuevas todos los días para mantener mi cerebro activo. Me gusta Clojure y ClojureScript. También Ruby, Haskell y Smalltalk.
Torbjörn Josefsson @toblotron
23 Followers 23 Following
Adriana @adferreiroo
28 Followers 89 Following
Adam Russell (adamcru... @adamcrussell
318 Followers 1K Following Principal Engineer -- AI Graph Systems @contextlabsbv, PhD Computer Science, US Navy Veteran, Vintage Honda Motorcyles, PMA and Bhakti Yoga
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]
Prolog et al. @PrologInfo
591 Followers 38 Following News, info, links, gossip, anything about Prolog, Constraint/(Inductive)Logic programming, Answer Set Programming, and beyond. A @llaisdy project.
The Search Space Podc... @searchspacepod
445 Followers 392 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
Markus Triska @MarkusTriska
394 Followers 89 Following Zugleich aber erscheint ein schwacher Lichtschimmer von der anderen Seite.
Alicia Villanueva @eyamob
137 Followers 582 Following Associate professor (UPV). But also family, home, viola, vabas
Douglas R. Miles @logicmoo
266 Followers 1K Following Narrative Intelligence Theory using Animatory Protolanguage for creating AGI.. Knowledge Representation, Attention Theory, CycL, ISO-CommonLogic
Roger Sen @rogersm@ma... @rogersm
1K Followers 5K Following
neuroevolutus @neuroevolutus
22 Followers 3K Following
Galileo Sartor @GalileoSartor
25 Followers 533 Following
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].
Torbjörn Josefsson @toblotron
23 Followers 23 Following
Ricardo Ferreiro @Ricardo35787952
3 Followers 10 Following
Hakan Kjellerstrand @hakankj
986 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.
Antonio Julián Arrie... @Toni_Arrieta_C
35 Followers 195 Following Aprendiendo cosas nuevas todos los días para mantener mi cerebro activo. Me gusta Clojure y ClojureScript. También Ruby, Haskell y Smalltalk.
Not Richard O'Keefe @NotDoctorOk
610 Followers 208 Following My biggest concern is that most programs don't work.
IMDEA Software @IMDEA_Software
2K Followers 1K Following At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient | @ComunidadMadrid
Pete Vilter @vilterp
607 Followers 883 Following hacker, thinker. database nerd, live query enthusiast. engineer @RelationalAI; prev @bubble, @cockroachdb, @socrata
Manuel Hermenegildo @mvherme
16 Followers 33 Following
Hans - the working Ph... @EnrichedGamesHB
279 Followers 511 Following Nikosophie Hans Nikolaus Beck, Rules, Story Telling and Logic mixed in Prolog and Smalltalk for games, experimental Philosopher
Herwig Habenbacher @HHabenbacher
30 Followers 196 Following
Stefania Dumbrava (@s... @sdumbrav
405 Followers 401 Following Assoc. Prof. @ENSIIE & @TelecomSudParis (@IP_Paris_) #Databases #FormalMethods #TheoremProving (she/her)
Fred Mesnard @FredMesnard
40 Followers 146 Following
Marcos Grandury @GranduryMarcos
3 Followers 5 Following
Carlos Ferreiro @CarlosFerreiro4
10 Followers 19 Following
Enrique Zubiría @EnriqueZubiria
105 Followers 426 Following Padre de Enrique y María. Por educación, físico, matemático y estadístico; informático (más o menos) de profesión. Católico, apostólico y romano. Y del Betis.
Magnus Madsen @MagnusMadsenDK
295 Followers 201 Following Associate Professor. Lead developer of Flix.
Larry Deck @dulcarnon
30 Followers 843 Following “I am, til God me bettere mynde sende, At dulcarnon, right at my wittes ende.”
Aaron A. Glenn @networkservice
5K Followers 3K Following "packet processing & packet processing accessories" my tweets are mine alone human rights over property rights. see also discuss . systems at this username
Secret @divanorama
60 Followers 337 Following
Fabián Vega Alcota @fabianmativeal
194 Followers 477 Following Software Developer data PL = Haskell | Elm | Rust | Python | Typescript
Marco Guarnieri @MarcoGuarnier1
607 Followers 333 Following Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @[email protected]
Adrián Arroyo Calle @aarroyoca
549 Followers 1K Following Software conspiracist | Un tímido muy echado para adelante | Mastodon: @[email protected]
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.
Sam Thomas @xorpse
491 Followers 568 Following Chief Scientist @binarly_io. Program analysis. Reverse engineering. Backdoor detection.
logtalk.org @LogtalkDotOrg
583 Followers 320 Following Logtalk development updates and relevant logic programming news.
Manuel Carro 😷 �... @manuel__carro
339 Followers 111 Following Computer scientist. Associate professor at @La_UPM and Director at the @IMDEA_Software Institute. I like too many things.
@[email protected] @notjfmc
176 Followers 166 Following I work on https://t.co/sykUFKtGFE, a modern Prolog system. You can also find me on https://t.co/k6lVUlkuMH IMDEA Software Institute & UPMTrends for United States
8.234 posts
55,7 B posts
5.953 posts
52,5 B posts
55,1 B posts
3.565 posts
49,6 B posts
50,5 B posts
11,3 B posts
2.360 posts
20,2 B posts
35,5 B posts
333 B posts
41,2 B posts
410 B posts
53 B posts
20,3 B posts
10,4 B posts
1.017 posts
You might like
logtalk.org
@LogtalkDotOrg
583 Followers
Stanford PACS
@StanfordPACS
6K Followers
Jos De Roo
@josderoo
521 Followers
Paul Brown
@PaulBrownPhD
380 Followers
Hakan Kjellerstrand
@hakankj
986 Followers
Damiano Azzolini
@damianoazzolini
95 Followers
Peter Ludemann
@PeterLudemann
215 Followers