HN user

bordercases

1,006 karma

I want to do real science, mathematics, philosophy and engineering. But I code websites.

Posts17
Comments781
View on HN
github.com 1y ago

Jp: A Simpler Jq, and with JSONPath

bordercases
18pts0
news.ycombinator.com 2y ago

Ask HN: How does the idTech 7 engine achieve its level of performance?

bordercases
1pts0
www.bloomberg.com 2y ago

Ghost in the Machine: How Fake Parts Infiltrated Airline Fleets

bordercases
2pts0
web.stanford.edu 5y ago

Conversational Implicature: An Overview [pdf]

bordercases
21pts0
atdt.freeshell.org 5y ago

Making Emacs Stand Up to Visual Studio 7 (2003)

bordercases
3pts0
www.vishalchovatiya.com 6y ago

How do C programs convert into assembly?

bordercases
1pts1
news.ycombinator.com 6y ago

Ask HN: What books are respected in your field, that aren't written for laymen?

bordercases
1pts0
www.pnas.org 7y ago

Physical cryptographic verification of nuclear warheads

bordercases
1pts0
news.ycombinator.com 8y ago

Ask HN: What parts of software engineering can be quantified?

bordercases
2pts2
news.ycombinator.com 8y ago

Ask HN: What books have helped you make money?

bordercases
13pts6
www.amazon.com 10y ago

Systematic Program Design: From Clarity to Efficiency

bordercases
1pts0
www.facebook.com 10y ago

Calculating Precision: Thoughts on Dijkstra’s Formal Methods

bordercases
1pts0
news.ycombinator.com 10y ago

Ask HN: What steps should I take to have a satisfying career in design?

bordercases
1pts0
www.ellerman.org 10y ago

Double-Entry Accounting: The Mathematical Formulation and Generalization [pdf]

bordercases
3pts0
news.ycombinator.com 10y ago

Ask HN: How do I seek work as a self-trained programmer?

bordercases
5pts1
news.ycombinator.com 10y ago

Ask HN: Do you consider yourself to be evil?

bordercases
7pts18
news.ycombinator.com 10y ago

Ask HN: CTM gave CS the “kernel language”. Is there a “kernel database”?

bordercases
27pts18

If parasites were widespread amongst human beings, would those infected humans have incentive to study them?

We are likely biased and can't imagine how we are biased because of the infection! Yet the over-under for an individual is clear: try the medication and find out!

Many of these arguements are moot – because for any top-down function definition technique, the How to Design Programs recipe covers virtually all the bases.

- https://course.ccs.neu.edu/cs2500f18/design_recipe.html - https://cs110.students.cs.ubc.ca/reference/design-recipes.ht... - https://docs.racket-lang.org/htdf/index.html

Between a signature, purpose statement and examples, you've declared most of what documentation provides short of a longer contextual statement of the functions role in a codebase.

For larger modules there is How to Design Worlds.

- https://world.cs.brown.edu/1/htdw-v1.pdf

Presumably if publishers were actually pressuring Microsoft to make a child-safe device, they'd have come up with a more advanced protection mechanism than that.

They did. For the next generation. They updated their model of "child safe".

UI = f(statesⁿ) 2 years ago

This is the drive behind comonadic UI frameworks in functional programming - streams of mutual recursion.

Infinite Craft 2 years ago

I’m guessing is autogenerated by LLMS completions, it’s non deterministic.

Clogs the priority queue with trivial comparisons that are still necessary to make. If its really valuable it will come up again until a person that really does need it pays for it in labour money and so on. The issue can be archived and made a live option again anyway.

Quality of life improvements fall by the wayside in this model, but that is a separate degree of motivation.

Do you know for sure they meant only those quantum effects which operate near or at the classical limit?