frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Build Systems à la Carte (2018) [pdf]

https://www.microsoft.com/en-us/research/wp-content/uploads/2018/03/build-systems.pdf
48•djoldman•3d ago

Comments

cosmic_quanta•5h ago
This paper is excellent for many reasons, but I want to emphasize how approachable it is. Anyone working as a developer can read this and get insights.

This stands in s t a r k contrast to other disciplines (e. g. Physics) where papers are usually ultra dense, making it hard to read even for subject-matter experts.

triknomeister•5h ago
If physics paper were not dense, they would be 400 pages long. It's still hard to read but in a different way.
user_7832•4h ago
It's also the language. This paper is written in a way I can easily skim through it and google whatever specific term I don't know. And I'm not even a software or IT professional and don't know what MAKE is.
wk_end•4h ago
Physics is a hard science. Software development is applied engineering. I’m sure there are applied engineering fields adjacent to physics where papers are fairly readable by practitioners.

Most developers would struggle quite a bit to read typical theoretical computer science papers.

pxc•2h ago
Computer science is a formal science with empirical elements, as much as I'd like to think of it as a branch of mathematics. I'm not sure what to make of "software engineering" or "software development", academically, but it doesn't really seem to be applied engineering; software engineering students don't study general engineering and then apply it to software, and finally layer some software-specific focus on top. And most developers are still nominally trained in "computer science" rather than "software engineering" or "software development" anyway!

Rather than engineering, the academic discipline of software engineering grows out of computer science, which was born as an area of interest in mathematics. It shows! Because most developers who prepare for their jobs by their choice of major in school typically study computer science, let's consider a typical curriculum: a tiny bit about how hardware works, a small amount of "low-level" software stuff in a class where students work in assembly language, some management science-ish stuff (typically part of the software engineering classes, focused on the development lifecycle, development methodologies, etc.), and a little bit about "design patterns", which is engineering-y but often more qualitative than quantitative in nature. You can often get cross-listed credit for some electrical and computer engineering electives, but they're very much optional. (And many schools don't even have a software engineering program per se, only a computer science program.)

To the extent that software engineering even is a theoretical discipline that can be "applied" on the job, it doesn't share much, ancestrally or methodologically, with engineering. The most they really have in common is that they are broadly speaking puzzle-solving disciplines that often rely heavily on fairly sophisticated formal reasoning.

> Most developers would struggle quite a bit to read typical theoretical computer science papers.

This is probably true, though, perhaps especially because even those who study computer science as undergraduates don't aim to be computer scientists. Their emphasis is reflected in their electives, and they don't continue to study computer science once they join the workforce.

Is this unusual? Can most nurses not only competently but effortlessly read and understand the research output of working medical scientists? Can a one-time biology major typically read and understand contemporary research on micro-organisms without "struggling quite a bit"?

moffkalast•2h ago
Or you know, computer science papers. They're all science and no computer.
webdevver•1h ago
Most of what we call "computer science" today is nothing more than digital carpentry.
mhh__•18m ago
perhaps although this is a fairly cutesy paper and there are cutesy physics papers too
mschwaig•4h ago
I wrote a paper about how I think trust should work for software dependencies.

It very much builds on the hash-based cache lookup mechanism this paper calls constructive traces (in contrast to what they call deep constructive traces) to eliminate transitive trust relationships.

https://dl.acm.org/doi/10.1145/3689944.3696169

esafak•3h ago
Co-author Simon Peyton Jones is an ACM Fellow known for the Glasgow Haskell Compiler. https://en.wikipedia.org/wiki/Simon_Peyton_Jones
mkleczek•1h ago
Neil Mitchell is also an author of Shake which is based on this paper.

Buck and Buck2 from Meta are descendants. Buck2 is an excellent piece of software. Too bad it is still niche.

Local-first software: You own your data, in spite of the cloud

https://www.inkandswitch.com/essay/local-first/
330•gasull•4h ago•77 comments

Local-First Software Is Easier to Scale

https://elijahpotter.dev/articles/local-first_software_is_easier_to_scale
83•chilipepperhott•3h ago•29 comments

Europe's first geostationary sounder satellite is launched

https://www.eumetsat.int/europes-first-geostationary-sounder-satellite-launched
116•diggan•4h ago•21 comments

Speeding up PostgreSQL dump/restore snapshots

https://xata.io/blog/behind-the-scenes-speeding-up-pgstream-snapshots-for-postgresql
20•tudorg•2h ago•0 comments

X-Clacks-Overhead

https://xclacksoverhead.org/home/about
147•weinzierl•3d ago•26 comments

'Positive review only': Researchers hide AI prompts in papers

https://asia.nikkei.com/Business/Technology/Artificial-intelligence/Positive-review-only-Researchers-hide-AI-prompts-in-papers
120•ohjeez•3h ago•64 comments

Seine reopens to Paris swimmers after century-long ban

https://www.lemonde.fr/en/france/article/2025/07/05/seine-reopens-to-paris-swimmers-after-century-long-ban_6743058_7.html
27•divbzero•1h ago•7 comments

Being too ambitious is a clever form of self-sabotage

https://maalvika.substack.com/p/being-too-ambitious-is-a-clever-form
571•alihm•22h ago•170 comments

Optimizing typography of insect labels using free fonts and free software (2012) [pdf]

https://www.akentsoc.org/doc/Bowser_ML_2012.pdf
16•exvi•3d ago•0 comments

The Moat of Low Status

https://usefulfictions.substack.com/p/learn-to-love-the-moat-of-low-status
283•jger15•3d ago•111 comments

Just Ask for Generalization

https://evjang.com/2021/10/23/generalization.html
16•jxmorris12•1d ago•1 comments

Gecode is an open source C++ toolkit for developing constraint-based systems

https://www.gecode.org/
49•gjvc•10h ago•11 comments

Mini NASes marry NVMe to Intel's efficient chip

https://www.jeffgeerling.com/blog/2025/mini-nases-marry-nvme-intels-efficient-chip
412•ingve•1d ago•202 comments

Heart attacks aren't as fatal as they used to be

https://www.vox.com/future-perfect/418849/heart-attack-deaths-cardiovascular-disease-progress-medicine
44•lr0•3h ago•41 comments

Happy Birthday, GamingOnLinux – 16 years today

https://www.gamingonlinux.com/2025/07/happy-birthday-gamingonlinux-16-years-today/
65•diggan•4h ago•5 comments

A new law in Sweden makes it illegal to buy custom adult content

https://www.euronews.com/next/2025/06/22/takes-away-our-safest-option-adult-creators-react-to-law-banning-online-sex-purchases-in-s
6•diggan•26m ago•1 comments

Haskell, Reverse Polish Notation, and Parsing

https://mattwills.bearblog.dev/haskell-postfix/
9•mw_1•3d ago•2 comments

Build Systems à la Carte (2018) [pdf]

https://www.microsoft.com/en-us/research/wp-content/uploads/2018/03/build-systems.pdf
48•djoldman•3d ago•11 comments

Numerical Electromagnics Code (NEM)

https://www.nec2.org/
13•hyperific•2d ago•5 comments

How to not pay your taxes legally, apparently

https://mrsteinberg.com/how-to-not-pay-your-taxes-legally-apparently/
4•jimhi•50m ago•1 comments

Problems the AI industry is not addressing adequately

https://www.thealgorithmicbridge.com/p/im-losing-all-trust-in-the-ai-industry
121•baylearn•8h ago•130 comments

QSBS Limits Raised

https://www.mintz.com/insights-center/viewpoints/2906/2025-06-25-qsbs-benefits-expanded-under-senate-finance-proposal
31•tomasreimers•7h ago•11 comments

The History of Electronic Music in 476 Tracks (1937–2001)

https://www.openculture.com/2025/06/the-history-of-electronic-music-in-476-tracks.html
95•bookofjoe•2d ago•28 comments

Why I left my tech job to work on chronic pain

https://sailhealth.substack.com/p/why-i-left-my-tech-job-to-work-on
348•glasscannon•1d ago•215 comments

Telli (YC F24) Is Hiring Engineers [On-Site Berlin]

https://hi.telli.com/join-us
1•sebselassie•12h ago

Incapacitating Google Tag Manager (2022)

https://backlit.neocities.org/incapacitate-google-tag-manager
202•fsflover•1d ago•137 comments

EverQuest

https://www.filfre.net/2025/07/everquest/
253•dmazin•1d ago•142 comments

macOS Icon History

https://basicappleguy.com/basicappleblog/macos-icon-history
4•ksec•3h ago•0 comments

A 37-year-old wanting to learn computer science

https://initcoder.com/posts/37-year-old-learning-cs/
112•chbkall•10h ago•107 comments

OBBB signed: Reinstates immediate expensing for U.S.-based R&D

https://www.kbkg.com/feature/house-passes-tax-bill-sending-to-president-for-signature
371•tareqak•18h ago•298 comments