Philip Zucker @SandMouth
Computer Friend, Not a Bird philipzucker.com Boston, MA Joined December 2013-
Tweets5K
-
Followers1K
-
Following2K
-
Likes5K
[New Blog Post] Experiments in the Irrationality of Sqrt 2 with SMT philipzucker.com/sqrt2/ #python #logic
Phil math discussion on MathOverflow with Gil Kalai. mathoverflow.net/questions/2775…
NULL BITMAP: I wrote down some thoughts on the problems you run into when trying to represent non-treelike expressions for query languages, and some of the solutions I've seen: buttondown.email/jaffray/archiv…
If you're fascinated by binary rewriting, don't miss this outstanding work by my colleague, Chinmay Deshpande. His project introduces a binary recompiler designed to support the lifting and recompilation of x86/x64 multithreaded binaries! 🤩#eurosys24 dl.acm.org/doi/abs/10.114…
@krismicinski @ShriramKMurthi @sigfig @disconcision I did one a few times in this direction, using Alloy and Dafny (hanielb.github.io/2023.2-fm/). I've been curious to build one around Spark, but never got the chance... Next term I'll do one focused on SMT itself, but I still have to figure out how I wanna do it
Formalization of the telegrapher’s equations using higher-order-logic theorem proving. ~ Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar. researchgate.net/profile/Adnan-… #ITP #HOL_Light #Math
Cool video linked from the interesting blog post below — youtube.com/watch?v=72y2EC… — of interest to fans of Bret Victor: live programming gamedev reversible time-travel debugging see every step of the rendering mark important points in time From x.com/tomorrowcorp/s…
Cool video linked from the interesting blog post below — youtube.com/watch?v=72y2EC… — of interest to fans of Bret Victor: live programming gamedev reversible time-travel debugging see every step of the rendering mark important points in time From x.com/tomorrowcorp/s…
book-in-progress, >500 pages (!): www-labs.iro.umontreal.ca/~lecuyer/ift65… 'Stochastic Simulation and Monte Carlo Methods' - Pierre L’Ecuyer
Prover9 unleashed: Automated configuration for enhanced proof discovery. ~ Kristina Aleksandrova, Jan Jakubuv, Cezary Kaliszyk. formalweb3.uibk.ac.at/docs/24/kajjck… #ATP #Prover9
The Shiva x86_64 port is nearly done. Expected release date is the end of May. github.com/advanced-micro…
I don't remember if I already shared this, but Klaas Landsman has written a very nice book on the #mathematics of #GeneralRelativity and published it as open access. You can buy or freely download the book from library.oapen.org/handle/20.500.… #OpenAcces
"Do stuff and then blog about it" remains one of the most underrated pieces of career advice
"Do stuff and then blog about it" remains one of the most underrated pieces of career advice
An absolutely fantastic way to increase this is to start a blog. Almost all the cool fun stuff in my professional life for me has come from doing stuff then blogging about it. henrikkarlsson.xyz/p/search-query
An absolutely fantastic way to increase this is to start a blog. Almost all the cool fun stuff in my professional life for me has come from doing stuff then blogging about it. henrikkarlsson.xyz/p/search-query
New blog post by @stlhood recounting all our wins on llamafile. If you've been wondering what my project is, then Stephen gives an excellent executive summary. hacks.mozilla.org/2024/04/llamaf…
New blog post: Demystifying multiple importance sampling It is a simple thing that turns out to be confusing to a lot of us rendering engineers. I try to explain it in detail here with path-tracing examples! lisyarus.github.io/blog/posts/mul…
Robust geometric predicates in #rustlang with #geogram ! As simple as 'cargo add geogram_predicates' Wrapper by Glenn Dittmann New 0.1.5 version has nice demo program, showing what happens with standard floating point numbers: github.com/glennDittmann/… crates.io/crates/geogram…
on the same topic (not by me!): terrytao.wordpress.com/2007/05/23/sof… "Soft analysis, hard analysis, and the finite convergence principle"
on the same topic (not by me!): terrytao.wordpress.com/2007/05/23/sof… "Soft analysis, hard analysis, and the finite convergence principle" https://t.co/dLcV8DkFiX
So, here's a lovely little spinning LIDAR - at a fantastic price (£10!). 35mm square, uses a BLDC motor (smooth), and nice specs. It's happily scanning my front room, so they do work - making this a steal IMO. ebay.co.uk/itm/3951598553…
Taking ASCII Drawings Seriously: How Programmers Diagram Code pg.ucsd.edu/publications/h… asciidiagrams.github.io H/T: mastodon.social/@regehr/112328… Devamardeep Hayatpur, Brian Hempel, Kathy Chen, William Duan, Philip J. Guo, Haijun Xia ACM CHI 2024
new paper by Lee et al.: Simplifying MBA Expression Using E-Graphs arxiv.org/pdf/2404.05431…
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketEdward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMKristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Nikolaj Bjorner @BjornerNikolaj
1K Followers 330 FollowingBrendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPJosé 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.Luc Tielen @luctielen
1K Followers 117 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/himEdward Z. Yang @ezyang
10K Followers 971 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]andrew blinn @disconcision
3K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhonedavidad 🎇 @davidad
13K Followers 7K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat deathBruno Gavranović @bgavran3
7K Followers 954 Following Category Theory + Deep Learning Principal Scientist @symbolica bgavran.ethKC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Cyrus Omar @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 assistant professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crewMilad Kahsari Alhadi @0cdefender0
101 Followers 67 Following Founder of Ai000 Cybernetics QLab. Interested in Mathematics, History and Computer Science.Nina Kaukola @KaukolaNin73533
43 Followers 5K FollowingMohammad Alaggan, Ph... @m_aggan
1K Followers 3K Following Sr. Software Development Engineer at @AWSCloud. Opinions are my own.Luethea @luethea19280
0 Followers 128 Followingherman permafrost @thistlesticks66
82 Followers 2K FollowingRoberto Giacobazzi @rgiacobazzi
762 Followers 596 Following Professor in Computer Science: Theory of computation, computers, languages and their semanticswang zhonghan @YogurtShadow272
2 Followers 120 FollowingMel Mashiku @mgmashiku
124 Followers 1K FollowingPeiyang Song @p_song1
205 Followers 545 Following Honors CS Undergrad @UCSB_CCS. SURF fellow at Anima AI+Science Lab @caltech. Researcher @UCSBArchLab. Fmr @Tsinghua_Uni @NKU1919.Angie Nichols @AngieNicho63507
58 Followers 3K FollowingSarah Otterholt @OtterholtS75118
80 Followers 5K FollowingLiza Pertseva @LizaPertseva1
7 Followers 31 FollowingCerys Kanevsky @kanevsky31186
78 Followers 5K FollowingPULP Platform @pulp_platform
6K Followers 1K Following A joint effort of @ETH_en, University of Bologna @Unibo + partners for Parallel Ultra-Low Power computing. Boldly designing open hardware since '13.dDd_paths @Ailessly
41 Followers 421 FollowingPhil Eaton @eatonphil
17K Followers 557 Following Working on @EDBPostgres. Mostly databases, distributed systems, books, and cooking. 💍🇰🇷A T @iDramedy
288 Followers 3K FollowingJulianna Meas @JuliannaMe42626
48 Followers 5K FollowingKadence Diggs @diggs_di
97 Followers 5K Followinginconsistency @ucgJhe
221 Followers 4K Following My tweets belong to a cranky guinea pig that lives in my imagination.Guadalupe Sitterly @GuadalupSitte
69 Followers 5K FollowingIch @iwdnal
0 Followers 9 FollowingRylie Leith @lei_ryli
85 Followers 5K Followingfornever @_for_never
3 Followers 68 FollowingAlan @AlanWan74454922
19 Followers 419 Followingjezreel @techtheriac
326 Followers 690 Following Unrepentant Hedonist | Software Engineer | 👨🍳 @alat_ng | grokking ML/Probabilistic ProgrammingDan Marsden @StringDiagram
1K Followers 192 Following Categories, computer science and logic. @[email protected]Santosh Nagarakatte @santoshgnag
1K Followers 566 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQMarc Thatcher @MarcThatcher
75 Followers 179 Following "And you may ask yourself: well, how did I get here?"jado @jadopoly
247 Followers 614 Following Engineer @Moonsworth. Building the Minecraft modding platform for @LunarClient.Pratyush Mishra @zkproofs
6K Followers 1K Following Current: Asst Proofessor at Penn CIS, Co-maintainer @arkworks_rs Past: Cryptographer @AleoHq, Crypto and computer security PhD @ucberkeley he/himCatarina Gamboa @catarinavgamboa
223 Followers 240 Following PhD Student 🖥️ Software Engineering @S3DatCMU and @lasige ✈️ Currently: Pittsburgh, US 📍From: Olhalvo, Lisbon, PT Check out LiquidJava!!Altan Haan @altan0
117 Followers 123 Following PhD student @Berkeley_EECS. Previously MLSys @OctoML. BS @uwcse '20.Hanna Dembitzer @hanna52565
77 Followers 5K FollowingTom Cox @tomcox1130
59 Followers 246 FollowingDavid Spooner @daspoon48096
15 Followers 34 FollowingAndrew Witten @AndrewWitten5
33 Followers 193 FollowingJQP @japan_quantum
832 Followers 152 Following Founder @msk_alexander Japan Quantum reserch partners. Contact us for partnerships via DM.m @bfpill
55 Followers 145 Following if you see this, please send me any research paper. i will read it and then ask you questions about itTalia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושBartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketjulesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMKristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Inactive; Bluesky is .. @hillelogram
19K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)comPitching The Offer Op.. @PTOOP
1K Followers 610 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerousNikolaj Bjorner @BjornerNikolaj
1K Followers 330 FollowingLoris D'Antoni @lorisdanto
6K Followers 731 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPMatteo Capucci @mattecapu
4K Followers 785 Following 🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.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.Luc Tielen @luctielen
1K Followers 117 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.Roberto Giacobazzi @rgiacobazzi
762 Followers 596 Following Professor in Computer Science: Theory of computation, computers, languages and their semanticsSimon Willison @simonw
71K Followers 5K Following Creator @datasetteproj, co-creator Django. PSF board. @nichemuseums. Hangs out with @natbat + @cleopaws. He/Him. Mastodon: https://t.co/t0MrmnJW0KEric LaForest @elaforest
2K Followers 75 Following FPGA Design Consultant. he/him. Working to improve the state of digital logic design: https://t.co/7BbkhCSv3RTom @tdsepsilon@fosst.. @tdsepsilon
2K Followers 794 Following I am a computer engineer that has a passion for technology, tea and coffee. I am blogging about my various projects. My interests include SDR, FPGAs, and DSPlogic destroyer @splinedrive
8K Followers 460 Following Join me on the journey of developing a #RISCV #Linux SoC from scratch for #ASIC/#FPGA. #verilog logic design since 2020, @TUBerlin alumn, C/C++Marcelo Samsoniuk @samsoniuk
2K Followers 280 Following #RISCV #DarkRISCV #680x0 #VLIW #DSP #FPGA #Verilog #C #AWK #VHDL #HPC #GPU #memes and #badjokesPablo Trujillo @controlpaths
2K Followers 663 Following Full time FPGA designer and DSP enthusiast. Also I write a blog about FPGA and DSP where I share projects and treaks.Andrew Elbert Wilson @FPGA_Zealot
1K Followers 377 FollowingDjuna Croon @DjunaCroon
4K Followers 501 Following Theoretical physicist (@IPPP_Durham) and blackboard enthusiast | (astro)particles, cosmology, gravitational waves | toddler mom | she/herKatie Mack @AstroKatie
411K Followers 4K Following Cosmologist, pilot, author, connoisseur of cosmic catastrophes. @TEDFellow, CIFAR Azrieli Global Scholar. Cis. She/her. Dr. https://t.co/x5ErK7B0CBDaniel Baumann @DD_Baumann
10K Followers 354 Following Professor of Theoretical Cosmology at the University of Amsterdam | Professor of Cosmology at National Taiwan University | Director of @LeCosPA_NTUStathis K @stathisktw
240 Followers 406 Following Radiation Oncologist, MD, MSc. Physicist, MSc. Currently working as a RO consultant. Stargazer at night. Polymath wannabe.Prof. Anima Anandkuma.. @AnimaAnandkumar
25K Followers 2K Following Bren Professor @caltech, Fmr Sr Director of #AI research @nvidia, Fmr Principal Scientist @awscloud, AI+Science, PDE, Neural operators. Views my own.Brackeys @BrackeysTweet
60K Followers 76 Following Learn how to make Games 🎮 https://t.co/TtAgDJQtt8 #UnityTM↑3 — Topologica.. @UZH_TopoMat
188 Followers 32 Following Theory research group Topological Matter and Metamaterials of @tomasbzdusek, based at @UZHPhysics of Uni Zürich. Also at @[email protected].Physical Review Resea.. @PhysRevResearch
20K Followers 24 Following #openaccess #multidisciplinary #PhysicalReview journal published by @APSPhysics covering topics across physics and related areas of research.Topological Matter Sc.. @TopologicalS
893 Followers 31 Following Teaching topology in San Sebastián since 2016. The 2022 edition (22-26 of August) is coming up. More info at https://t.co/7JsMwdH2xCMorten Vassvik @vassvik
3K Followers 1K Following Simulation and rendering nerd. Co-founder and CTO @JangaFX. Working on EmberGen and more. Discord: vassvik @[email protected] @vassvik.bsky.socialFormal Methods 2024 @FMsymp
598 Followers 256 Following The 26th International Symposium on Formal Methods. #FM2024Giulia Guidi @giuliaguidi
2K Followers 615 Following @CornellCIS Assistant Professor | @LBNLcs Affiliate Faculty | @UCBerkeley PhD | Distributed & Parallel Computing (HPC) | Dogs, Skis, Pottery | she/herWolfram @WolframResearch
64K Followers 352 Following Where computation meets knowledge. Creators of Mathematica, @Wolfram_Alpha, Wolfram Language. Founded in 1987 by @stephen_wolfram.FortranTip @fortrantip
1K Followers 24 Following Tips about Fortran. Code samples and index of tweets are at GitHub. I post as Beliavsky at Fortran Discourse. Joined by other contributors. Male.Guannan Wei @GuannanWei
1K Followers 975 Following Postdoc; PhD in programming languages @PurdueCS / previously @galois @SambaNovaAI @UUtah / Mastodon [email protected] / I’m on the job market!James V Stone @jgvfwstone
2K Followers 1K Following Information theory, neurons, AI, QM. Books=high density knowledge. Visiting Professor, Sheffield Uni, UK. [email protected]Mooly Sagiv @SagivMooly
1K Followers 2K Following CEO of @CertoraInc and a chair of software systems at @TelAvivUniSimon Pepin Lehalleur @plain_simon
3K Followers 5K Following Mathematician (algebraic geometry, motives & friends, singularity theory and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam. He/HimCPAIOR @cpaior_conf
367 Followers 87 Following The 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 28 – 31, 2024InfoQ @InfoQ
56K Followers 2K Following Helping dev teams adopt new technologies and practices for 16 years. Written by software engineers. Read by over 1.5 m devs worldwide.Caleb Stanford @calebstanford4
1K Followers 1K Following Assistant Professor at UC Davis. PL + Systems, Coffee, Productive Procrastination. https://t.co/Qqj5b0CPpbCHIPSAlliance @CHIPSAlliance
5K Followers 89 Following CHIPS (Common Hardware for Interfaces, Processors and Systems) Alliance harnesses the energy of open source collaboration to accelerate hardware development.FOSSi Foundation @FossiFoundation
4K Followers 236 Following The international non-profit organisation which promotes and protects the open source silicon chip movement. Now on Mastodon @[email protected]Latch-Up @LatchUpConf
670 Followers 219 Following Latch-Up, by @fossifoundation Boston, MA April 19-21 2023. https://t.co/y5b7QvYJ2u Catch up at Latch-Up!Sy Brand @TartanLlama
26K Followers 1K Following c++ developer advocate @microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/themNirmalya Kajuri @Kaju_Nut
17K Followers 430 Following Physicist, science writer, shitposter. Assistant Professor at IIT Mandi.Catarina Gamboa @catarinavgamboa
223 Followers 240 Following PhD Student 🖥️ Software Engineering @S3DatCMU and @lasige ✈️ Currently: Pittsburgh, US 📍From: Olhalvo, Lisbon, PT Check out LiquidJava!!Konrad Rieck 🌈 @mlsec
3K Followers 384 Following Machine Learning and Security, Professor of Computer Science at TU Berlin, @[email protected]Laurens Kuiper @lnkuiper
60 Followers 0 Following Software Engineer at DuckDB Labs, Ph.D. Student at the Database Architectures at Centrum Wiskunde & Informatica (CWI)Ryan Kurtz @ryanmkurtz
87 Followers 78 FollowingProf. Andrea Armani @ProfArmani
13K Followers 7K Following Engineer and Physicist. These are my opinions on 🍫☕️🐱. Lab: @BiophotTeamNienhaus Lab @NienhausLab
6K Followers 3K Following 👩🔬Interested in light-matter interactions at the nanoscale. #scanningprobe #glowythings #kitchenspectroscopy #upconversion. Views my own.Optica Publishing Gro.. @OpticaPubsGroup
7K Followers 2K Following News, updates, and current research from Optica Publishing Group - home of the largest and most-cited collection of peer-reviewed #optics and #photonics contentACS Photonics @ACSPhotonics
7K Followers 848 Following Editor-in-Chief Romain Quidant and ACS Photonics Editors/Staff on topics related to photonics, nanomaterials, plasmonics, and biophotonicsIEEE Photonics Societ.. @IEEEPhotonics
12K Followers 2K Following Global professional home for scientists & engineers who advance laser, optics & photonics tech for the benefit of humanity. #Ally #OneIEEEPhotonicsViews @PhotonicViews
3K Followers 985 Following Your daily quantum of photonics – from PhotonicsViews magazine … https://t.co/KS6Hn8NFJyFindLight @FindLightInc
9K Followers 8K Following Our channel is dedicated to curating the latest and greatest in #physics, #robotics, #photonics, #cosmology, #astronomy, and #nanotechnology.Nanophotonics @Nanophotonics_J
3K Followers 648 Following Nanophotonics is a leading open access journal focusing on the interaction of photons with nano-structures. Published by @DGJournals and Sciencewise Publishing.Datasheet Digest 🧐 @DatasheetDigest
3K Followers 0 Following Datasheet Digest is the podcast that goes over the good, the bad, and the ugly of electronic components. Thanks for listening. 🔊 #DatasheetDigestThe @JuliaLanguage monthly newsletter is out! discourse.julialang.org/t/this-month-i… Love these things
I'm about to give a cursed talk on how I embedded a programming language interpreter inside debug information on Linux, you can watch it live for free! youtube.com/watch?v=H6GQUg…
Paper: arxiv.org/abs/2404.17774
Preview: [SIGGRAPH '24] High-quality Surface Reconstruction using Gaussian Surfels No paper yet but the showcased mesh reconstruction results are looking very promising. Project: turandai.github.io/projects/gauss…
ARTISTS, you can only use ONE art picture to convince people to follow you. Which art piece you using
ARTISTS, you can only use ONE art picture to convince people to follow you. Which art piece you using
Another example of nominal set with a semantics flavour. Coming, this time, from a program logic/verification perspective. 1/7
I had an opportunity to chat with Andrew Pitts at POPL. He told me that he felt that nominal sets are most useful when there's a mix of syntax and semantics. Let me propose one such application. 1/7
DuckDB was recently covered in @andy_pavlo's Advanced Database Systems course at CMU. The lecture covers DuckDB's history, internals, and integration with other systems. Slides: 15721.courses.cs.cmu.edu/spring2024/sli… Recording: youtube.com/watch?v=4iD4h4…
I'm writing a series of articles covering the implementation of the various stages of code execution in the CPython runtime. This includes: - The runtime internals - The tier-1 bytecode interpreter - How tier-2 bytecode is generated and executed - How the JIT compiler generates…
It's out! A fly over, through the lens of my #ASIC projects (including mixed-signal now!) in and #PCB work for @tinytapeout: a talk I gave at the recent @FossiFoundation @LatchUpConf in Boston. Get a preview of the #analog design, the demoboards, more youtube.com/watch?v=h4cPi4…
Experiments in the irrationality of Sqrt 2 with SMT. ~ Philip Zucker (@[email protected]). philipzucker.com/sqrt2/ #ATP #SMT #Math
Symmetry is a core concept in both Science and Art (tilings) related to groups. These few selected books present symmetry under various angles, from popular viewpoints to advanced mathematical theories with its applications in geometric mechanics, machine learning and physics.
List of my favorite statistical mechanics and quantum mechanics books that I tweeted over the last two weekends. Happy reading! List github.com/arghyadutta/re… Earlier threads (check comments for more) x.com/arghya_dutta_/… x.com/arghya_dutta_/… #physics #compchem #quantum
The early registration deadline for the 2024 Mixed Integer Programming Workshop (#mip2024) is May 1. We hope to see you in Kentucky @universityofky, featuring a cuts summer school on Jun 2 and 3.5-day workshop Jun 3–6. For details, visit mixedinteger.org/2024. #orms
In just under 24 hours I'll be giving the VaNTAGe seminar sites.google.com/view/vantagese… during which I'll formally open the Lean Fermat's Last Theorem github repo!
Question on Stack Overflow: Recursive function on finite sets - how to prove termination stackoverflow.com/questions/7840…
Strabismus are infinitely looping video visions that conjure Depth out of Time.
Today, at PL@LX, our visitor Yoshiki (CMU) presented his work on Validation and Verification of Rust programs. If you want to see slides without the green tint, I suggest you join us for the next meeting in June! (@ me for details).
Nondefinability and higher definability Another installment from A Panorama of Logic, an introduction for mathematicians, philosophers, and computer scientists, serialized here on Infinitely More. infinitelymore.xyz/p/nondefinabil… #InfinitelyMore #PanoramaOfLogic
@ShriramKMurthi @hanielmbarbosa @krismicinski @sigfig @disconcision I think Toby (@tobycmurray) also teaches a course on modelling and probably uses Alloy (I could be wrong because he mentioned something like this long back in 2021). I think the course is this [1] but he would have more to say on teaching modelling. [1] handbook.unimelb.edu.au/2024/subjects/…
GitHub commit for some new and updated #Picat programs/models: github.com/hakank/hakank/…
Introduction to Hidden Markov Models (HMMs) by Alperen Degirmenci Source: scholar.harvard.edu/files/adegirme…