skysight-inc/HackerNews huggingface dataset:
Very interesting, thanks for sharing.

I followed the two links from the comment on SE making the claim that Church's choice of lambda was completely arbitrary (pun intended). The first one doesn't seem to work, and the second one is a 2m youtube clip of Dana Scott talking about the subject.

I watched the video, the audio is a bit hard to make out in parts, and I'm left thinking the SE commenter interpreting Dana Scott, who you quote fully there, is overstating the case somewhat. Perhaps the claim should be moved from "likely true" to "somewhat uncertain", but not in any way "debunked" as the commenter says. Debunking means providing conclusive evidence against a claim, that any reasonable person would be obliged to agree with. Here we have an interesting and relevant anecdote, but it's still anecdotal, unfortunately.

Scott says a couple of things which are clearly audible that are relevant:

1. He asked John McCarthy personally why Church chose lambda, and McCarthy said he'd no idea,

2. Church never talked about the lambda calculus when he (Scott) was at Princeton, and

3. John Addison, Church's son-in-law, told Scott that he (Addison) wrote Church a postcard in which he asked him where he got lambda from, and that Church sent the whole postcard back to him with "eeny, meeny, miny, moe" written in the margins.

So I'm very happy you shared some more information on the subject, but I feel a conscientious biographer, for example, would be forced to include Scott's and Barendregt's theories and say that without confirmation from Church himself the matter is hard to decide. If anyone has a relevant quote from Church, I'd love to see it, but I presume it mustn't exist if Scott is so convinced there's no link.

I'm tempted to also point out more generally that all symbols are esoteric if you go back far enough, so I don't know if your particular quest could ever have been satisfied. In any case, I learned French beore Lisp, so I did have the experience of going, "oh, like in French? Why is that, I wonder?".
The lack of object permanence is fairly interesting if you turn 360 deg
A lot of it probably comes down to the amount of data you feed its algorithm right. If you train a lot (70+ miles of running per week), log absolutely everything, and wear the watch 24/7 then it's going to give you far better estimates than someone who just puts the watch on to run twice a week.
Yeah, no way that this undermines the security of families, reduces parenting investment, erodes stability and is generally yet another layer of parasitism on society.

I’m sure this will be fine.

Thank gods my parents were wise enough to buy land and homestead the frontiers when it was still possible for the working class to do so.

Buy land if you can, people. Not houses, land. You can always build a house. You can’t build land.

At least in many parts of the USA it’s still possible for many to buy land in lower demand rural areas if you are very careful with your living expenses. It might not be in the ideal place, but owning land makes it the best place. My preference is for land with few zoning restrictions and a low tax burden, since it might sit unused for a while.

I was able to build a (tiny) house on my parents property using scraps I got from doing free demolition work when I was 16-18. I have parlayed that one advantage of never having to pay rent into a relatively prosperous life despite only modest successes. Not having a huge monthly bill pays compounding dividends over a lifetime if you invest that money into things you own instead of borrow.
I just focus on the trend rather than the value. Last year, after being infected by two viruses in parallel my vo2max plummeted from ~55 to 40 in a month. It correlated with how I felt, like 15 years older. It took me six months to get back to 55, and then it stayed around that value quite consistently, viruses or not.
> The HP50g that came much later is better in every respect

Absolutely not. The big fail on everything after the 48SX was the keyboard.

I could sit in an exam and punch buttons without even looking at the calculator. I could feel the positive "click" from every single keypress, and I don't remember my 48SX ever dropping a keypress for any basic operation.

By contrast, the 49/50 series had mushy keyboards that bounced or failed to register presses. I still have 3 48SX calculators that I can use--I sold all my 49/50 series.

The excellent keyboard is bar none the big feature that I can't duplicate with any modern calculator.

I really wish some mechanical engineer would do a teardown on the old HP calulators and analyze why the keyboards were so damn good.
Miles and miles of lawns
Men worrying about leaves
Thoughts drip in early morning
Robot dog or rakes
The smiling man
Sits and knows
To not is zen
Does it let you bring your own .a/.lib and statically link it into the final product? In .NET you can pass DirectPInvoke + NativeLibrary build properties and link with anything provided the imports don't conflict (because at the final step it's the system-provided linker that statically links together the components nativeaot binaries comprise of, so you are effectively just adding another compilation object).

For example, I can take a mimalloc.lib/.a, link it into the binary and the pinvokes into its mi_malloc, mi_realloc, etc. will all be just direct calls + branch checks for GC poll if applicable (well, you need to suppress gc frame transition but it's still about three steps in total). It will be just a single static bundle at the end.

I know that conceptually GraalVM Native Image and NativeAOT are similar tools, but they mostly seem that way at a distance and at closer inspection they only partially overlap, much like C# and Java themselves do.
The RNA doesn't express fear - it expresses that this is a type of cell that goes in a certain place in the neural circuit that expresses fear.
I will read up some more, thank you.
Sentient Advocate of Nature [video]
That settles it then. Let's remove all the innovations of the past 30 years that have allowed the web to deliver rich user experiences, and leave developers to innovate with static HTML alone. Who needs JavaScript and CSS anyway?

Seriously, don't you see the incongruity of your statement?
> Largely due to java VMs wanting ram pre-assigned for each

Do you mean the JVM min heap size was rather later? Otherwise, there is no need for a very large min heap size on a modern JVM (11+).
There is no possible way to solve anything in this problem space without triggering developer PTSD. The implementation is not at fault.

(See npm or the clusterfuck of Python packaging for proof.)
OpenAI's o1 model leaked on Friday
Who Will Monitor the Monitor? (2010)
I agree, I absolutely hate reading basically everything other than novels/non-fiction narratives in epub. All the work they did laying out the pages is just thrown away! Trying to read any sort of instructional book as an epub is straight up infuriating.

I work for a children's reading platform, and the book publishers universally send us PDFs of everything. We have a bespoke system to convert the PDFs into SVG for higher flexibility and added interactivity.

Literal Kids board books are getting a better treatment!
Part of this is that books and screens are not interchangeable pieces of technology. Books are still supreme when it comes to reference material and lookup speed but each page needs static typesetting. Screens are more fragile, expensive, generally smaller, with lower contrast and/or resolution, but they allow a fully flexible display with variable font sizes, the ability to scroll half way between pages etc. A PDF on a screen is all of the downsides of books with none of the upsides of screens.
It's fascinating how walking backward will completely make it forget the previous locations and sometimes even change biomes entirely. Anyway it's still insane that we can do all of this in real time.
Towards Universal Direct Connections
Making your own is fun, though.
Yup, but as I said, it's nice to not focus on a single number. FTP doesn't tell how well I can recover after a hill at 120% of ftp, so even though I work on increasing my ftp, it's nice to keep in mind other aspects as well. Both vo2max, but also just how I feel when doing it, how my heart rate is during comparative rides, or even how well I'm fueling.
Lost Maya city discovered in Mexico
I’m getting my course of it now. I’m a ~30 year old man in the US. Maybe other countries haven’t expanded access?

My doctor recommended it to me and it was covered by insurance. They said while it cannot protect you from previous exposure it’s pretty wide so it’s unlikely I have yet to encounter every HPV variation it protects against.
> Most teams/products I have been involved in, the stack always grows to the point that a dev can no longer test it on their own machine, regardless of how big the machine is.

It doesn't have to be like that. I've worked on a 10MLOC codebase with 500+ committers - all perfectly runnable locally, on admittedly slightly beefy dev machines. It's true that systems will grow without limit unless some force exists to counter this, but keeping your stack something you can sanely run on a development machine is well worth spending some actual effort on.
Capitalism has no problems creating more living space - when it’s not being strangled by building codes which specifically prohibit building more living space.
In this case, the reason might be that it needs WebGPU, which is only available in chromium based browsers. Changing my user agent doesn't let me in either. Text selection being disabled might be a "lazy" fix for text being selected while in game.
Readers beware: Peter Lustig is infamous for making up conclusions and citing papers that do not support his claims.
Would steer clear of everything that involves his name.

See eg his wildly debunked claims on hubermans podcast.
and exactly where should these refugees have gone to instead? you think the situation is better anywhere else?

the problems you mention are not unique to germany. and yes, it baffles me why no country can recognize that the only way to solve those problems is to put more resources into education. but denying refugees a save harbor is not going to improve your life one bit. those two issues are completely unrelated to each other.

the question is that of a general attitude towards others. people who favor their own over refugees tend to also favor them over their neighbors, and when that happens we have a problem.

let not a man glory in that he loves his country; let him rather glory in this, that he loves the world.
Or walk very close to something and then look away.
> Blood sugar monitoring with CGM is extremly expensive

I did check the prices before, it's about $100 a month (although I'm not in the US, maybe it's more there?). But you don't need to do it forever. A couple of weeks is probably enough to learn which foods to avoid.

$100 on preventing yourself from getting diabetes later in life is a steal, and for many people seeing the proof that yes, chocolate cake really does spike your blood sugar to dangerous levels, might be the final push to make real lifestyle changes.

> potentially flaky

Why do you think that? All the ones I've seen are advertised as FDA approved devices.

I expect that in another few years smartwatches will be able to mention it and suddenly it won't seem weird at all, everyone with a watch will be doing it.
> Uh, what? What man pages are you reading?

Every single man page out there leads to a user experience that is at best subpar.

> One of the reasons Stack Overflow is so popular is that people who can't/won't read docs can use it to have answers spoonfed to them (...)

Pause and look at what you're saying. Your only criticism of SO is how it improves the task of providing meaningful information to users.

The way you opt to spin improvements to user experience as "spoonfed" speaks volumes of your inability to understand the problem and the value you place on gratuitous ladder-pulling. You even contradict your remarks on man pages.

> Reading isn't a singular skill— each genre requires its own skills (...)

No. Writing is a skill. Producing content that the target audience is able to consume and brings value is a skill. The moment you, as a end-user, feel the need to hunker down and decipher arcane texts is the moment you should realize the documentation is bad.

Again, Stack overflow is widely used as ad-hoc crowd-sourced documentation for a reason. Some project maintainers even go as far as to make it their own channel to provide technical support. Why so? Do you honestly believe its because the whole world is not smart enough to read man pages?

Again, those who do not waste their time on man pages are the smart ones who put their own time to better use.
That’s correct: Albertsons is responsible for upholding the deed restrictions, and can use any legal means to do so. The regulators could have said that a monopoly has grown too big to enjoy good standing in court, but instead of that they chose a small fee.
do you have reason to believe it should be higher?
They can also challenge their assessment and file an appeal. I'd guess that this is a tool they can leverage to possibly get lower rates.
>(It thinks) I can do a 42min 10k

Impressive, going over 14km/h (~4m/s) sustained is no joke. Many folks would just cramp out at that point. OTOH, Garmin's "body battery" seems quite accurate for my spouse
Just like being in a dream. Trying to run towards "that hill over there" only for it to get further away as you take each step, or it disappear when you take your eyes off it for a second. It's astonishing to have that very private experience (that I've never really put into words or shared with another person) be rendered in front of me by a neural net.

Watching this era of AI advancement play out is like stepping through a museum of the inner workings of your mind.
Here's the famous XKCD radiation dosage chart for scale: https://xkcd.com/radiation/ . The highest scale in the chart, the yellow boxes, represents 50 Sieverts, of the dosage received from standing next to the Chernobyl core for ten minutes just after meltdown. A conservative estimate is that one launch on this thing would expose the crew to 5000 Sieverts, or 100 Chernobyls worth. Furthermore, we've sen how simple atmospheric nuclear testing irradiated the entire planet for half a century (see the Kodak film story and low-background steel), any prolonged use of this thing would have caused cancer rates to (ahem) skyrocket worldwide due to distribution of nuclear fallout into the atmosphere.

Let's not romanticize stupid ideas. Leave this one in the dustbin of history.
I feel like even if I try to write neatly, it’s like my hand has forgotten how
No, floppies are not IDE

They're this weird interface that sends data byte by byte IIRC (or even worse)

Not IDE, it has none of its smartness
I wish there was something that helped me sleep longer. I have zero issues falling asleep, but only get 6-7 hours if I’m lucky. I’d rather get 8-9 hours every night.
The absolute value does matter for several reasons, but the obvious one that sticks out is in understanding the effectiveness of your training.

Example: if your real max is 60, but your watch says 50, you may be wondering why hard training isn’t increasing it.

Another example: if your real max is 35 but your watch says 45, you may misinterpret the signal when it jumps to 55 relatively quickly after a few weeks of hard-ish work.

Plus, if the value is significantly inaccurate then who knows what else is inaccurate about it? I appreciate that Apple have put effort into making it accurate.
> You can't compare Microsoft to your run-of-the-mill small (or even large) software shop, though.

I'm talking about how Microsoft added support for connected services to Visual Studio. It's literally a tool that anyone in the world can use. They added the feature to address existing customer needs.
Accuracy-Performance Trade-Offs in LLM Quantization
"...We present a comprehensive empirical study of quantized accuracy, evaluating popular quantization formats (FP8, INT8, INT4) across academic benchmarks and real-world tasks, on the entire Llama-3.1 model family. Additionally, our study examines the difference in text generated by quantized models versus their uncompressed counterparts. Beyond benchmarks, we also present a couple of quantization improvements which allowed us to obtain state-of-the-art accuracy recovery results. Our investigation, encompassing over 500,000 individual evaluations, yields several key findings: (1) FP8 weight and activation quantization (W8A8-FP) is lossless across all model scales, (2) INT8 weight and activation quantization (W8A8-INT), when properly tuned, incurs surprisingly low 1-3% accuracy degradation, and (3) INT4 weight-only quantization (W4A16-INT) is competitive with 8-bit integer weight and activation quantization..."
Thanks for the feedback. @7bit
I went for lifetime access because I personally am trying to cut down on my subscriptions and in the long run subscriptions cost more. But I can definitely give it a go. Do you have any other suggestions?

Also, totally understand the price point. I felt the price was fair given the pay once and have forever deal but I can adjust that. What would you pay?
If this is is still a problem thirty years after the invention of the web, then I say: So much the worse for mathematical notation. In the future, mathematical ideas will be expressed in other ways.
YouTube even provides a feature to automate A/B testing thumbnails now: https://support.google.com/youtube/answer/13861714
Apple offers Indonesia US$10M sweetener to reverse its iPhone ban
Top to bottom is usually the best way to go, especially read first abstract & introduction, but don't be afraid to skip sections if they seem unclear or you just don't understand what they are trying to tell you.

These days, you could put the paper into NotebookLM, and generate a podcast, that will generate something friendly, but might be partially wrong or skip over essential stuff.
Let's quibble!

The phrase "A as B" tends to imply that "A" came temporally and causally first, then "B" was generated from "A" somehow. "B" is some kind of view, summary or transform of "A".

So I read "diagram as code", as that we have a diagram, and we are going to interpret it as code. We start with a diagram, and get code. A lot of visual programming type projects are in fact, diagrams as code.

Similar to the traditional text as (isomorphic to the) code (it is transformed into).

But "code as diagram", is what we have here. We are viewing the code, which came first, as a diagram which summarizes it. In a lossy but useful way. The diagram cannot be executed, so there is no diagram (acting) as code.
It also covers futures on motion picture box office performance, the onions of a new generation.
I'm a happy Zola [0] user, which does everything you mentioned except LaTeX.

There are a few themes [1], though I ended up writing my own [2] (which supports MathJax [3] for mathematical notation).

[0]: https://www.getzola.org/

[1]: https://www.getzola.org/themes/

[2]: https://github.com/welpo/tabi

[3]: https://www.mathjax.org/
People can't live inside Kubernetes pod, unfortunately :) . The problem is not technical, it's regulation in three ways - 1) regulations restricting building new housing altogether (USA and Commonwealth issues especially, due to obsession with detached homes and zoning). 2) increasingly long times to obtain all permits (Australia issue and likely many others), 3) economic downturn which is also a type of regulation.
Thanks for making this playable. I have seen videos of it, but thought I had to wait for years until I can experience it.

The future will be wild. "Hey ChatGPT, lets play Counterstrike on the Enterprise-D. Counter-Terrorists agains Spongebobs"
Proud to be the sanest person I know. What does that tell you?
All luxury sailing yachts to a rounding error have wet exhausts below the waterline.
Similar for me, but I've also not really seen my behavior influence it too much. I clearly have better and worse weeks / months, where I might walk at 10min/km and require a 90-95 HR to do that, and worse months where I'll only walk at 11min/km and end up in the 100-110 HR range, but it's not like my exercise levels or weight or nutrition or anything would differ much between the two, they are all very consistent. Likewise when I increase cardio training I don't see any correlated change in VO2max. That also makes sense, as VO2max is famously difficult to train.

I suspect for me and probably many others in the "acceptable fitness level" category the main factor influencing what ends up being reported as VO2max is stress, both physiological and psychological. That correlates real good. At least for me.
In my experience, the VO2Max estimator for Garmin tends to produce higher estimates when doing quite slow runs and gradually building up speed, whereas intervals sessions will lead to a lower estimate. From reading their white paper they fit a curve to the heart rate reserve vs pace relationship, but I think they account for heart rate lag using population averages, which means they'll often think (for me at least) that I need a very high heart rate for a slow pace after intervals which biases the estimate down. If one starts slow then builds up speed gradually, the aerobic system is more warmed up which leads to less elevated heart rate. Also, keeping the run short-ish will lead to higher estimates since heart rate drift seems not to be taken into account.

All considered, the variance is quite high which in my experience does not make it that useful to track relative fitness changes.
Yeah only for 5km though. I can't run a marathon at that pace!
Toyota to post first profit drop in 2 years as demand cools after big run
Regulators deliver successive blows to Amazon and Meta's nuclear power ambitions
Isn't this just another case of RH (and Canonical to some extent) screwing Fedora users to make their paid offerings better? As far as I understand, this is not gonna be enabled by default on RHEL. If this is a must, it shouldn't be harder to produce two different builds or two different ISOs. People who needs profiling can grab the ISO with profiling enabled. Us regular folks can use the one without.