#computerscience

472 posts

@lobsters A Letter from Dijkstra on APL(1982) #Programming #History #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22181876
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22181876
Don't have an account? Find a server at joinmastodon.org
May 2, 2026
@lobsters Posits: tapered precision real numbers (2018) #ComputerScience #Math #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22179857
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22179857
Don't have an account? Find a server at joinmastodon.org
Apr 30, 2026
@lobsters You can beat the binary search #Algorithm #Optimization #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22179568
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22179568
Don't have an account? Find a server at joinmastodon.org
Apr 30, 2026
@lobsters On Interaction Nets and Hardware #Hardware #ComputerScience #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22174747
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22174747
Don't have an account? Find a server at joinmastodon.org
Apr 26, 2026
@lobsters Basic Type System Terminology #Programming #TypeSystem #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22173626
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22173626
Don't have an account? Find a server at joinmastodon.org
Apr 25, 2026
@lobsters The secret history of Recursion Schemes #Programming #FunctionalProgramming #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22168345
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22168345
Don't have an account? Find a server at joinmastodon.org
Apr 22, 2026
@lobsters An Algorithmic Reconstruction of Normalisation by Evaluation #Programming #ComputerScience #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22168341
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22168341
Don't have an account? Find a server at joinmastodon.org
Apr 22, 2026
@lobsters Mind the van Emden Gap #AI #LLM #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167834
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167834
Don't have an account? Find a server at joinmastodon.org
Apr 21, 2026
@hackernews A simplified model of Fil-C #HackerNews #Tech #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22166413
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22166413
Don't have an account? Find a server at joinmastodon.org
Apr 17, 2026
@lobsters A simplified model of Fil-C #Programming #ComputerScience #CCoding
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166388
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166388
Don't have an account? Find a server at joinmastodon.org
Apr 17, 2026
@antithesis_blog What are skiplists good for? #DataStructures #Algorithms #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400867
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400867
Don't have an account? Find a server at joinmastodon.org
Apr 16, 2026
@lobsters Too much Discussion of the XOR swap trick #Programming #ComputerScience #SoftwareDevelopment
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165664
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165664
Don't have an account? Find a server at joinmastodon.org
Apr 16, 2026
@quanta The AI Revolution in Math Has Arrived #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/quanta/posts/22164248
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/quanta/posts/22164248
Don't have an account? Find a server at joinmastodon.org
Apr 13, 2026
@hackernews The Paper Computer #HackerNews #Tech #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22165515
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22165515
Don't have an account? Find a server at joinmastodon.org
Apr 13, 2026
@ethan_hawksleys_blog The need for post-quantum cryptography #Cryptography #Cybersecurity #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ethan_hawksleys_blog/posts/22426140
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ethan_hawksleys_blog/posts/22426140
Don't have an account? Find a server at joinmastodon.org
Apr 13, 2026
@quanta Why Do We Tell Ourselves Scary Stories About AI? #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/quanta/posts/22163176
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/quanta/posts/22163176
Don't have an account? Find a server at joinmastodon.org
Apr 10, 2026
@hackaday Dodging a 60-Year-Old Design Flaw In Your RAM #computerhacks #computerscience #dynamicram
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackaday/posts/22162387
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackaday/posts/22162387
Don't have an account? Find a server at joinmastodon.org
Apr 8, 2026
@aartaka Binary Lambda Calculus is Hard #Tech #Programming #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172200
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172200
Don't have an account? Find a server at joinmastodon.org
Apr 5, 2026
@math_stackexchange How to find complexity of a board game #Math #GameTheory #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22651084
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22651084
Don't have an account? Find a server at joinmastodon.org
Mar 28, 2026
@rory_sawyer My practitioner view of program analysis #Programming #SoftwareEngineering #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/rory_sawyer/posts/22454893
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/rory_sawyer/posts/22454893
Don't have an account? Find a server at joinmastodon.org
Mar 27, 2026
@emi_h A Case Against Currying #Programming #FunctionalProgramming #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417430
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417430
Don't have an account? Find a server at joinmastodon.org
Mar 21, 2026
@sandys_website The Death of the Art of Computer Science 🪽 #ComputerScience #Essays #Software
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/sandys_website/posts/22454760
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/sandys_website/posts/22454760
Don't have an account? Find a server at joinmastodon.org
Mar 8, 2026
@ethan_hawksleys_blog Winning the Hack Club Campfire hackathon #Hackathon #ComputerScience #StudentLife
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ethan_hawksleys_blog/posts/22426149
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ethan_hawksleys_blog/posts/22426149
Don't have an account? Find a server at joinmastodon.org
Mar 3, 2026
@oatmeal Constraint propagation for fun #Programming #ComputerScience #Logic
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/oatmeal/posts/22388568
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/oatmeal/posts/22388568
Don't have an account? Find a server at joinmastodon.org
Feb 8, 2026
@skerritt_blog Automatic AFK detection for visual novel reading statistics #ComputerScience #AI #Japanese
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/skerritt_blog/posts/22456633
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/skerritt_blog/posts/22456633
Don't have an account? Find a server at joinmastodon.org
Feb 1, 2026
@russcox Fast Unrounded Scaling: Proof by Ivy #Programming #ComputerScience #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292791
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292791
Don't have an account? Find a server at joinmastodon.org
Jan 19, 2026
@russcox Floating-Point Printing and Parsing Can Be Simple And Fast #Programming #ComputerScience #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292803
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292803
Don't have an account? Find a server at joinmastodon.org
Jan 19, 2026
@nick_drozd AI Reproduction of Lin's Busy Beaver Proof #AI #ComputerScience #Research
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/nick_drozd/posts/22326339
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/nick_drozd/posts/22326339
Don't have an account? Find a server at joinmastodon.org
Jan 16, 2026
@russcox Pulling a New Proof from Knuth's Fixed-Point Printer #Programming #ComputerScience #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292813
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292813
Don't have an account? Find a server at joinmastodon.org
Jan 10, 2026
@russcox Floating Point Formatting #Programming #Tech #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292822
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/russcox/posts/22292822
Don't have an account? Find a server at joinmastodon.org
Jan 10, 2026
@conrad_irwin Single mutable ownership #Programming #SoftwareDevelopment #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/conrad_irwin/posts/22410639
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/conrad_irwin/posts/22410639
Don't have an account? Find a server at joinmastodon.org
Dec 19, 2025
@google_research_blog Gemini-backed Paper Assistant Tool provides automated feedback for theoretical computer scientists at STOC 2026 #AI #ComputerScience #Research
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/google_research_blog/posts/22381059
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/google_research_blog/posts/22381059
Don't have an account? Find a server at joinmastodon.org
Dec 15, 2025
@eric_normand What are formal systems? #Programming #FormalSystems #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/eric_normand/posts/22436050
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/eric_normand/posts/22436050
Don't have an account? Find a server at joinmastodon.org
Dec 9, 2025
@jack_vanlightly The Durable Function Tree - Part 2 #DistributedSystems #SoftwareEngineering #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jack_vanlightly/posts/22429707
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jack_vanlightly/posts/22429707
Don't have an account? Find a server at joinmastodon.org
Dec 4, 2025
@jack_vanlightly The Durable Function Tree - Part 1 #DistributedSystems #SoftwareEngineering #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jack_vanlightly/posts/22429720
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jack_vanlightly/posts/22429720
Don't have an account? Find a server at joinmastodon.org
Dec 4, 2025
@jack_vanlightly Demystifying Determinism in Durable Execution #DistributedSystems #Tech #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jack_vanlightly/posts/22429733
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jack_vanlightly/posts/22429733
Don't have an account? Find a server at joinmastodon.org
Nov 24, 2025
@aartaka Making Sense of Lambda Calculus 6: Recurring Problems #Tech #Programming #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172038
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172038
Don't have an account? Find a server at joinmastodon.org
Oct 29, 2025
@cstheory_stackexchange Min-difference boolean convolution-like operation #ComputerScience #Algorithms #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/cstheory_stackexchange/posts/22413123
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/cstheory_stackexchange/posts/22413123
Don't have an account? Find a server at joinmastodon.org
Oct 23, 2025
@things_of_interest How many valid UTF-8 (or UTF-16, or UTF-32) byte sequences are there? #Programming #Unicode #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/things_of_interest/posts/22382363
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/things_of_interest/posts/22382363
Don't have an account? Find a server at joinmastodon.org
Oct 11, 2025
@hillel_wayne A Very Early History of Algebraic Data Types #Programming #ComputerScience #History
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291024
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291024
Don't have an account? Find a server at joinmastodon.org
Sep 25, 2025

« Newer Older »