skysight-inc/HackerNews huggingface dataset:
As an ex-mathematician I was really interested to see how well o3 etc handles difficult, unseen math questions, so I tried giving it some hard-ish questions from mathoverflow [1] (mainly non-trivial questions on graduate+ level topics). It definitely isn't great and may even be more harmful than useful currently. The main issue it will never say "I'm not sure how to do this", it will almost always give a complete answer from start to finish, with 'bugs' along the way that can be very subtle.

But I found it genuinely shocking some of the steps it manages to take successfully, and it definitely doesn't feel like we're a million years from something could replace big parts of researchers' work. I honestly found some things it could do extremely unsettling as a thought-worker.

[1] https://mathoverflow.net/
Yeah I see what you mean, that does seem oddly useless. And thanks for finding the correct section.

I'd like to say we could trust the implementation and enforcement of this law to make sense and follow the spirit of existing blog comment sections rather than the letter of a law that could be twisted against almost anyone accepting comments —for most people GDPR compliance enforcement has been a light touch, with warnings rather than immediate fines— but that's not really how laws should work.
Also followed them pretty much from the start, bought all their classes, pass, but ended up not renewing this year (and probably shouldn't have last year either).

They tried to make money with their own sous vide circulator (joule) which had some good pros (very compact and works in tiny depth of water) but at least for me, infuriating cons (no screen/buttons to adjust on the fly, check remaining time, etc, must use their app for all that and with dirty hands in the kitchen, it's really not great). Mine failed early too which didn't help my impression.

Content started pivoting post joule release and now you can't even sort the recipes to see the latest they posted, if they post any. But still worth a look for the free, older content.
I've been pretty happy with my plug in hybrid, you get the convenience of charging at home so most day to day miles are electric with no carbon emissions, but without having to worry about where to charge on road trips.
> Some dogmas…

You assert this, but provide no example/s. HN isn’t a place for deep dives into this subject matter, but maybe you can outline what you have in mind?

> Being Catholic doesn’t require to be an historian, philosopher or theologian…

I agree completely.

> I am saying that reading these is an intellectual aside, overly complex at times, not a requirement, to having the faith and acting like a Christian Catholic.

Being Catholic boils down to loving God and neighbor, cultivating a life of virtue nourished by prayer and the Sacraments in Christ’s Church.

Catechesis plays a key supporting role, helping to form Christians’ understanding of God’s revelation and the various aspects of living the Catholic Faith. So I don’t understand how it’s an aside, as you say.
Theo of internet drama fame interjecting himself into the middle of it as always.
You have to admit though, there's a difference between saying "never" or "as fast".
>Maybe that’s why some people just enjoy trolling: for the novelty.

Or a most general word 'fun' ? ( yes it's a catch all...)
Even ignoring crime, a curfew probably helps the health care and firefighting sectors significantly. I can easily imagine my friend group using a blackout as an excuse for a drunken bonfire.
It is so hard to read those mailing lists, ffs
What about blatantly lying and charging customers money for things that don't even exist?

It's probably not hard to scam people out of money when you're committing fraud.
Looks to me like psycho-rigidity is a key attribute of being a kernel dev.
exactly; and i think Hellwig is on the wrong side of free software philosophy on this point. the fundamental philosophical core of free software is that the downstream user must be empowered to use the software as they see fit.
Seawater strengthens ancient Roman concrete
I also prefer RTF. I have tried to live with markdown's limitations several times. I simply cannot.

It is standard enough but I really, really wish static websites would support it. The fact that it won't creates a huge split in my universe.
Look into ESG.

This is a whole controversial world in and of itself.
I hope you take this the right way. Seeing your work gives me so much more confidence in my own creativity. I showed someone at the supply store a rough draft I had and they were encouraging, but also said I’ve never seen anything like it. Which is both possibly cool and doubtful.
Or fix a leaking faucet.
The answer is no. There are statements for which knowing if they are decidable is undecidable.
Whatever it is, Hellwig has used his freetime to maintain these modules. Usually that means that he has seen some value in that. Maybe he liked it. Maybe he hoped that he was doing some good and beneficial.

Now this change caused the total net value become negative. It was perfectly okay to express his opinions. Opinion was disliked and it is pretty okay, while sad, that he stopped maintaining it. Nothing to do with dictating.
DeepDive: In-Depth Decryption of LLMs Construction and Inference from Scratch
The changes made to help Bald Eagles have had a positive effect on all raptors - we have had a big uptick in Coopers Hawks, with several nesting in our area. They are territorial and relatively long lived so we have names for the ones we see most often. An environment that can support apex predators is generally a pretty good one!
I thought WASM intentionally didn't provide a way to manipulate the DOM? If I'm remembering right they'd still have to use javascript for part that anyway.
It's not just the retrieval, tool calls entail another call to the LLM (ToolMessage) and possibly the result will then require other tool calls. Massive latency.
I suggest emacs org mode or asciidoc
Don't Delete to Fix
>We don't fully know (and probably never will) how many genetic diversity has been lost in USA population, subspecies, etc.

I completely agree with this statement.

>I know you won't but It feels you are about to thank us humans to make bald eagle population lower so their diseases didn't spread.

What does this even mean? I simply want an accurate picture of things. Someone made a statement, someone else attacked them for it and insisted they were wrong, yet in point of fact, the initial statement was accurate. More falsehoods were then spread, and I corrected those, too.

That's 'bout it. To imply that I feel some certain way about bald eagles or species loss because I just asked for an accurate understanding around what actually happened is a bit of a stretch.
I don't understand what this is supposed to clarify in the context of what was posted.
"Do you not like money?"
Hadn't heard of it before, thanks will look into it.

For those curious https://en.wikipedia.org/wiki/Environmental,_social,_and_gov...
Git is a fairly mild insult though, roughly equivalent to calling someone annoying. I'm sure at least a few of us have thought Git (the tool) to be aptly named, from time to time.
> If you want more British people in the NHS, look first to your penurious politicians who have been outsourcing medical training to other countries as a way to further enrich the rich.

They've been doing more than that - as two of the articles show, they've been discriminating against natives in both medical education and hiring.

> Simply shutting off immigration won't fix those systemic issues, and this article is about the problems which will happen if you do that.

I rather think they don't want to fix those issues as an excuse to maintain mass immigration. Both Labour and Tory actions are consistent with that hypothesis.
> all *but* the thinking models get it wrong

don't worry it's "all but", so you are fine.
Stop Transcribing Manually! Run This Whisper Colab Script Without Local Setup
Granted, I'm not a native German speaker, but that's not my understanding of the "Impressumspflicht" law, if that's what you're referring to.

The law is mostly targeted at media and to some lesser extend businesses. The law is not enforced, and would be hard to enforce for individuals. For individuals, the law contradict multiple privacy laws, possibly the GDPR, and it might also conflict with some past rulings on the article 11th of the European Convention on Human rights. This article guarantees freedom of speech without persecutions, and one way to guarantee that is through anonymity.

My non-lawyer opinion is: people setting up an "Impressum" page on their personal websites in Germany are over-interpretating the law.

This is also the opinion of german lawyers[1]: "Impressumspflicht schön und gut - aber muss wirklich jeder Webseiten-Inhaber ein Impressum auf seiner Website führen? Ganz klar: Nein. Die Verpflichtung ein Impressum auf der eigenen Webseite einzubinden gilt nur bei geschäftsmäßigen Online-Diensten. Im Umkehrschluss brauchen Betreiber von Websites, die ausschließlich persönlichen oder familiären Zwecken dienen kein Impressum auf ihrer Homepage einzubinden."

Regardless of this, if you still want to put an "Impressum" page just to be safe, you can buy a "Postfach" from the deutsche post for ~€20/year and use that as your "Impressum" address, this way you don't have to doxx yourself.

[1] https://www.e-recht24.de/impressum/13095-impressum-fuer-die-...
I like this approach and I’m thinking I might agree. I’ve been starting with Markdown, but find myself going to HTML. At some point I end up wanting some specific thing that isn’t supported by Markdown so I need to leave Markdown for embedding a video or adding a tiny bit of interactivity (like show/hide), so sticking with HTML throughout is nice.
It had not occurred to me that a VS Code Theme was a full blown extension, since I've never installed one. I wonder if a lot of people have a mental model of a VS Code theme as a collection of CSS files, which should be relatively safe (even including those that install them).
Also, as an old person, I will tell you that 1) I got my first personal computer in 1979 and have been trying to keep my bon mots archived ever since. I have tried a million things and have learned one key lesson: It's not really worth it.

I literally have a footlocker filled with old disk drives (remember, since 1979!) and I have never, ever gone back more than a few years, hell, more than a year.

Now that disks are big, I keep a lot of old stuff. I have, eg, screenshots dating back to 2015. Email before then. And so so much more.

I have never gone back more than a few years.

I will continue to archive because I must but, Old Person to Young People... Don't put too much effort into long term availability. It's not a good investment.
> Getting another pair of eyes on the code that you wrote is useful, but it's not free (effort, tolerance) and it's not for everyone.

Yeah, but to be fair I would argue that in the limit, real code reviews end up looking a lot like pair programming, and you can avoid a bunch of back and forth by both people being present during development.

Obviously you still need code review (for regulatory reasons in a lot of cases), but the amount of times I've ended up on a Zoom talking through mine and others PRs makes me believe that pair programming would help here.
> Society as a whole

As long as we won't have to pay 2 USD for an extension!
I have a very close friend who's Chilean but grew up in Brasil after his family immigrated to escape Pinochet. Overall, Chile is exceptionally safe by South American standards, especially outside Santiago (which has all the perks and challenges of any large city).
Actually its a little more nuanced:

Operation Type|Mamba Complexity|Transformer Complexity

Training(per iteration)|O(L)|O(L^2)

Autoregressive Inference(per step)|O(T)|O(L)

Memory Requirements|O(C)|O(L)

Where: L stands for the sequence length. T denotes a fixed constant that accounts for compression and selection time in Mamba's autoregressive inference. C reflects the fixed size of the SSM (State Space Model) latent state in Mamba

Per: https://github.com/state-spaces/mamba/issues/196
I think they're mixing the GH web ui with the syntax. You can paste an image right into the editor and it does a really good job of inserting it right where you need to. It is really good UX that I miss when editing markdown locally. Obsidian also does a decent job, but not quite as smooth.
Wow, that player seems to work really well. The music played almost instantly.

Would it be that responsive for long tracks?
University of Minnesota expelled a grad student for allegedly using AI
All those people sitting in the middle of the road blocking work traffic aren't endearing anyone to their cause.
oklch should be an incredibly minor to unmeasurable performance hit, even on a 7 year old chromebook. Nor should it affect the displayed output. It's just a better color picker syntax.
I would like to see a 5th rule: Don't assume a question is an X/Y Problem just because you lack context.

Because this happens basically every single time a ask a question online without including a doctoral thesis on my project's history, constraints and goals.
We tried something similar and found much better results with o1 pro than o3 mini. RAG seems to require a level of world knowledge that the mini models don’t have.

This comes at the cost of significantly higher latency and cost. But for us, answer quality is a much higher priority.
You suggest that we interpret "file formats" as exactly this -- no more, no less. This approach is also called "textualism". The other option is to interpret "file formats" in the context of the law that includes these words. Or: what exactly did the lawmakers have in mind when they said that (a) government needs to provide information; (b) except for several cases, of which one is (c) "file formats". What kind of information did they think it was ok for the government not to provide?

I agree with the Court's argument that "the information about how the actual information is stored and connected one piece to another" is what the lawmakers meant in this case.

- If the actual information is stored in the files, the government does not need to disclose how these files are organized ("file formats").

- If the actual information is stored in the database, the government does not need to disclose how the database is organized (database schema).

- If the actual information is stored in the block memory -- with structs and pointers -- the government does not need to disclose the structs and the pointers.

The "textualist" opponent would of course argue, as OP did, that the second and the third example aren't excepted by clause (c) because "when there is no file, there could be no file format". This however is missing the point (in my opinion), as it doesn't see the forest for the trees.
On good file systems (see <https://news.ycombinator.com/item?id=43174685>) also identical chunks of files can be merged, resulting in more savings than with just whole files. As of now, dedup cannot help with this, but duperemove or jdupes do.
Yes, or relativistic velocities. I figured that harm due to the energy of the collision is limited by death, while time spent on road tends to zero, but your mention of shockwaves brings to mind that a sufficiently high-energy collision would also be a danger to otherwise uninvolved road users, or residents of nearby towns, so my first assumption was incorrect. (I leave aside the problem of maintaining control of a mach 3 road vehicle as an implementation detail.)
It is entirely possible our definition of life is wrong. However it is what we have currently and there is currently no reason to think some other definition might be better. If we ever find something that sortof seems like life, but doesn't fit our current definition of life we can then have the debate about how and if the definition should change. However without knowing what might or might not fit in it is impossible to know how to make it better. There is no requirement that we adjust the definition of life, perhaps we need some hierarchy of some form and this new life like thing isn't life but something else that life is a subset of. It is even possible that we go through the above several times with different, contradictory results.

But for now our definitions of life are good enough.
Also, a bit more directly related, a log viewer / monitoring solution from Laravel: https://laravel.com/docs/12.x/telescope
This is a list of general technology. Musk, Zuck and Trump specifically (the post I was replying to) have had little impact on much of this list.

3d printing, iphone, google, crispr, netflix have little to nothing to do with them.

Honestly why is CRISPR in this list, that is from scientists and labs not tech billionaires and busniess.

Cloud computing has been impacted a lot by Zuck and invented/reinvented by Bezos yes (not that Bezos was in the list I replied to).

Google Maps and Translate were both bought and innovation happened outside the space we're talking about.

Spacex and Electric Vehicles. Musk got onboard after the fact and used money and influence to push the existing path forward. The telling part is once that path is done things derail quickly when Musk is the one coming up with ideas (cybertruck, booring company etc..)
> Didn’t seem like a workable situation for him

That is on him, the R4L team offered many alternatives to work out his burden, assuring all the C interface breaking changes and build fails on Rust side would be their ultimate responsibility.
There are certainly funds with a thesis that you might consider good for the world. Eg social impact, femtech, women and BIPOC-founded co's, etc.

LPs are often large allocators like pension funds who are making decisions for other people's money. I do think there's room here, but you have to ask yourself who the LP's are.
This is a troll (or sarcasm), but a dangerously misleading one, especially the least paragraph.
Let me clarify: a global blockchain.
What leaders need to know about small language models (SLMs)
Rewritable Glass Memory That Stores Data Without Power
A lot of subsidization is tax credits.
Why not both?

The LLM companies work on the LLMs, while tens of thousands of startups and established companies work on applying what already exists.

It's not either/or.
100%, I remember this being a big pain during the period where places were open but you had to order from the table. If your phone didn't want to scan the code you were kind of stuck - and to make it worse some of them _deliberately_ degraded the code to add a cutesy logo or whatever.
This is the real sleeper in this thread. I love my Thermapen, but combustion.inc looks pretty awesome for grilling/smoking. In particular, it could be a game changer with the SafeCook time+temp food safety calculations. And bellows that take into account the internal, food ambient, and grill lid temp could be bonkers. The ($125) sensor probe has 8 sensors in it to read temps at different depths and the ambient.
I found the malicious javascript (messages.js) file and put it in a Pastebin for anyone to analyze https://pastebin.com/yY1X0LiD

obviously its obfuscated by the guy originally
My go to is Programming Massively Parallel Processors by Wen-Mei Hwu, excellent really approachable introduction. [0]

[0] https://a.co/d/9fmbZqg
Note that being able to do this would imply P=NP.
Uber specifically needs to be removed from that list. The business model is 'drain investor money to undercut existing business and then abuse contractors and employment laws to attempt to make a profit after'. There isn't much innovation anymore, most cab companies have similar apps and experiences now.
You should never trust Kagi, it is funded by investors and VCs, so eventually it will succumb to platform decay or “enshittification” for lack of a better word.

The investors would want a return on their investment soon, so you should start questioning your honeymoon period with Kagi if you’re using it.

https://blog.kagi.com/safe-round
How does a truck drive to Diego Garcia?
Nice, thank ! Looking forward to interesting perk ideas (though I already have a backlog of those) or level ideas.
Very little of the stuff physicists came up with in the 19th century was obvious or low hanging at the time. And no your undergrads would likely have never came up with Maxwell's equations on their own.
tl;dr Bing indexed and cached a public repository, then made it available to its AI chat. Later, the repository author switched the repository to private and understood how the internet works. And the story gets only better as the author is the founder of a “cybersecurity” company.
6 days to change 1 line of code (2012)
this reminds me of https://github.com/nikolaydubina/go-cover-treemap
The only way to find out would be in the Whois data, which is anonymised. The provider and registry will still have at least your billing information, but without a court order no user will be able to get it from them.
I'm a partner in an Article 8 ESG fund/studio (KRING Ventures) here in Denmark. We definitely qualify as ethical and we hope to make a financial return at the same time. There is also a concept of creating "Zebras" not Unicorns and that's where we focus.
Nothing uses well-formed UTF-16. I don’t think I know of a single piece of software or library that uses 16-bit code units that validates them.

In practice, “UTF-16” means “potentially-ill-formed UTF-16”. It’s that simple.
I could listen to Terence speak all day. To be that smart and be able to communicating effectively to a noob like me is a rare skill.
I’ve been using fresh rss for the last few months so far I’ve really enjoyed it. The mobile interface works great.
Similar perspective, but I'd offer a minor tweak. Just as before gmail people spent a lot of time "managing" their email. Gmail allowed us to stop bothering and just use search to find stuff among the now-messy volume of email. It works pretty well.

Similarly, I'd say save everything, but spend no time on organizing it, relying on search and ai/future technology to find what you want from among the mess.
Many moons ago, I randomly discovered that the built-in text to speech engine on Windows 2000 would pronounce “crotch” as “crow’s nest.” Never found any reference to it online at the time, although today it’s pretty well documented. It’s possible I was one of the first people to find that.

I’m sure it was a bug and not some kind of self-censoring thing, but I had (and still have) no good explanation for it. Language is weird.
A better question would be "can I use PowerBI on Linux?", to which the answer is "no". This is assuming the obvious "use the web app" or "run a VM or other Windows mimicking layer" was already considered and dismissed.
The US stance is that Taiwan is already part of China and has been for a while.

https://www.state.gov/u-s-relations-with-taiwan/

The United States’ approach to Taiwan has remained consistent across decades and administrations. The United States has a longstanding one China policy, which is guided by the Taiwan Relations Act, the three Joint Communiques, and the Six Assurances. We continue to have an abiding interest in peace and stability across the Taiwan Strait. We oppose any unilateral changes to the status quo from either side. We expect cross-Strait differences to be resolved by peaceful means, free from coercion, in a manner acceptable to the people on both sides of the Strait. Consistent with the Taiwan Relations Act, the United States makes available defense articles and services as necessary to enable Taiwan to maintain a sufficient self-defense capability – and maintains the capacity to resist any resort to force or other forms of coercion that would jeopardize the security, or the social or economic system, of the people on Taiwan.

Keep in mind, that if we go to war with China, they'll probably have to reinstate the draft.
Show HN: I made a website where you can create your own "Life in Weeks" timeline