emil-lp

13 ms·

271.
by emil-lp 1y ago
Is the budget for the PSF open?
272.
by emil-lp 1y ago
Ah, the weight of a dumbbell, so between 1 and 40 kg.
273.
by emil-lp 1y ago
Theology is a "science" in the same way as social science is a science. They don't use the scientific approach as defined by Popper, but they still try to find out stuff in the best possible way.
274.
by emil-lp 1y ago
... (2016) 9 years ago, 365 points, 101 comments https://news.ycombinator.com/item?id=13215590
275.
by emil-lp 1y ago
Grammarly is a powerful writing assistant that offers grammar, punctuation, and style suggestions to improve your writing. It’s an essential tool for maintaining your unique voice in a world filled with generic, LLM-generated content. With
276.
by emil-lp 1y ago
Norway isn't in EU, though.
277.
by emil-lp 1y ago
> I don't understand why SAT solvers don't use gaussian elimination more. These are the types of questions that can easily be answered by simply trying.
278.
by emil-lp 1y ago
It's not very difficult to turn a CDCL solver into an ALL-SAT solver, and there are many publications available doing exactly that.
279.
by emil-lp 1y ago
Because you can encode many (actually all) problems as a SAT instance, and the answer to that sat instance can be translated into an answer for the original problem.
280.
by emil-lp 1y ago
> ... SAT solvers only really seem to be good at Sudoku. This is really not true. SAT solvers are really good these days, and many (exact) algorithms (for NP-hard problems) simply use some SOTA SAT solvers and are automatically competi
281.
by emil-lp 1y ago
6am or later for most of Europe is not middle of the night.
282.
by emil-lp 1y ago
Let's say 130kg (80kg driver + 50kg bike) going 30km/h (e-bike limit) is ~1.25Wh.
283.
by emil-lp 1y ago
Related: John Searle has died (Oct 2025) 146 points, 216 comments https://news.ycombinator.com/item?id=45563627
284.
by emil-lp 1y ago
These jokes are always of the form "we are in a superior group who know things those outside the group don't". In this case: "allergies and intolerances are made up stuff for weaklings, haha".
285.
by emil-lp 1y ago
Bat is a file viewer that supports syntax highlighting and reads git status to also annotate added/deleted/changed lines. The classic file viewer for a terminal is cat (or less).
286.
by emil-lp 1y ago
You got to love mathematics. A presentation about the beauty of illustrating mathematics. Presented in a 4:3 themeless beamer. +1
287.
by emil-lp 1y ago
You can buy an air purifier, like IKEA FÖRNUFTIG.
288.
by emil-lp 1y ago
Previously 71 comments https://news.ycombinator.com/item?id=39974646 16 comments https://news.ycombinator.com/item?id=29672733 18 comments https://news.ycombinator.com/item?id=29672733
289.
by emil-lp 1y ago
Searle famously argued that the treatment of landlords in Berkeley was comparable to the treatment of black people in the south ...
290.
by emil-lp 1y ago
It wouldn’t have, since fib(n-1) + fib(n-2) isn’t a tail call—there’s work left after the recursive calls, so the tail call interpreter can’t optimize it.
291.
by emil-lp 1y ago
Simon is a salesman. Obviously he knows how to phrase things.
292.
by emil-lp 1y ago
abbreviation ass.coding.
293.
by emil-lp 1y ago
Yes, it's not like the ole days when nobody argued semantics
294.
by emil-lp 1y ago
> “The updates made in no way impact or affect the substantive content, findings and recommendations in the report,” it stated in the amended version. Well, then ...
295.
by emil-lp 1y ago
Actually no-one can see a bubble, that's what makes it a bubble.
296.
by emil-lp 1y ago
I don't know if this is common, but at the hospital I work, if I type 1+code as my access code to any door, the door will open, but security will receive an alert as suspected hostage situation. I've always wondered if an adversar
297.
by emil-lp 1y ago
Most of the examples are "embarrassing" or annoying, and could perhaps ruin a relationship. But regardless of the memory setting in ChatGPT, I guess law enforcement can acquire all your chat logs from OpenAI. I guess what I'm
298.
by emil-lp 1y ago
I started writing a book as a form of procrastination, and after I had written the first (exceptionally bad) draft, suddenly finishing that book rose to the top of the list. Haven't worked on it since.
299.
by emil-lp 1y ago
Related: Ambigrammia https://news.ycombinator.com/item?id=44692118
300.
by emil-lp 1y ago
You completely miss the point twice over. The REPL example intends to show what the program does, not whether or not something is intuitive for you. Second, using your same argumentation, >>> 010 + 006 == 14 True Is al

More ›