skysight-inc/HackerNews huggingface dataset:
Thank you! If they added React Native it could be a competitor for prototyping react native screens but I think our roadmaps are different as we're focused on the entire app development process.
re #3, if your RSU windfall is substantially large, you might be eligible for the 100%/110% safe harbor that won't penalize you for tax underpayments (assuming you are a US taxpayer)

e.g., you make $200K in 2024 and $5 million in 2025 (which includes the RSU windfall). Assuming you pay at least 110% of what you paid in taxes in 2024 in 2025, you need not pay estimated tax or anything beyond statutory withholding amounts on the RSU windfall, and can just make up the 6 or 7 figures of tax owed at tax settlement time (e.g., by April 15/16 after the tax year in question). This is the optimal strategy, you can just park the money for tax owed in a close to as risk-free investment as possible in the meantime.

Statutory withholding rates might be higher; e.g., at my employer, if your RSU earnings are below $1 million, you can set your federal withholding as low as 22%. If your earnings are above $1 million, you are stuck with the 37% mandatory federal withholding rate (both done by sell to cover). This does not include per-state withholding minima, which can vary widely.
Engineering Joy [video]
Definitely, we have a new design in the works
Evaluating LLM Reasoning Through Live Computer Games
Challenge yourself with latest reasoning LLMs and checkout our latest leaderboard!
New car purchasing behaviour follows the law of double jeopardy. ie. Toyota has high repeat purchase rates because it has high market share, not because of loyal customers.
The Curse of Depth in Large Language Models
I guess let us know when you actually deliver that “AI disaster response system” because that’s the wild leap in your logic there.

The author did not choose to express that it should all be done by hand. His point is that there is a value in slowing down your thinking by doing stuff by hand. Logos and unformed ideas being a mere example to illustrate a point.

In your case it sounds like the equivalent would be to actually go out and participate in an actual disaster response effort before reaching for AI or using AI to tell actual responders how to do their job.
Evolution doesn't plan ahead. Various plants got various random mutations that produce various random chemicals. The ones that were tasty to birds but disgusting to mammals for their seeds spread all over and ended up pretty widespread, so they survived and became common.

The ones that were repulsive to birds but tasty to mammals got eaten by something that grinds up their seed, and so they are extinct. Or, (after humans invented agriculture), possibly got domesticated and became extremely numerous since we'd intentionally save some seeds to plant despite eating the rest.

But there was no awareness and no plan, just chance and history and whatever happened to work.
If on that day, the market price is higher than my estimation, they would inform me and give me 1 day time to pay the difference. If the market price is lower, then I'll have to go through the tax return process with IRS.
Thanks, we think the quick preview on the web and the ability to quickly switch between alot of different apps is super valuable.
so looks like reproducibility rate of nixos is not that high, roughly similar with debian?

https://wiki.debian.org/ReproducibleBuilds
My experience too, I found myself more and more annoyed because I'd run into something, find a years-old ticket that has never been addressed.

I really liked JetBrains tooling in the past, but that and then they also started hitting me with spammy advertising right after I paid for another year, and just couldn't stand it, refunded and cancelled.
Technology has diminishing returns. If technology does everything for us then what's the point of existing.
anyway, mail me at username at googles service. Some chance I have an answer
You read about the sub like $20K EVs in China and you think "maybe we're due to get belt and roaded here."
Nice catch! And finding a vulnerability on such a high profile service will look very nice on the resume.

Congrats!
Let's also not forget the cost of the things like the campfire fire. That's a huge bill that needs to be paid and that cost is ultimately going to come out of the kwh rates.

Further, the LA fires might have also been caused by a downed line so that's going to be a fairly big cost to the power company.
Positioning/messaging matters a lot!
Seen a lot of borosilicate glass from Bodum with the logo scratched off or covered up too.
I think that international competition is one of the greatest guarantees that trying to stand athwart history and yelling stop never works in the long term.
Lucid has a viable Model S competitor. I haven't driven one, but they're very well-reviewed and they beat the Model S specs for range.
That sub-clause does not mean what you suggest through any reasonable statutory interpretation. And I'm not suggesting any kind of legal chessmanship here. I've simply identified for discussion a legistlative branch check on executive branch power that's expressly delineated in the Constitution.

Again... Congress doesn't decide what a so-called inferior officer has the "power to do"—merely whether the POTUS has the power to appoint said person without their advice and consent. The POTUS decides what its subordinates have the power to do. The check to such an exercise of executive power belongs to the judicial branch by way of legal challenge before a federal judge up to and including the SCOTUS.
For Ruby, it's code where variables and method input/return types can be inferred to remain static, and variable scope/lifetime is finite. From my understanding, much of the performance gain was from removing the need for a lot of type checking and dynamic lookup/dispatch when types were unknown.

So basically, writing code similarly to a statically typed compiled language.
I love the framing in this video in terms of the decisions I need to make when I'm doing personal projects.
I'm perfectly aware that the government can be inefficient. But there's a huge difference between "let's make the government work more efficiently" and "let's destroy everything, no matter the human, strategic, or even monetary cost". Even if you think that shutting down USAID is legally and morally justifiable, I don't see how you can possibly justify shutting it down without any notice or plan for the people who are affected. Go and read the declarations in the AFSA v. Trump case. How do you justify things like interrupting the treatment course of tuberculosis for patients, which promotes resistance to the drugs. They are acting incredibly irresponsibly. It really speaks volumes about the Silicon Valley way of doing things - move fast and just ignore all consequences to real people. I've seen it in startups before. It makes me incredibly depressed about working in tech.

And Europe funds foreign aid at a much higher percentage of GDP than we do.
When was there no military? When was the US government literally doing nothing?
In most places it's 2G/3G/4G bands, either repurposed or through dynamic spectrum sharing, plus sub-6 bands.

mmWave is a flop.
Despite what Sam Altman (a high-school graduate) might want to be true, human cognition is not just a massive pile of intuition; there are critical deliberative and intentional aspects to cognition, which is something we've seen come to the fore with the hubbub around "reasoning" in LLMs. Any AGI design will necessarily take these facts into account--hardcoded or no--and will absolutely be capable of forming plans and executing them over time, as Simon & Newell described the best back in '71:

The problem solver’s search for a solution is an odyssey through the problem space, from one knowledge state to another, until… [they] know the answer.

With this in mind, I really don't see any basis to attack the intelligence explosion hypothesis. I linked a Yudkowsky paper above examining how empirically feasible it might be, which is absolutely an unsolved question at some level. But the utility of the effort itself is just downright obvious, even if we didn't have reams of internet discussions like this one to nudge any nascent agent in that direction.

[1] Simon & Newell, 1971: Human Problem Solving https://psycnet.apa.org/record/1971-24266-001
They launched support for this today. We expect them to be a strong competitor but we think our experience developing indie apps and the fact that we're laser focused on Mobile Apps will help us win.
Yeah, I posted about that algorithm on Nim Lang forum. Someone used deepseek to create a Nim version [1]. It seems the constant factor overhead is quite large. Well presuming deepseek implemented it correctly. There's obvious easy perf tweaks, but still seems to have high overhead.

1: https://forum.nim-lang.org/t/12679#78170
On a Tesla you do exactly the same, push the stalk back to center. It’s a little confusing at first but so is one pedal driving.
why do you think that is a requirement to being called open source?
A memory allocator with only 0,006% fixed overhead written from scratch [video]
you know i thought i knew what libffi was doing (i thought it was playing tricks with GOT or something like that) but i think you're right

https://github.com/libffi/libffi/blob/master/src/tramp.c
Nice! I recently had and built the same idea using MCP (in order to be client / LLM agnostic) and VS Code (DAP would be even better, but haven't tried tackling it).

https://github.com/jasonjmcghee/claude-debugs-for-you
please do write more about it.
> The company has stated that if we do not prepay the taxes by March 15, 2025, the RSUs will be permanently forfeited

Is it clear whether you'd forfeit your entire grant, or just some subset of shares that would correspond to a tax/withholding percentage?
Comparing different months doesn't mean as much due to seasonal trends. YoY numbers from 1/2024 is aroound 215k. sp a 2.8% YoY decline seems to make sense.
You're replying 'at' me here, not to me. You've addressed nothing I've said or asked. And I mostly disagree with or don't find relevant just about everything you have replied with.
> I can still do integrals by hand

good for you if you can do integrals by hand, i would bet though you're in the small minority of people who can do that.

> AI isn't the ultimate tool, it still can't do basic proofs and it's not doing neither automated proofs using a proof assistant language

I meant AI as in human level AI and above. It will for sure be the ultimate (intellectual) tool that can solve any intellectual task.

> Everytime I see someone say something like this I assume they do pretty insignificant work.

I'm having a hard time following your line of thought, although you might be right and i might be doing insignificant work compared to you.
I use a GC'd language for UI every day -- Emacs -- and it runs well even on potato-tier hardware. The first GUI with all the features we'd recognize was written in a GC'd language, Smalltalk.

GCs introduce some overhead but they alone are not responsible for the bloat in Electron. JavaScript bloat is a development skill issue arising from a combination of factors, including retaining low-skill front end devs, little regard for dependency bloat, ads, and management prioritizing features over addressing performance issues.
Powerbeats Pro 2 Debut with Heart Rate Monitoring, H2 Chip, ANC, and More
I made a LeetCode PvP Game for a class project
When people get hyperbolic and state that AC controls are pure agony it shows a disconnect with reality and it’s hard to take that person serious.
> There is part of Norway where anyone is allowed to immigrate to, so long as they follow the same rules which equally apply to Norwegian citizens.

But it isn't really a part of Norway, or wouldn't be a part of Norway if Norway didn't give into Russian demands after WW2 (Russia had a claim on it as well, and it could have gone their way instead). That is a fluke, it isn't something Norway exactly wanted, but it was something they were willing to accept.

You still need a Schengen visa to get there (since you have to transit through Norway proper, Russia doesn't do flights there anymore). They will immediately kick you out if you don't have means to stay (regardless of nationality), so the whole influx of foreigners moving into Svalbard to squat w/o a job is simply not allowed (since you need money for a hotel or apartment or you'll freeze to death/get eaten by polar bears...and there are only a limited number of those available).

> The appeal to 'uncontrolled influx of foreigners' is just strawman xenophobia

While it may still be a strawman, Svalbard doesn't really provide for an effective counter-example as evidence.
Whatever you think is best, yes. It's up to personal interpretation
The paper: https://news.ycombinator.com/item?id=43028411
https://www.ocregister.com/2021/07/30/francine-niyonsabas-ol...

> World Athletics testing found that Semenya, Niyonsaba and Wambui all had the 46,XY karyotype and produce levels of testosterone in the male range.

https://www.olympics.com/en/olympic-games/rio-2016/results/a...
Prompt engineering may be a highly skilled activity or even an art.

But prompt engineering isn't programming because it doesn't allow aggregation. It's not the activity of building a system from reliable components. Prompts don't allow reliable recursion, etc. At best, it is simply a different but valid activity. But AI companies no doubt aim to remove the mystery from prompts in the fashion they aim to remove the mystery from programming.
I lost my mother last Wednesday and today would have been her 85th birthday. Her life wasn't truncated like the OP's story or many of the comments here but ... These anecdotes are making me realize that I'm not really recognizing my loss yet.
Ruby will probably never again be the most popular language in the world, and it doesn't need to be for the people who enjoy it to be excited about the recent improvements in performance, documentation, tooling, ecosystem, and community.
Astronomers Amazed by Perfect 'Einstein Ring' Gleaming in Space
I'm sorry to hear that.

On the topic of Steam, according to their terms of service, you buy non-transferable licenses for access, and they will argue you can't inherit the games of a deceased person: https://arstechnica.com/gaming/2024/05/after-you-die-your-st... . This follows a tradition of digital media providers asserting deep control over things that you might think you "own" : https://www.nytimes.com/2009/07/18/technology/companies/18am...

(I had a hard time fitting this thread into the blog post and eventually cut it)
Small stores can be perfectly affordable. National Co+op Grocers lets local coops buy from UNFI at a national bulk rate, just like the giant chains can. I shop at a member store and usually pay less than I would at one of the big chains.
it's a valid question. In the JavaScript / TypeScript community, we usually understand "fullstack" as "isomorphic": https://www.lullabot.com/articles/what-is-an-isomorphic-appl...

Laravel and RoR are veteran giants in the Web Framework industry. I'm sure they cover "isomorphy" in their own ways, just that at the time they were born, the terms "isomorphic" and "fullstack" weren't even coiled.

This "FullSoak" framework is by no means aimed to be as full-fledged as the likes of Laravel / RoR / or even other JavaScript frameworks such as Next.js, Remix, SvelteKit, etc. - but it stays true to the "isomorphy" concept, where the same code is runnable on the browser & the server alike.
By accidentally writing out uninitialized memory contents to the file with the game still working. It's even worse in DOS era where there is no memory protection so uninitialized memory can contain data used by other processes, so for example parts of source code can get leaked that way. There's a big list of those in https://tcrf.net/Category:Games_with_uncompiled_source_code
Zooming out on that one is an absolutely amazing experience
I assume by "cycle" they are referring to mtbf/afr
>Euclid: A complete Einstein ring in NGC 6505

https://www.aanda.org/articles/aa/full_html/2025/02/aa53014-...
I cooked up a Containerfile for it a while ago that takes care of all the Perl dependencies: https://pastebin.com/MKLUpgP1

You can build the image by just chmod +x'ing the file and running it. Then just do podman run --rm -it imapsync [ARGS] and you're off.
According to https://tests.reproducible-builds.org/debian/reproducible.ht... (which is what the article links to btw) there are ~37k packages tracked for reproducible builds which is ~2.7x smaller than Nix's 100k packages.
Its a flop in this circumstance for sure.

I used to have some early engineering material outlining what had been approved for use in each country and 24GHz was pretty damn common. Could be that changed I havent kept up.

I do know in Australia we have sweet FA and 5G isnt very interesting at all.
It won't be a problem for them. They'll find a way to make it not enough - disable functionality that people want or need and then charge a subscription fee to enable it. And more ads. Easy peasy.
This is pretty clever and seems to have high potential, but it still relies on humans. What if some day all humans cannot outsmart AI?
I think it's more that mobile transfer speeds is no longer the bottleneck. It's the platforms and services people are using. If you record a minute video on your phone it ends up as like 1GB. But when you send it on a messaging app it gets compressed down to 30MB. People would notice and appreciate higher quality video. But it's too expensive to host and transfer for the service.
Sorry for being too aggressive it's just I see a lot of people (managers) talking like current chatgpt can replace people at my line of work (R&D in long term economic planning) and I can't see people even begin to formulate the right questions, and never mind understanding the answers.
All the AI researchers I know that also happen to be parents will not let their kids NEAR tools like chatgpt and photomath.

No, it's "traditional" things for their kids that are CHALLENGING and require practice, like woodworking, learning an instrument, sports, memorizing texts for fun.
A dynamic human-in-the-loop evaluation benchmark is great for preventing data contamination and test saturation. Worth my time to read.
Why cryptography is not based on NP-complete problems
Severe case of MDS
Microsoft has deprecated “legacy” auth methods, which makes this sort of thing very difficult to accomplish nowadays.

I used to use IMAP/SMTP for Outlook Mail but they force you to use proprietary clients now, forcing OAuth. It makes scripting nearly impossible.

https://learn.microsoft.com/en-us/exchange/clients-and-mobil...
Speaking of having not tried, that legal theory could be right but it's novel. On the one hand you have Elmendorf's hypothesis, and on the other you have every city attorney in the state.
Got the same situation, ex-employee from a similar startup that IPO'ed in 11/2024, does it make more sense to borrow money from some loaner or file a lawsuit to these guys?
I have a hard time taking people seriously who make such a huge deal out of the developer account pricing. A hundred bucks per year just isn't much money, I'm sorry, maybe it's my privilege talking, but if you're getting into iOS development you have, at base, one mac and one iDevice, if for NO other reason than development and testing of the app you want to make. The cheapest Mac available new is $600, and the cheapest iDevice is the iPad, for $349, or the iPhone SE, for $429. At minimum to get started as an iOS dev then requires an investment of just shy of a grand, and like, I don't particularly like that, but to then turn that around and be like "but this $99 per year subscription is ridiculous" is just... what!?

I don't consider myself a huge "project guy" either but I do tinker, and I absolutely CRUSH $100 per MONTH in terms of buying shit to fiddle with, from Raspberry Pi's to 3D printer parts, to new PC peripherals I wanna try, etc. etc. I struggle to conceive of someone in this space to whom $99/year for an Apple dev account is just this unbearable outlay.
AFAIK Bazel does not use the sandbox by default. Last time I experimented with it, the sandbox had some problematic holes, but I don’t remember exactly what, and it’s been a few years.

The very doc you link hints at that, while also giving many caveats where the build will become non-reproducible. So it boils down to “yes, but only if you configure it correctly and do things right”.
What were the disk specs? HDD or SSD? GPU?

Windows is a heavy operating system compared to the others and can cause that problem but that likely isn't Windows alone causing the problem (though bloatware / other AV solutions could also have something to do with it)
Feels a lot like whitelabeling. Where you have 200 companies selling exactly the same product at slightly different price points but where there isn't really any difference in the product.
I rarely cry when I read (or in general) but the poignancy of this article was too much . I remember how many changes my wife's body went through during our second pregnancy . Juxtapose all the things that Bess went through, it is too cruel to even think of . Have strength Bess <3
US companies get more latitude to bar shareholder resolutions from their ballots
that just means you have too many items together. break them up into smaller components or use something like a Group and that solves it. not a big mystery
https://asia.nikkei.com/Business/Automobiles/Electric-vehicl...

Sales of EVs in Japan fell 33% y/y to 59,736 cars in 2024, the first decline in 4 years.

EV's share of all vehicle sales fell below 2% in Japan
All of these same market dynamics exist in Australia as well, except Australia’s recession is a per capita recession, not an aggregate recession.
Seems like that's a favourite of almost everyone!
That is a good point, in the same way the lure of $100k+ salaries inevitably attracted the masses, AI means "everyone can code!"

I do share your lament. "Being productive" is a capitalist construct. There's a place for it. But I got into coding by messing with CSS and when the text turned red on my screen by something I did… WOW!!!

I'll never forget that feeling. I make it a point to dabble in side projects on my own terms. Want to always keep that fire lit.
Previously (87 points, 1 day ago, 33 comments) https://news.ycombinator.com/item?id=43007862
> I have a solid understanding of AI

> and it will destroy the value of most human work

From my view, as someone studying and working with ML and AI since 2017, these two statements seem in conflict.

Either you’re overestimating what AI actually provides, you’re understanding of what “most human work” is skewed by the field you work in, or you’re underestimating the value of human labor.

We’ll just have to wait and see, I suppose.
I'm in NYC, Spectrum is my ISP. 500mb/s down, 10mb/s up. I used to live in a building with symmetric 1G fiber from Verizon, but they don't serve my building.
And no one can answer the question of how my flying in a plane that was already going to fly reduces emissions.

you can worry about your carbon footprint or not - your choice - but this is about as silly of a statement as they come. this is like being nazi in Auschwitz and going “well someone else would commit these heinous crimes so what’s the difference if I do it.” you do your part - that is what you are in control in and what you can decide on based on your beliefs. but to say “well shit, this plane gonna take off anyways so imma just jump onboard and take a couple
of seats that are available” is not an acceptable argument
That is a great resource. I also love seeing it with ascii characters
>Video and pictures will soon have no evidentiary value.

Thats a very interesting point