#computerscience

471 posts

@hackernews Demystifying DRAM Read Disturbance: RowHammer and RowPress Phenomena #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/22278248
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/22278248
Don't have an account? Find a server at joinmastodon.org
Jul 31, 2026
@lobsters Logic for Programmers #Programming #Logic #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/22276489
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/22276489
Don't have an account? Find a server at joinmastodon.org
Jul 30, 2026
@hackernews Register deprivation: spills and runtime under forced register scarcity #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/22278930
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/22278930
Don't have an account? Find a server at joinmastodon.org
Jul 30, 2026
@hackernews Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC) #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/22275977
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/22275977
Don't have an account? Find a server at joinmastodon.org
Jul 29, 2026
@hillel_wayne Logic for Programmers is Now Available #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/hillel_wayne/posts/22290994
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/22290994
Don't have an account? Find a server at joinmastodon.org
Jul 29, 2026
@lobsters Improving Heuristics (2015) #ComputerScience #Algorithms #GameDev
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/22274029
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/22274029
Don't have an account? Find a server at joinmastodon.org
Jul 28, 2026
@unix_linux_community Recursive Digital Echopraxia #AI #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/unix_linux_community/posts/22448712
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/unix_linux_community/posts/22448712
Don't have an account? Find a server at joinmastodon.org
Jul 28, 2026
@lobsters Functional programming from first principles, part 1 - motivation #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/22272701
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/22272701
Don't have an account? Find a server at joinmastodon.org
Jul 27, 2026
@lobsters History of John Backus's FP languages #History #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/lobsters/posts/22272666
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/22272666
Don't have an account? Find a server at joinmastodon.org
Jul 27, 2026
@hackernews Multiway Turing Machines (2021 pre-ai) #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/22272464
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/22272464
Don't have an account? Find a server at joinmastodon.org
Jul 26, 2026
@lobsters Xavier Leroy on programming, languages and formal verification #Programming #FormalMethods #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/22272204
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/22272204
Don't have an account? Find a server at joinmastodon.org
Jul 26, 2026
@lobsters Maybe we should revisit microkernels #Microkernels #OperatingSystems #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/22271786
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/22271786
Don't have an account? Find a server at joinmastodon.org
Jul 25, 2026
@quanta A Master of the Traveling Salesperson Problem Finds His Own Path #ComputerScience #Math #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/quanta/posts/22269297
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/22269297
Don't have an account? Find a server at joinmastodon.org
Jul 23, 2026
@lobsters Capture Clauses as Effects #Rust #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/lobsters/posts/22267006
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/22267006
Don't have an account? Find a server at joinmastodon.org
Jul 21, 2026
@lobsters Thoughts On Integers #Programming #Math #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/22266779
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/22266779
Don't have an account? Find a server at joinmastodon.org
Jul 21, 2026
@lobsters Unfolding trees breadth-first in Haskell (2025) #Haskell #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/lobsters/posts/22262799
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/22262799
Don't have an account? Find a server at joinmastodon.org
Jul 17, 2026
@lobsters A novel computer Scrabble engine based on probability that performs at championship level (2021) #AI #Games #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/22261921
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/22261921
Don't have an account? Find a server at joinmastodon.org
Jul 16, 2026
@lobsters Abstracting effects with continuations #Programming #GleamLang #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/22261158
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/22261158
Don't have an account? Find a server at joinmastodon.org
Jul 15, 2026
@lobsters Computer Science Off Course - Programming as Theory Building #ComputerScience #Programming #Podcast
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/22257044
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/22257044
Don't have an account? Find a server at joinmastodon.org
Jul 12, 2026
@eli_bendersky Dot product: Component vs. Geometric definition #Math #LinearAlgebra #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/eli_bendersky/posts/22256192
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/eli_bendersky/posts/22256192
Don't have an account? Find a server at joinmastodon.org
Jul 11, 2026
@purplesyringa Optimal parse with phminposuw #Programming #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/purplesyringa/posts/22256650
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/purplesyringa/posts/22256650
Don't have an account? Find a server at joinmastodon.org
Jul 11, 2026
@hackernews Collaboration Networks in Brazilian Computer Science #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/22258639
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/22258639
Don't have an account? Find a server at joinmastodon.org
Jul 10, 2026
@lobsters Superoptimizer -- A Look at the Smallest Program #ComputerScience #Programming #Optimization
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/22254861
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/22254861
Don't have an account? Find a server at joinmastodon.org
Jul 10, 2026
@lobsters Unicode's Transliteration Rules Are Turing-Complete #ComputerScience #Unicode #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/22252991
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/22252991
Don't have an account? Find a server at joinmastodon.org
Jul 8, 2026
@lobsters Monoid Composition & Maximum Subarray Sum Problem #Programming #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/lobsters/posts/22252810
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/22252810
Don't have an account? Find a server at joinmastodon.org
Jul 8, 2026
@hackernews Unicode's transliteration rules are Turing-complete #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/22253670
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/22253670
Don't have an account? Find a server at joinmastodon.org
Jul 8, 2026
@lobsters Seventy Years of Parsing: Theoretical and Practical Consequences #ComputerScience #Parsing #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/22250771
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/22250771
Don't have an account? Find a server at joinmastodon.org
Jul 6, 2026
@quanta Researchers Reveal the Power of 'Quantum Proofs' #QuantumComputing #ComputerScience #Science
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/22250660
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/22250660
Don't have an account? Find a server at joinmastodon.org
Jul 6, 2026
@lobsters Metastability in Recovery: Cascading Recovery with a Loop #Tech #DistributedSystems #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/22250158
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/22250158
Don't have an account? Find a server at joinmastodon.org
Jul 6, 2026
@hackernews Completing a Computer Science Degree on Coursera #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/22250005
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/22250005
Don't have an account? Find a server at joinmastodon.org
Jul 5, 2026
@lobsters Suffix BWT vs cyclic shift BWT, and fast computation #Algorithms #DataStructures #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/22248546
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/22248546
Don't have an account? Find a server at joinmastodon.org
Jul 4, 2026
@lobsters Markets are competitive if and only if P != NP #PNP #ComputerScience #Economics
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/22248163
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/22248163
Don't have an account? Find a server at joinmastodon.org
Jul 3, 2026
@hackernews Markets are competitive if and only if P = NP #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/22248114
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/22248114
Don't have an account? Find a server at joinmastodon.org
Jul 3, 2026
@purplesyringa Suffix BWT vs cyclic shift BWT, and fast computation #Algorithms #DataStructures #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/purplesyringa/posts/22247717
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/purplesyringa/posts/22247717
Don't have an account? Find a server at joinmastodon.org
Jul 3, 2026
@lobsters Optimizing an Algorithm That's Quadratic by Design #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/22245628
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/22245628
Don't have an account? Find a server at joinmastodon.org
Jul 1, 2026
@hackernews Local Reasoning for Global Properties #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/22244846
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/22244846
Don't have an account? Find a server at joinmastodon.org
Jun 30, 2026
@lobsters You Don't Know Jack About Formal Verification #FormalVerification #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/lobsters/posts/22243375
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/22243375
Don't have an account? Find a server at joinmastodon.org
Jun 29, 2026
@lobsters The Scanline Sweeper: A Glyph Rendering Algorithm #Graphics #Algorithm #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/22242931
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/22242931
Don't have an account? Find a server at joinmastodon.org
Jun 29, 2026
@lobsters A Typed, Algebraic Approach to Parsing #Programming #Parsing #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/22242160
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/22242160
Don't have an account? Find a server at joinmastodon.org
Jun 28, 2026
@lobsters How ARM64 Instructions Are Really Encoded #ARM #Assembly #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/22238672
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/22238672
Don't have an account? Find a server at joinmastodon.org
Jun 25, 2026

« Newer Older »