#computerscience

471 posts

@cstheory_stackexchange Space-efficient compression for binary strings #ComputerScience #Algorithms #DataCompression
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/22413104
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/22413104
Don't have an account? Find a server at joinmastodon.org
Sep 4, 2026
@scientific_american What's the tech behind the record-breaking RSA-260 crack? #Cryptography #ComputerScience #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/scientific_american/posts/22318213
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/scientific_american/posts/22318213
Don't have an account? Find a server at joinmastodon.org
Sep 4, 2026
@purplesyringa The NX bit is not just about security #Security #Technology #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/22317485
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/22317485
Don't have an account? Find a server at joinmastodon.org
Sep 4, 2026
@lobsters Let's build a compressor from scratch #Programming #Rust #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/22315696
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/22315696
Don't have an account? Find a server at joinmastodon.org
Sep 2, 2026
@hackernews A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf] #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/22318523
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/22318523
Don't have an account? Find a server at joinmastodon.org
Sep 2, 2026
@lobsters Flat vs segmented memory -- it's recursive #ComputerScience #Programming #Memory
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/22315122
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/22315122
Don't have an account? Find a server at joinmastodon.org
Sep 2, 2026
@lobsters Coherence and orphan instance rules #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/22314092
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/22314092
Don't have an account? Find a server at joinmastodon.org
Sep 1, 2026
@nick_drozd A Tetrational Self-Cleaning Turing Machine #Programming #ComputerScience #TuringMachine
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/22326325
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/22326325
Don't have an account? Find a server at joinmastodon.org
Sep 1, 2026
@hillel_wayne A Crash Course in Predicate Logic #Logic #ComputerScience #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/hillel_wayne/posts/22314535
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/22314535
Don't have an account? Find a server at joinmastodon.org
Sep 1, 2026
@hackernews Agent Memory as a File Format #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/22312906
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/22312906
Don't have an account? Find a server at joinmastodon.org
Aug 31, 2026
@lobsters Parallel O(sqrt n) Overhead LSD Radix Sort #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/22312396
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/22312396
Don't have an account? Find a server at joinmastodon.org
Aug 30, 2026
@lobsters Does Computer Science Need Computers? #ComputerScience #Academia #Technology
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/22311453
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/22311453
Don't have an account? Find a server at joinmastodon.org
Aug 29, 2026
@quanta Does Computer Science Need Computers? #ComputerScience #Theory #Academia
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/22310165
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/22310165
Don't have an account? Find a server at joinmastodon.org
Aug 28, 2026
@lobsters The Sync Heap: Delete First, Ask Questions Later #ComputerScience #Research #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/22306320
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/22306320
Don't have an account? Find a server at joinmastodon.org
Aug 25, 2026
@lobsters 50 years of proof assistants #ComputerScience #History #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/lobsters/posts/22306273
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/22306273
Don't have an account? Find a server at joinmastodon.org
Aug 25, 2026
@jack_vanlightly The LogDrive: Flexible Composition Through Abstraction in Shared Logs #DistributedSystems #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/jack_vanlightly/posts/22429576
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/22429576
Don't have an account? Find a server at joinmastodon.org
Aug 25, 2026
@lobsters A Design Space Exploration of Async/Await #Programming #Async #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/22305794
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/22305794
Don't have an account? Find a server at joinmastodon.org
Aug 25, 2026
@lobsters Making the Impossible Possible (Again): Ten Years of Flexible Paxos #DistributedSystems #ComputerScience #Paxos
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/22305569
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/22305569
Don't have an account? Find a server at joinmastodon.org
Aug 25, 2026
@lobsters Thoughts on powerful primitives for simplified computer systems architecture #ComputerScience #SystemsDesign #OpenSource
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/22305448
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/22305448
Don't have an account? Find a server at joinmastodon.org
Aug 24, 2026
@lobsters Programming Paradigms #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/lobsters/posts/22305449
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/22305449
Don't have an account? Find a server at joinmastodon.org
Aug 24, 2026
@lobsters The changing role of finite-state model checking #ComputerScience #FormalMethods #SoftwareEngineering
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/22304856
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/22304856
Don't have an account? Find a server at joinmastodon.org
Aug 24, 2026
@lobsters My favorite Computer Science books, and why #ComputerScience #Programming #Books
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/22303866
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/22303866
Don't have an account? Find a server at joinmastodon.org
Aug 23, 2026
@lobsters Foundational Verification of Running-Time Bounds for Interactive Programs #FormalMethods #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/lobsters/posts/22303604
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/22303604
Don't have an account? Find a server at joinmastodon.org
Aug 23, 2026
@lobsters Programming Language Semantics and Memory Safety #Programming #ComputerScience #MemorySafety
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/22302850
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/22302850
Don't have an account? Find a server at joinmastodon.org
Aug 22, 2026
@hackernews I came to write THAT paper with Leslie Lamport #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/22302274
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/22302274
Don't have an account? Find a server at joinmastodon.org
Aug 21, 2026
@lobsters Everyone Says Assembly Is Untyped--Everyone Is Wrong - gingerBill #Assembly #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/22301095
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/22301095
Don't have an account? Find a server at joinmastodon.org
Aug 20, 2026
@hackernews Curvature Beziers - Improving on a timeless recipe #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/22304964
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/22304964
Don't have an account? Find a server at joinmastodon.org
Aug 19, 2026
@nathan_grigg Fun with FIFOs (and Minecraft) #Programming #ComputerScience #Gaming
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/nathan_grigg/posts/22441044
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/nathan_grigg/posts/22441044
Don't have an account? Find a server at joinmastodon.org
Aug 18, 2026
@lobsters Four levels of in-place initialization #Programming #Software #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/22296451
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/22296451
Don't have an account? Find a server at joinmastodon.org
Aug 17, 2026
@lobsters A Programming Paradigm for Spatiotemporal Composability #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/lobsters/posts/22295584
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/22295584
Don't have an account? Find a server at joinmastodon.org
Aug 15, 2026
@hackernews Modeling and Verification of Keeta's Consensus [pdf] #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/22295575
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/22295575
Don't have an account? Find a server at joinmastodon.org
Aug 15, 2026
@llbbl There Is No Such Thing as a Text File #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/llbbl/posts/22436678
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/llbbl/posts/22436678
Don't have an account? Find a server at joinmastodon.org
Aug 15, 2026
@lobsters Computing graph dominators #ComputerScience #Algorithms #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/22292348
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/22292348
Don't have an account? Find a server at joinmastodon.org
Aug 14, 2026
@lobsters A long division story #Algorithm #ComputerScience #Mathematics
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/22290950
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/22290950
Don't have an account? Find a server at joinmastodon.org
Aug 13, 2026
@unix_linux_community Guess the insertion order from the provided B-tree? Hard puzzle problem #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/unix_linux_community/posts/22448687
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/22448687
Don't have an account? Find a server at joinmastodon.org
Aug 13, 2026
@hackernews Intriguing Stories in 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/22297393
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/22297393
Don't have an account? Find a server at joinmastodon.org
Aug 12, 2026
@lobsters Tail-Call Interpreters in Rust #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/22288528
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/22288528
Don't have an account? Find a server at joinmastodon.org
Aug 12, 2026
@lobsters Multistack Concatenative Programming Languages #Programming #LangDev #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/22285259
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/22285259
Don't have an account? Find a server at joinmastodon.org
Aug 8, 2026
@lobsters Almost consensus: ABD and the edges of quorum replication #DistributedSystems #ComputerScience #Consensus
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/22284746
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/22284746
Don't have an account? Find a server at joinmastodon.org
Aug 7, 2026
@hackernews Ask HN: Any tips for a college freshman enrolled in 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/22278931
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/22278931
Don't have an account? Find a server at joinmastodon.org
Aug 1, 2026

« Newer Older »