pcfwik

4 ms·

1.
by pcfwik 4d ago
I broadly agree with your sentiment and am saddened (outraged?) to see the financially motivated cheapening of (destruction of?) what mathematics truly is. I agree that formal logic is merely a model of one aspect of what mathematicians do,
2.
Proof And Progress In Mathematics (1994) [pdf](math.toronto.edu)
2 points by pcfwik 9d ago|0 comments
3.
by pcfwik 10d ago
It's never clear what's "real" vs. marketing for the LLM companies, but Mozilla at least has made a big deal publicly about the "unprecedented" number of "latent security bugs" they've found usin
4.
Separating Parsing Expression Grammars Using Cell-Probe Lower Bounds(arxiv.org)
1 points by pcfwik 12d ago|0 comments
5.
by pcfwik 14d ago
Knowing some folks that work on "major-browser-vendor" security in the era of Mythos-found-and-exploited vulnerabilities everywhere, the thought of running completely random untrusted Javascript on my machine has freaked me out to
6.
by pcfwik 15d ago
Also very out-of-date, but https://wiki.haskell.org/Regex_Posix#Results_and_Bugs "names and shames."
7.
An Interpretation of the POSIX regex Standard [pdf](dn790006.ca.archive.org)
1 points by pcfwik 16d ago|2 comments
8.
Regular Expression Matching Can Be Simple and Fast(swtch.com)
2 points by pcfwik 17d ago|0 comments
9.
Censured Administrations – AAUP(aaup.org)
1 points by pcfwik 20d ago|0 comments
10.
Tom Robbins' Remington SL3 Typewriter from "Still Life with Woodpecker"(typecast.munk.org)
3 points by pcfwik 23d ago|0 comments
11.
Against Curry-Howard Mysticism(liamoc.net)
3 points by pcfwik 25d ago|0 comments
12.
by pcfwik 2mo ago
I think this is a valid point. I would much prefer if the spiral rule were presented as a helpful mnemonic for remembering C operator precedence rather than something uniquely connected to declarations!
13.
by pcfwik 2mo ago
Being taught this rule in undergrad really hampered my appreciation of C. As I've said in a previous comment, the real key that unlocked understanding C declarations for me is the mantra "declaration follows use." You declare
14.
by pcfwik 2mo ago
> When I was in mathematics, reading other people's work was always more rewarding to me than doing my own. [...] I really welcome the omniscient mathematician machine people are predicting. Curious, as someone who relates strongly
15.
Industrial Society and Its Future (Text of Unabomber Manifesto)(archive.nytimes.com)
3 points by pcfwik 2mo ago|1 comments
16.
Why do we do astrophysics?(arxiv.org)
3 points by pcfwik 3mo ago|0 comments
17.
Stand and Deliver Revisited(reason.com)
4 points by pcfwik 4mo ago|0 comments
18.
An Introduction to Objectivist-C(fdiv.net)
1 points by pcfwik 4mo ago|0 comments
19.
Rewrite System Showdown: Stochastic Search vs. EqSat(arxiv.org)
1 points by pcfwik 4mo ago|0 comments
20.
Left-Leaning Red-Black Trees Considered Harmful(read.seas.harvard.edu)
4 points by pcfwik 6mo ago|0 comments
21.
Report from Vietnam (1968) Walter Cronkite [video](youtube.com)
1 points by pcfwik 7mo ago|0 comments
22.
Logarithmic Mean(en.wikipedia.org)
2 points by pcfwik 7mo ago|0 comments
23.
Jim Roskind on C Ambiguity(pdos.csail.mit.edu)
4 points by pcfwik 7mo ago|0 comments
24.
Stephenson Impersonator; Minor Update(nealstephenson.substack.com)
3 points by pcfwik 7mo ago|0 comments
25.
Designing a Programming Language for the Desert(futhark-lang.org)
2 points by pcfwik 8mo ago|0 comments
26.
250 Years Ago: Thomas Paine's Common Sense(blogs.loc.gov)
3 points by pcfwik 8mo ago|1 comments
27.
Identity Theft in AI Conference Peer Review(cacm.acm.org)
1 points by pcfwik 9mo ago|0 comments
28.
by pcfwik 9mo ago
Since this is about C declarations: for anyone who (like me) had the misfortune of learning the so-called "spiral rule" in college rather than being taught how declarations in C work, below are some links that explain the "de
29.
Fix: Externalizing network I/O in serverless computing [pdf](arxiv.org)
1 points by pcfwik 11mo ago|0 comments
30.
by pcfwik 11mo ago
Oh awesome, thanks for the pointer!

More ›