CiaoProlog @CiaoProlog
Official account of the Ciao Prolog system https://t.co/J9P6Uzn4hY ciao-lang.org Joined July 2022-
Tweets22
-
Followers79
-
Following49
-
Likes16
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.
Very excited to announce a new, embeddable #playground for Ciao #Prolog that runs locally in your browser thanks to #WebAssembly: ciao-lang.org/playground
ValentinaOnions @Dyz2NtU6ti3M5
64 Followers 717 Following She dances to the songs in her head, speaks with the rhythm of her heart.
chreke @therealchreke
663 Followers 878 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
donMariscal @Quitapenas3rd
3 Followers 263 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
Svyatoslav Pidgorny �... @Slav636
527 Followers 623 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
161 Followers 858 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
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
Robert Jacobson @rljacobson
116 Followers 391 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
323 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 662 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
66 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 322 Following
Sam Neaves @samwalrus
158 Followers 858 Following
sonfack serge @sonfackserge
580 Followers 3K Following Knowledge representation and reasoning, Collaborative intelligence, Uncertainty management
杨双成 @yscljh
55 Followers 529 Following
Prolog et al. @PrologInfo
587 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 391 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
javier carbo @CarboJavier
279 Followers 646 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
635 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
Tommaso Anzidei @tanzidei
99 Followers 1K Following
Marco Ciccalè Baztá... @mciccaleb
12 Followers 85 Following Ph.D. Student @ IMDEA Software | Computer Scientist
आधुनिक �... @IndiaC4cl
15 Followers 165 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
267 Followers 1K Following Narrative Intelligence Theory using Animatory Protolanguage for creating AGI.. Knowledge Representation, Attention Theory, CycL, ISO-CommonLogic
Really a Crazy Outlie... @MalucaCorujinha
233 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
40 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
281 Followers 513 Following Nikosophie Hans Nikolaus Beck, Rules, Story Telling and Logic mixed in Prolog and Smalltalk for games, experimental Philosopher
Adriana @adferreiroo
28 Followers 89 Following
Adam Russell (adamcru... @adamcrussell
323 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 662 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
587 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 391 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
Markus Triska @MarkusTriska
394 Followers 90 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
267 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
21 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
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.
Antonio Julián Arrie... @Toni_Arrieta_C
36 Followers 193 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
605 Followers 885 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
281 Followers 513 Following Nikosophie Hans Nikolaus Beck, Rules, Story Telling and Logic mixed in Prolog and Smalltalk for games, experimental Philosopher
Herwig Habenbacher @HHabenbacher
29 Followers 196 Following
Stefania Dumbrava (@s... @sdumbrav
402 Followers 401 Following Assoc. Prof. @ENSIIE & @TelecomSudParis (@IP_Paris_) #Databases #FormalMethods #TheoremProving (she/her)
Fred Mesnard @FredMesnard
40 Followers 143 Following
Marcos Grandury @GranduryMarcos
3 Followers 5 Following
Carlos Ferreiro @CarlosFerreiro4
10 Followers 20 Following
Enrique Zubiría @EnriqueZubiria
106 Followers 422 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
292 Followers 202 Following Associate Professor. Lead developer of Flix.
Larry Deck @dulcarnon
30 Followers 844 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
195 Followers 478 Following Software Developer data PL = Haskell | Elm | Rust | Python | Typescript
Marco Guarnieri @MarcoGuarnier1
604 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
551 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
479 Followers 559 Following Chief Scientist @binarly_io. Program analysis. Reverse engineering. Backdoor detection.
logtalk.org @LogtalkDotOrg
585 Followers 322 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
177 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
195 B posts
70,4 B posts
55,1 B posts
75,7 B posts
233 B posts
66,6 B posts
187 B posts
41 B posts
55,2 B posts
7.921 posts
2.982 posts
24,2 B posts
5.475 posts
7.035 posts
5.371 posts
5.167 posts
4.234 posts
125 B posts
4.062 posts
5.955 posts
You might like
logtalk.org
@LogtalkDotOrg
585 Followers
Stanford PACS
@StanfordPACS
6K Followers
Jos De Roo
@josderoo
527 Followers
Paul Brown
@PaulBrownPhD
374 Followers
Hakan Kjellerstrand
@hakankj
985 Followers
Peter Ludemann
@PeterLudemann
215 Followers