MurphyA/hacker-news huggingface dataset:
by devin | 2026-02-04 17:40:38+00:00
As long as we're pointing out things that don't make sense: A long time ago in the United States we decided to run electricity _everywhere_, even farmhouses in the middle of nowhere. The solution to broadband in the United States is somehow, inexplicably "Let's use satellites" rather than increase tower coverage or run hard lines. It is a _terrible_ solution to this problem based on the cost alone.
Show HN: Workout app for when you're short on time
by Benboren | 2026-02-04 17:40:55+00:00
Hey everyone,

The problem: My schedule is unpredictable. Some days I have 25 minutes, some days an hour. Every workout app assumes I have the same time every day. I don't.

So I built QuickWorkout.

Tell it your time, get a workout. 15 minutes or 90 - it generates a balanced routine that actually fits.

Swap exercises instantly. Bench taken? One tap, equivalent exercise, same muscles targeted.

Weight logging that doesn't suck. One tap, auto-suggestions based on your history, progress tracking.

Pricing: Free to download, 3 free workouts, $9.99/month for unlimited.

Link: https://apps.apple.com/il/app/quickworkout-tap-train/id67579...

Would love feedback. What's missing?
by gdubs | 2026-02-04 17:41:16+00:00
As a heavy Xcode user and native app developer: pretty excited to dig into this.

I recently have pivoted to mainly working in either Claude of Codex on the command line, because their ability to run autonomously for long, extended periods wasn't possible in the turn-based Xcode intelligence features.

That, plus the fact that the agents could run command-line utilities and just generally be more "agent-y".

My way of working has really shifted this year. I've been experimenting with LLMs for coding for years now, but the models released in the past year really feel like they've hit a point where they write code much closer (sometimes indistinguishable) from how I would write it.
by janalsncm | 2026-02-04 17:41:39+00:00
I noticed that this model is multilingual and understands 14 languages. For many use cases, we probably only need a single language, and the extra 13 are simply adding extra latency. I believe there will be a trend in the coming years of trimming the fat off of these jack of all trades models.

https://aclanthology.org/2025.findings-acl.87/
by fheinsen | 2026-02-04 17:41:45+00:00
This is a form of linear attention (https://arxiv.org/abs/2006.16236) that approximates standard scaled dot-product attention to arbitrary precision, by adding Taylor terms in an efficient manner. Each additional Taylor term improves the approximation. Efficiency is achieved by exploiting certain mathematical symmetries that become evident only after decomposing the standard formulation of attention into an expression over chains of tensor products. The github repository's README walks through examples. The first example is with 8 Taylor terms.
by irishcoffee | 2026-02-04 17:42:07+00:00
Voting for a 3rd candidate isn't a vote against one of the other two, or does your logic work both ways? so 51.66% of people voted against Harris?

You know what, I don't even care if you respond. The election is over, and we can twist these numbers until the next election.

The logical leaps taken about voting for/against someone are troubling. The tropes around this are disturbing. The emotional vitriol around all of those are even worse.

The dude is the sitting POTUS. He stinks. Bitching about meaningless percentages isn't productive... at all.
by johnmaguire | 2026-02-04 17:42:08+00:00
As a chronic user, this is something I experience while stoned, but not while sober. I have a lot of behaviors when sober that people tend to classify as ADHD-like and I suspect it is related to this pause. Normally, when sober, I have a tough time staying focused on one thing. I typically have many projects going at once - half of them forgotten. You should see me cleaning my house - the whole thing will look torn apart as I jump from one area to the next, until the very end.

But when stoned, during that pause, I'm finishing with processing another thought that is already in my head. I find it harder to context-switch immediately when stoned. This is very different from my normal experience when sober, where my brain is very "flighty." The other time I notice this type of pause is when I've entered a "flow state," e.g. when deep in a programming project.

Sometimes I can leverage this "focus" into productivity when stoned, but then I am often equally likely to get focused on the wrong thing.

That said, it's well established that marijuana use acutely reduces your reaction time.
by NJL3000 | 2026-02-04 17:42:17+00:00
A pair of containers felt a bit cheaper than a VM:

https://github.com/5L-Labs/amp_in_a_box

I was going to add Gemini / OpenCode Kilo next.

There is some upfront cost to define what endpoints to map inside, but it definitely adds a veneer of preventing the crazy…
by bfeynman | 2026-02-04 17:42:47+00:00
What part is new? the thing that took off is that it allows technophiles who couldn't probably flash a raspberry pi to feel like they are hackers. All of this stuff exists in tons of random AI apps that exist already it just wasn't really that much of a value add, there is just a virality of it reaching audiences that previously only knew how to use a chat app.
by WalterBright | 2026-02-04 17:42:55+00:00
> We rarely get better results from healthcare or education (or infrastructure) from a free market system

Healthcare in the US was very good and inexpensive before the government got involved in it.

Public education does a very poor job in the US, at enormous cost.

> what does a free market mean?

It means a market where force and fraud are absent.

> Regulations

Regulations to reduce force and fraud are a proper function of government.
Ask HN: When will LLMs generate professional-level CAD models?
by dsrtslnd23 | 2026-02-04 17:43:00+00:00
Hi HN,

I have a 3D printer but I’m pretty bad at CAD. Using LLMs for coding has worked extremely well for me, so I’ve been trying to apply a similar workflow to CAD/modeling.

For simple functional parts (jigs, brackets, adapters, small fixtures), I can use an LLM + OpenSCAD in a loop: it writes OpenSCAD, I compile/render, I render a few views, the LLM “looks” at the images, and we iterate until it looks right. This is already helpful, but it hits a ceiling quickly. Anything beyond simple parametric primitives becomes painful (complex geometry, precise interfaces, assemblies, tolerances/fit, etc.).

I’m curious about two things. First: any intuition on when we’ll be able to generate models at a professional level, comparable to what LLMs can do for coding right now? Second: what will that workflow look like in practice? Will it stay mostly parametric (OpenSCAD / constraints), or will it look more like an interactive “CAD copilot” inside tools like SolidWorks/Fusion that can edit the feature tree via screenshot + click style interaction? Or something else entirely, like text turning into a full feature history with constraints and checks.

If you’re already doing this, what tools/workflows are giving the best results today, and where do they fail?

Thanks!
Show HN: tmpo – Local-first CLI time tracker with automatic project detection
by dylandevelops | 2026-02-04 17:43:20+00:00
I got tired of manually logging billable hours in Google Forms, so I built tmpo – a CLI time tracker that lives in your terminal.

Quick workflow:

cd my-project/
tmpo start "Implementing auth"
# ... work happens ...
tmpo pause # take a break
tmpo resume # back to work
tmpo stop
tmpo stats --week # see your hours
tmpo export --week # CSV for invoicing

Key features:

- Automatically detects projects via git repos or .tmporc files

- Pure-Go SQLite storage (modernc.org/sqlite) - no CGO, easy cross-compilation

- Milestone tracking to organize work into sprints/phases

- Pause/resume for break tracking with full audit trail

- Local-first - all data stays on your machine

- Configurable date/time formats and timezone display

- CSV/JSON export for invoicing

Technical highlights:

- UTC timestamps in database with timezone conversion for display

- Migration system for schema evolution

- Currency handling for 30+ currency codes

- GoReleaser for automated cross-platform builds (macOS, Linux, Windows)

- Built with Cobra CLI framework

Started this because I needed something that worked with my git workflow and didn't require cloud accounts or subscriptions. Happy to answer questions about the architecture or design decisions.

MIT licensed: <https://github.com/DylanDevelops/tmpo>
by Retric | 2026-02-04 17:43:27+00:00
A relevant quote from that article.

“The reason I concentrate my research on these urban environments is because the composition of soiling is completely different,” said Toth, a Ph.D. candidate in environmental engineering at the University of Colorado who has worked at NREL since 2017. “We have more fine particles that are these stickier particles that could contribute to much different surface chemistry on the module and different soiling. In the desert, you don’t have as much of the surface chemistry come into play.”
by GOPbIHbI4 | 2026-02-04 17:43:33+00:00
I feel we have a cargo cult on using ConfigureAwait without thinking too much.

I've seen cases when the application code was filled with it "to improve performance" or "to avoid deadlocks". And it was very hard to convince that this is not how ConfigureAwait should be used.

The same is true for libraries: if your library is specific to your application then you might decide (like the ASP.NET Core team) to stop using ConfigureAwait completely. It is needed for highly re-uses able libraries that can be used in different contexts, which is quite rare.

In this video I'm covering why we have ConfigureAwait in the first place and how to use it correctly.

P.S. There are lot of discussions how broken ConfigureAwait is and a lot of people propose the fixes - like having a library specific annotation to implicitly add ConfigureAwait(false) to every await, or not depending on the configuration. But those discussions are still opened on GitHub with no plans on fixing it.

P.P.S. Another way is to use runtime code generation like Fody, but most of the people are not going to use them.
by SilverElfin | 2026-02-04 17:43:42+00:00
A lot of people have been concerned that ICE is turning into a personal army for Trump. This year they will expand ICE to over 40,000 agents allegedly. This is enough to overwhelm police departments in every jurisdiction.

There is a real possibility that these agents will continue detainment of people, even if they are US citizens, as they are trying to vote. Perhaps they will use their facial recognition app, Mobile Fortify (built by NEC), to identify people and decide if they’re a likely GOP voter or not. Who knows. Whatever they do, this feels like a serious threat to American democracy.
Min Blogger-Mania-Profil
by agnes-nordic | 2026-02-04 17:44:02+00:00
Jeg har delt min Blogger Mania-profil, hvor jeg deler tanker og refleksioner om emner, der er vigtige for mig, lige fra personlige indsigter til hverdagserfaringer.

#MentalSundhed#PsykiskVelvære#Psykologi#Psykiatri

https://blogger-mania.mn.co/members/38095006
by JohnMakin | 2026-02-04 17:44:37+00:00
I don't use it often, but at least now I can get an answer. I swear in early 2023 I would just get completely irrelevant, borderline spammy results to the point I gave up and felt helpless because there was no real alternative at that time for how I used google. It felt like the internet broke for a window of time and Bing (very briefly) brought me out of that hell. To this day I still can't believe they didnt capitalize on it.
by Dacit | 2026-02-04 17:44:41+00:00
No. The whole point of the LCF approach is that only kernel functions can generate theorems. Usually this is done by having a Thm module with opaque thm type (so its instances can only be generated by this module) and embedding the base rules of your logical calculus as shallow functions into that Thm module. Thus, all thm objects are correct by construction (w.r.t. your calculus), and you only need to check the Thm module to verify this.

Tactics generate thms by calling functions of the Thm module in some fashion.
by ars | 2026-02-04 17:45:08+00:00
The idea with IMAP is multiple clients can work with your email - for example your desktop and your phone can both see the same messages and manipulate them, even offline.

Gmail basically is IMAP with a couple extras, and your desktop (via a browser) and your phone (via a dedicated app) can both see the same messages. Only the phone can work offline though, because there is little demand for a dedicated desktop email client, it's always via a browser. But Google could easily make such a thing if they wanted.
by mrdependable | 2026-02-04 17:45:28+00:00
Being the 'good guy' is just marketing. It's like a unique selling point for them. Even their name alludes to it. They will only keep it up as long as it benefits them. Just look at the comments from their CEO about taking Saudi money.

Not that I've got some sort of hate for Anthropic. Claude has been my tool of choice for a while, but I trust them about as much as I trust OpenAI.
by tptacek | 2026-02-04 17:45:51+00:00
You don't believe in social science. Sorry, I mean social "science". It feels like it'd be rude to quote you on that point, but it's one of your most consistent arguments and it's not reasonable to expect people not to notice the special pleading you're doing around it. It'd be like me suddenly talking about the virtues of DNSSEC.
by insane_dreamer | 2026-02-04 17:46:14+00:00
Yeah, a lot of these AI "uses" feel like solutions looking for a problem.

It's the equivalent of me having to press a button on the steering wheel of my Tesla and say "Open Glovebox" and wait 1-2 seconds for the glove box to open (the wonders of technology!) instead of just reaching over and pressing a button to open the glovebox instantly (a button that Tesla removed because "voice-operated controls are cool!"). Or worse, when my wife wants to open the glovebox and I'm driving she has to ask me to press the button, say the voice activated command (which doesn't work well with her voice) and then it opens. Needless to say, we never use the glovebox.
by cedws | 2026-02-04 17:46:14+00:00
Their move of disallowing alternative clients to use a Claude Code subscription pissed me off immensely. I triggered a discussion about it yesterday[0]. It’s the opposite of the openness that led software to where it is today. I’m usually not so bothered about such things, but this is existential for us engineers. We need to scrutinise this behaviour from AI companies extra hard or we’re going to experience unprecedented enshittification. Imagine a world where you’ve lost your software freedoms and have no ability to fight back because Anthropic’s customers are pumping out 20x as many features as you.

[0]: https://news.ycombinator.com/item?id=46873708
by dapangzi | 2026-02-04 17:46:19+00:00
I will say they have made it increasingly difficult to do that.

Behind VPN? "Log in to confirm you're not a bot."

Someone says the f-word or talks about a no-no topic? (oh no!) "Age restricted video, log in to prove your age."

I find the second one especially hilarious, given that I see borderline porn in the shorts section when I'm not logged in with no browser data for it to drum content up from, and that same screen displays to kids when they pull up YouTube.

"For the children" is always a lie, but it's so funny when it's that obvious.

All that said, I don't quite trust it for some reason, but I've been sandboxing FreeTube and using that, seems to work well generally.
by Eggpants | 2026-02-04 17:46:23+00:00
Back when I worked at AWS, I wrote a one page “press release” about this concept where the value add was the weight/power reduction of customer sats that could offload on board processing to the “Cloud above the Clouds”. There is a bottleneck with the down/uplink ground stations to do the on the ground processing.

The biggest problem folks had was even with equipment with 99.9% reliability something breaks every day due the huge raw number of devices involved. And most network equipment is not any where close to being radiation hardened.

I had some fun with it with Bezo’s fist bumping folks because SpaceX was cleaning BlueOrigin clock.

I talked to one of their lawyers and didn’t hear anything afterwards. I left AWS and a couple of years later Amazon announced AWS ground station. I wonder how much my paper contributed to green lighting that project.
by echelon | 2026-02-04 17:46:50+00:00
This all reminds me of Bill Gates on Letterman back in 1995:

https://www.youtube.com/watch?v=eBSLUbpJvwA

"Do tape recorders ring a bell?"

There are so many things I don't want to do. I don't want to read the internet and social media anymore - I'd rather just have a digest of high signal with a little bit of serendipity.

Instead of bookmarking a fun physics concept to come back to later, I could have an agent find more and build a nice reading list for me.

It's kind of how I think of self-driving cars. When I can buy a car with Waymo (or whatever), jump in overnight with the wife and the dogs, and wake up on the beach to breakfast, it will have arrived in a big way. I'll work remotely, traveling around the US. Visit the Grand Canyon, take a work call, then off to Sedona. No driving, traffic, just work or leisure the whole time.

True AI agents will be like this and even better.

Ads, for sure, are fucked. If my pane of glass comes with a baked in model for content scrubbing, all sorts of shit gets wiped immediately: ads, rage bait, engagement bait, low effort content.
by btbuildem | 2026-02-04 17:46:59+00:00
You haven't lived until you've paid municipal taxes to see one of these things at work: https://www.youtube.com/watch?v=rVFFsKArEFk

I've literally watched them approach a pothole full of water, blow the water out with compressed air, retract the blower while the pothole refills, excrete asphalt mix into the watery hole then pat it down and compress it with a roller -- then proceed to the next pothole, driving over and denting the just-"repaired" one.
by bigyabai | 2026-02-04 17:47:01+00:00
> Apple has publicity stated that they have not and will not ever do this

Apple has also said that the US required them to hide evidence of dragnet surveillance: https://arstechnica.com/tech-policy/2023/12/apple-admits-to-...

Apple has since confirmed in a statement provided to Ars that the US federal government “prohibited” the company “from sharing any information,” but now that Wyden has outed the feds, Apple has updated its transparency reporting and will “detail these kinds of requests” in a separate section on push notifications in its next report.

Apple statements are quite distinct from what they do behind the scenes.
by BrunoBernardino | 2026-02-04 17:47:01+00:00
Oops, sorry if that wasn't clear, we're not building a search engine index (yet). We'll definitely do it if we get enough people interested in paying for such a product, though. Right now we're using APIs for other search indexes, like Mojeek and Marginalia, then sprinkling some basic local algorithms to tweak the results and apply the preferences to boost/downrank/exclude domains and TLDs (which is everyone's favorite "feature").

Stack-wise, it's very "boring" (as in, it generates and serves the HTML + bits of JS to enhance settings and such), using Deno in the backend and PostgreSQL for the DB.
by deepspace | 2026-02-04 17:47:27+00:00
The author stated that their human assistant is located in another country which adds a huge layer of complexity to the accountability equation.

In fact, if I wanted to implement a large-scale identity theft operation targeting rich people, I would set up an 'offshore' personal-assistant-as-a-service company. I would then use a tool like OpenClaw to do the actual work, while pretending to be a human, meanwhile harvesting personal information at scale.
by bigwheels | 2026-02-04 17:47:47+00:00
Since it's in French, here's the translation:

> They are lying to you. They keep repeating that "it's your money". It's false. It’s only a temporary access right that the system can take away from you with one click.

> I dared to criticize Palantir. A few days later, @getqonto
deactivated my card, closed my account and blocked my funds. Without a word. I was erased, and I don’t believe in coincidences.

> When a "French unicorn" is funded by Peter Thiel’s millions, freedom of speech becomes a risk. Who really holds the switch to your life?
by adriand | 2026-02-04 17:48:04+00:00
> I'm curious, how do others here think about Anthropic?

I’m very pleased they exist and have this mindset and are also so good at what they do. I have a Max subscription - my most expensive subscription by a wide margin - and don’t resent the price at all. I am earnestly and perhaps naively hoping they can avoid enshittification. A business model where I am not the product gives me hope.
by jazzyjackson | 2026-02-04 17:48:19+00:00
On the contrary HN is one of the most heavily moderated forums out here and serves as a great example of a right-size community where sex trafficking is not happening under the nose of an ambivalent host

(Snark aside, in your opinion are there comments on HN that dang would be criminally liable for if it weren't for safe harbor?)
by cyberrock | 2026-02-04 17:48:34+00:00
It mildly amuses and fascinates me, because for the last decade Gladwellians and business gurus have extolled the virtues of modern English as a flat, hierarchy-less language in comparison to Japanese, Korean, etc. which causes plane crashes. And yet here we see an overwhelming desire to create hierarchy in English, so the author can pretend to be more casual and ordinary.
by 4d4m | 2026-02-04 17:48:38+00:00
I like this principled stand - I'd like to think Anthropic has thought about the post-commodification landscape and decided signaling this positioning as an ad-free tool that respects the user instead of one that pits the interests of advertisers against the free tier user's desires for something unbiased.

Are ads even requisite once inference cost craters? Can't agent stores, tiered revenue splits with developers, and subscriptions cover the majority without turning the tool into a Vegas strip of garish LED ads jutting in the way?
by 827a | 2026-02-04 17:48:45+00:00
Is there an implication here that they could get into an iPhone with lower security settings enabled? There's Advanced Data Protection, which E2EEs more of your data in iCloud. There's the FaceID unlock state, which US law enforcement can compel you to unlock; but penta-click the power button and you go into PIN unlock state, which they cannot compel you to unlock.

My understanding of Lockdown Mode was that it babyifies the device to reduce the attack surface against unknown zero-days. Does the government saying that Lockdown Mode barred them from entering imply that they've got an unknown zero-day that would work in the PIN-unlock state, but not Lockdown Mode?
by UncleMeat | 2026-02-04 17:48:48+00:00
To be clear, the evidence here is that one student tweeted and that many more Stanford students have a registered disability (which doesn't not even mean that they are receiving accommodations) than students at community colleges.

For me to buy this moral panic I need to see more compelling evidence. Can we see the students that clearly are getting undeserved accommodations? That is the actual thing people are worried about. But zero of the articles whinging about this can point to data here.

Could it be, I dunno, that rich students are vastly more likely to have access to the medical system that can identify and document various things like ADHD?