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
77 Followers 795 Following She dances to the songs in her head, speaks with the rhythm of her heart.
chreke @therealchreke
666 Followers 879 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
donMariscal @Quitapenas3rd
3 Followers 262 Following
ዐውደ-ቀለም @UserResu353329
19 Followers 417 Following ዐውደ-ቀለም በማስሊያ የታገዘ የጽሑፍ ማምረቻ መግበር ለዐማርኛ÷ ግእዝ÷ እንግሊዝኛ÷ ፈረንሳይኛ እና ሶማልኛ ለዊንዶውዝ AWDE-QELEM Text processing tool for Amharic-G'z-English-French-Somali (Windows OS)
OMF @exolon
112 Followers 171 Following
Svyatoslav Pidgorny �... @Slav636
525 Followers 622 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 858 Following
Nico Gallinal @nicoabie
167 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
322 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
216 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
95 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 321 Following
Sam Neaves @samwalrus
158 Followers 858 Following
sonfack serge @sonfackserge
580 Followers 3K Following Knowledge representation and reasoning, Collaborative intelligence, Uncertainty management
杨双成 @yscljh
54 Followers 528 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
278 Followers 645 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
17 Followers 166 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
322 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
216 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
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
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 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
609 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 884 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
403 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 427 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
59 Followers 336 Following
Fabián Vega Alcota @fabianmativeal
195 Followers 479 Following Software Developer data PL = Haskell | Elm | Rust | Python | Typescript
Marco Guarnieri @MarcoGuarnier1
605 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
1.023 posts
3.739 posts
45,9 B posts
66,6 B posts
10,5 B posts
90 B posts
627 B posts
2.495 posts
211 B posts
1.487 posts
3.236 posts
2.496 posts
57,6 B posts
77,6 B posts
42,2 B posts
You might like
logtalk.org
@LogtalkDotOrg
585 Followers
Stanford PACS
@StanfordPACS
6K Followers
Jos De Roo
@josderoo
527 Followers
Paul Brown
@PaulBrownPhD
373 Followers
Hakan Kjellerstrand
@hakankj
985 Followers
Peter Ludemann
@PeterLudemann
216 Followers