Submissions from cmu.edu

		Can Advanced Type Systems Be Usable? [pdf] (cmu.edu)
		4 points by azhenley 1 day ago \| past \| discuss
		Are You Sure You Want to Use MMAP in Your Database Management System? (2022) [pdf] (cmu.edu)
		5 points by leo_e 4 days ago \| past \| discuss
		Everything You Always Wanted to Know About Mathematics [pdf] (cmu.edu)
		2 points by gjvc 13 days ago \| past \| 2 comments
		Computational Thinking [pdf] (cmu.edu)
		1 point by sebg 16 days ago \| past
		Spatially-Varying Autofocus (cmu.edu)
		3 points by bookofjoe 18 days ago \| past
		The Psychology of Curiosity: A Review and Reinterpretation (1994) [pdf] (cmu.edu)
		3 points by wslh 29 days ago \| past
		Aerial additive manufacturing: drones to construct remote infrastructure (cmu.edu)
		2 points by giuliomagnifico 29 days ago \| past
		Learning from failure to tackle hard problems (cmu.edu)
		125 points by djoldman 30 days ago \| past \| 26 comments
		The x86 Interrupt List, aka “Ralf Brown's Interrupt List” (2018) (cmu.edu)
		104 points by surprisetalk 35 days ago \| past \| 32 comments
		Stapler knows when you need it (cmu.edu)
		2 points by rammy1234 41 days ago \| past \| 1 comment
		CMU Students Put AI Coding Tools to the Test (cmu.edu)
		2 points by azhenley 46 days ago \| past \| 1 comment
		Future Data Systems Seminar Series – Fall 2025 (cmu.edu)
		2 points by sebg 51 days ago \| past
		F3: Open-source data file format for the future [pdf] (cmu.edu)
		386 points by eatonphil 59 days ago \| past \| 125 comments
		Designer biobots made from human lung cells (cmu.edu)
		2 points by gmays 60 days ago \| past
		Designer biobots made from human lung cells (cmu.edu)
		2 points by giuliomagnifico 62 days ago \| past
		Fraudsters Use Fake Stars to Game GitHub (cmu.edu)
		5 points by PaulHoule 64 days ago \| past
		Diffusion Beats Autoregressive in Data-Constrained Settings (cmu.edu)
		72 points by djoldman 68 days ago \| past \| 14 comments
		Everything You Always Wanted to Know About Mathematics [pdf] (cmu.edu)
		3 points by Anon84 77 days ago \| past
		The AI Tool That Could Make Manufacturing Faster and More Efficient- Using Legos (cmu.edu)
		2 points by harambae 87 days ago \| past
		Lecture notes on the π-calculus and Concurrent ML [pdf] (cmu.edu)
		1 point by fanf2 3 months ago \| past
		Marital happiness = lovemaking rate – argument rate [pdf] (cmu.edu)
		20 points by jimsojim 3 months ago \| past \| 4 comments
		What Happens in the Brain When It Learns Something New (cmu.edu)
		3 points by XzetaU8 3 months ago \| past
		Word Embedding Demo (cmu.edu)
		1 point by promiseofbeans 3 months ago \| past
		Get to know the robot dog that can clean your house and serve you soda (cmu.edu)
		1 point by _p2zi 3 months ago \| past
		BCI robotic hand control reaches new finger-level milestone (cmu.edu)
		3 points by geox 3 months ago \| past
		Revisiting Clause Vivification [pdf] (cmu.edu)
		2 points by matt_d 3 months ago \| past
		AI Chatbots Remain Confident – Even When They're Wrong (cmu.edu)
		1 point by giuliomagnifico 4 months ago \| past
		When LLMs Autonomously Attack (cmu.edu)
		2 points by geox 4 months ago \| past \| 1 comment
		Future Data Systems Seminar Series – Fall 2025 (draft schedule) (cmu.edu)
		2 points by refset 4 months ago \| past \| 2 comments
		Introduction to Random Graphs [pdf] (cmu.edu)
		7 points by ibobev 4 months ago \| past \| 2 comments
		More