David Pratten @davidpratten
Release Train Engineer (SAFe) / UTS Computer Science PhD Student davidpratten.com Sydney, Australia Joined September 2009-
Tweets122
-
Followers47
-
Following255
-
Likes359
Can anyone show how to write a .html file and serve it in so that @Z3 solver wasm runs in the browser? Gemini, Claude and I failed miserably yesterday,
Loving @claude_code Jail breaking my data out of Airtable davidpratten.com/2025/04/09/sav…
Over here, Google's Notebookplus has gone all-in with colloquial Australian English. Here is a sample.
Do you hate SQL and wish it would die & burn in hell? Or do you love SQL and wish it ran faster? If you answered 'yes' to either question then join our new @CMUDB Seminar Series: SQL or Death? Mondays @ 4:30pm via Zoom. Videos posted to YouTube: db.cs.cmu.edu/seminar2025/
Something to read for the weekend: link.springer.com/epdf/10.1007/s…
“Assange’s case reflects the (AUKUS) alliance as it stands today – anti-democratic, secretive, and militarised." @EmmaShortis on punishment by process and the crushing of an Australian by its US ally: australiainstitute.org.au/post/assange-v…
Does anybody else think SAT/ SMT is the machine code for declarative programming? SAT/SMT encoding is the compilation step for declarative languages e.g. MiniZinc, Picat, ASP, Alloy/Kodkod, Datalog, and subsets of Prolog... And which others?
Introducing the Little Languages Reading Club, a monthly/bi-monthly club where we collect set of papers/essays on a given topic and dive in. github.com/Little-Languag…
"relation ≡ constraint" Discuss. The identification of constraints with relations has a long history, but the implications for relational databases have yet to be explored. arxiv.org/abs/2309.11178
youtube.com/watch?v=K5bRJn… Just returned home from the Australasian Database Conference 2023 in Melbourne. It was an excellent opportunity to explain our paper and the benefits of applying the relational model to computation as well as data transformation.
Reading @davidpratten's paper on relational and constraint languages, I realized that "suchthat" is superfluous in @morel_lang if you allow unconstrained variables. github.com/hydromatic/mor…
"Programmers have reaped only half the available benefits from the relational model."
"Programmers have reaped only half the available benefits from the relational model."
"By synthesising the relational database of Codd and Date, with the results of the constraint programming community, the relational model holistically offers programmers a single declarative paradigm for data transformation and computation."
"By synthesising the relational database of Codd and Date, with the results of the constraint programming community, the relational model holistically offers programmers a single declarative paradigm for data transformation and computation." https://t.co/kAiBfEnm5w
"Using a biological metaphor, complete relations may be likened to a stem cell, which, when coupled with a suitable predicate, may be specialised to become any computable relation."
"Using a biological metaphor, complete relations may be likened to a stem cell, which, when coupled with a suitable predicate, may be specialised to become any computable relation." https://t.co/xn2nhUhhGa
"The relational database and constraint programming communities' relative isolation belies their common foundation in the relational model."
"The relational database and constraint programming communities' relative isolation belies their common foundation in the relational model."
Q: What is the difference between the relational database and constraint programming communities? A: One starts with empty relations, the other with full (complete) ones!
Q: What is the difference between the relational database and constraint programming communities? A: One starts with empty relations, the other with full (complete) ones!
📢 The 2023 Australasian Database Conference (Nov 1-3) has accepted “Relational expressions for data transformation and computation”, a joint paper with my supervisor, Luke Mathieson. Now available on #arxiv arxiv.org/abs/2309.11178
Shout out to Eric! Loving the Big-O Algorithm Complexity Cheat Sheet (Know Thy Complexities!) @ericdrowell bigocheatsheet.com
Ordajaw @Ordajaw718796
5 Followers 391 Following
Rhoarlnor @Rhoarlnor21300
47 Followers 2K Following
いまこうじこず... @imakoujiko7638
68 Followers 3K Following
Sweloneau @SweloneauAQHg
65 Followers 1K Following
PATTY @LuelaP___zQ
8 Followers 753 Following Holding extraordinary companies forever is the path to wealth.
Flathidue @Flathiduen6okv
82 Followers 1K Following
AdelaSinclair @srvKk3P5ujg06
59 Followers 7K Following
phdboss Research Assi... @PhdbossResearch
1K Followers 7K Following WE Assist YOU TO WRITE A WINNING RESEARCH PROPOSALS FOR ALL PROJECTS PhD Assistance | PhD Guidance | Thesis Writing Service |
Leetes @leetes61984
43 Followers 1K Following
Tneauez @TneauezqaHS
39 Followers 4K Following
Sairthir @SairthirvNSxnL
57 Followers 5K Following
Charlotte @Thairsn5Obfgi
4 Followers 82 Following Be fearless in the pursuit of what sets your soul on fire.
Numan (MÑÂ) @its__Numan
20 Followers 230 Following Software Engineer | JavaScript, TypeScrpt developer | AI Engineer | Next js | Ember js
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Behrouz Babaki @BehrouzBabaki
301 Followers 400 Following Combinatorial optimization is the answer! Now, if only we could figure out what the question is.
다믜 @damhiya
229 Followers 397 Following 프로그래밍과 증명을 합니다. I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic. https://t.co/KGHmRVtwWb
fj @fjzeit
1K Followers 1K Following Real-time embedded systems background then 20+ years in finance. Now solo. rust, tauri, sveltekit, ai, x86 asm, c++, c#, python, wasm. Self-parody sometimes.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Gregor Huyskens @Dr_Emyune
22 Followers 73 Following
Sendeight @Sendeight1407
8 Followers 446 Following The factory specializes in international luxury goods high imitation business https://t.co/MzSBqXFDVj
Win Smith @SmithWinthrop
651 Followers 5K Following Lead Software Engineer with Wells Fargo. Formerly independent researcher, CFO of $7B finance firm. Oxford MSc. RTs not endorsements unless it's jazz.
Mim @mim_djo
11K Followers 3K Following #MicrosofFabric user advocate, interests in Small Data & Self Service #Microsoftemployee since Dec 2023 , but my tweets are my own
David Couper @davidcouper
183 Followers 590 Following Work in anti-modern slavery. So much to do. Views are my own. Work at https://t.co/KqPidAYi81 | https://t.co/I74ImKKfKs.
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Josie @josie12lester
350 Followers 3K Following
CP2025 @cp_conf
254 Followers 77 Following 31th International Conference on Principles and Practice of Constraint Programming August 10 - 15, 2025, Glasgow, Scotland #CP2025 #CP2025conf
Hannu Krosing @PostSQL
113 Followers 87 Following
anna @aldlatour
627 Followers 2K Following Computer Scientist. Postdoc interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. @[email protected]
Ozan Erdem @ozanerdem
745 Followers 1K Following Tech Lead Manager @CerebrasSystems. PhD in AI, Satisfiability and Constraint Satisfaction Problems. Tweets don't necessarily represent my employer's opinions.
solvice @solvice
46 Followers 270 Following Solving optimization problems for developers, connect to our APIs now.
Tammie @tammiewallace58
953 Followers 3K 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.
Özgür Akgün @ozgurakgun
1K Followers 978 Following Academic @ @StAndrewsCS. Interested in CP and a bunch of other things. Call me Oz if you cannot pronounce Özgür. https://t.co/fSMcJ9qyhO
cp2023conf @cp2023conf
55 Followers 71 Following Join the 29th International Conference on Principles and Practice of Constraint Programming! For more info, see: https://t.co/ueDlk6EQcO #csts_prog_conf_2023
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.
(x^λ - 1) / λ; λ �... @mueblesfeos
322 Followers 1K Following 2.71828x engineer. Data, ML, finance, OSS, MtG. Black lives + trans lives matter. Views expressed do not represent my employer's; no investment advice intended.
Tobias Brandt (@tobia... @T0bias_Brandt
319 Followers 783 Following Chief Excel Officer, MAD* Scientist, Pythonista, Rustacian, PRQL Core Contributor (*: ML, AI, Data)
Julian Hyde @julianhyde
4K Followers 411 Following On a mission to tame data. Author of Apache Calcite, Mondrian OLAP engine, and the Morel language. Staff engineer at Looker/Google. (Also on Bluesky.)
Torsten Grust @Teggy
2K Followers 528 Following Professor — likes database systems, programming languages, and SC Freiburg. ツ @[email protected]
Jeff Neely @jeffneely
253 Followers 389 Following
Greg Long @TheSoulThief
527 Followers 640 Following Writer, artist, traveler, entertainer & lover of all things creative. I am also a technology and data professional. No DM please
Kagi @KagiHQ
9K Followers 1 Following Humanizing the web with a user-centric search engine and browser - no ads, no trackers, just you and the product you love. Support email: [email protected]
Andrew D. Huberman, P... @hubermanlab
1.6M Followers 2K Following Professor of Neurobiology and Ophthalmology at Stanford Medicine • Host of Huberman Lab • Focused on science and health research and public education
Neel Nanda @NeelNanda5
30K Followers 123 Following Mechanistic Interpretability lead DeepMind. Formerly @AnthropicAI, independent. In this to reduce AI X-risk. Neural networks can be understood, let's go do it!
v @iavins
12K Followers 2K Following breaking databases @tursodatabase. W1 '21 @recursecenter excited about databases, storage engines and message queues
UW–Madison Computer... @WisconsinCS
4K Followers 644 Following Home to the nation's #13 graduate & #16 undergrad programs. 📍 Part of @uwcdis at @uwmadison.
Paul Couvert @itsPaulAi
219K Followers 523 Following AI and tech Educator – Build better and faster using AI and No-Code – Blueshell AI founder
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Mushtaq Bilal, PhD @MushtaqBilalPhD
240K Followers 32 Following I simplify the process of academic writing | Helped 6,000+ supercharge their academic writing with AI | Growing https://t.co/Jf1ImqzJRW | Building https://t.co/esrCgNNljM
Python Software Found... @ThePSF
686K Followers 127 Following The nonprofit organization behind the Python programming language. For help with Python code: https://t.co/XDHPttz2Xv On Mastodon: @[email protected]
phdboss Research Assi... @PhdbossResearch
1K Followers 7K Following WE Assist YOU TO WRITE A WINNING RESEARCH PROPOSALS FOR ALL PROJECTS PhD Assistance | PhD Guidance | Thesis Writing Service |
evidence @evidence_dev
2K Followers 309 Following https://t.co/Gn735YnbMP is an open source framework for building data products with SQL and markdown
Irakasi @_Irakasi_
428 Followers 256 Following Using @tldraw to create my own visual thinking tool. Scratching my own itch. Building in public. https://t.co/v1a01KgRZ1
Andrew Ng @AndrewYNg
1.3M Followers 1K Following Co-Founder of Coursera; Stanford CS adjunct faculty. Former head of Baidu AI Group/Google Brain. #ai #machinelearning, #deeplearning #MOOCs
Simon Martinelli @simas_ch
9K Followers 2K Following Java Champion, Vaadin Champion, Oracle ACE Pro, International Speaker, Programming Architect, and Lecturer.
Ergest Xheblati @ergestx
9K Followers 988 Following unlocking inherent potential in people and organizations
Tyler R. Josephson (a... @trjosephson
1K Followers 1K Following AI & Theory-Oriented Molecular Science. New dad. Asst Prof at @UMBC_CBEE, learning proofs and programming in @leanprover. RT≠PV/n
Guido van Rossum @gvanrossum
288K Followers 480 Following Python's BDFL-emeritus, Distinguished Engineer at Microsoft, Computer History Fellow, fully vaccinated. Opinions are my own. He/him.
Numan (MÑÂ) @its__Numan
20 Followers 230 Following Software Engineer | JavaScript, TypeScrpt developer | AI Engineer | Next js | Ember js
Santiago @svpino
424K Followers 515 Following Computer scientist. I teach hard-core AI/ML Engineering at https://t.co/THCAAZcBMu. YouTube: https://t.co/pROi08OZYJ
Michael Greenberg @mgrnbrg
983 Followers 157 Following
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
ACM SIGLOG @acmsiglog
275 Followers 31 Following
Guannan Wei @GuannanWei
1K Followers 959 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Apprentice @monadivalence
215 Followers 274 Following Type theory daisuki! Profile picture by @sealily___
Gappy (Giuseppe Paleo... @__paleologo
45K Followers 455 Following Curiosity, wonder, quantitative research. Books, read/written. Desire is that which is missing. Evil twin of @yogappygappy. new book: https://t.co/ygOgypsEQ5
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
tldraw @tldraw
69K Followers 12 Following infinite canvas / https://t.co/oXL4NAc6P8 / https://t.co/dO6WPp6YOI / https://t.co/beo7WsKiVe
Felix Zumstein @felixzumstein
4K Followers 117 Following xlwings creator | O'Reilly author | LinkedIn instructor
Em Campbell-Pretty @PrettyAgile
3K Followers 593 Following Author of Tribal Unity (https://t.co/YeqQNV4dI0) and The ART of Avoiding a Train Wreck (https://t.co/nDmBcVXV6u). Blogger, Speaker & World Traveller. SAFe Fellow.
Orion Reed @OrionReedOne
4K Followers 113 Following advocating widespread dissatisfaction with computing. Bsky @orionreed.com
Alexander Granin @graninas
7K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Amanda Liu @amangoliu
337 Followers 364 Following PhD student @MITEECS with a soft spot for PL + verification.
Pierce Darragh | pdar... @pl_pierce
821 Followers 1K Following he/him. PhD student @umdcs, interested in programming language design. I have cute cats and bad opinions about food.
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Erling Andersen @e_d_andersen
1K Followers 648 Following I am slowly closing down this profile. Follow me on @primaldual.bsky.app.
Tobiko Data @TobikoData
258 Followers 46 Following Empowering data scientists by automating SQL workflows.
Shubham Saboo @Saboo_Shubham_
90K Followers 349 Following Daily tips and tutorials on AI Agents, RAG & LLMs | Author of books on GPT-3 & Neural Search in Production | DM open for collaboration
Behrouz Babaki @BehrouzBabaki
301 Followers 400 Following Combinatorial optimization is the answer! Now, if only we could figure out what the question is.
D. Richard Hipp @DRichardHipp
5K Followers 0 Following Christian, Creator of SQLite and Fossil-SCM. Often wrong but seldom in doubt.
다믜 @damhiya
229 Followers 397 Following 프로그래밍과 증명을 합니다. I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic. https://t.co/KGHmRVtwWb
Richard Oberdieck @ROberdieck
644 Followers 431 Following Optimizer. Software Developer. Lecturer. Imperial College PhD in process optimization, now a data scientist at Banking Circle. Views are my own
Tobias Achterberg @AchterbergT
1K Followers 74 Following Gurobi Developer, former CPLEX and SCIP Developer, Mixed Integer Programming
Vitaly Bragilevsky @VBragilevsky
4K Followers 402 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…
tpcbenchmarks @tpcbenchmarks
333 Followers 104 Following The official twitter of the Transaction Processing Performance Council.Trends for United States
You might like
