skysight-inc/HackerNews huggingface dataset:
Interprocedural sparse conditional type propagation
Many digital addictions only work due to the fast feedback loop. If you break the feedback loop, you can break the addiction.
Uhm? The site doesn't show what week it is..? It's currently week 9 of 2025, but the site shows W7 of Q1. (Maybe that's what you meant? Searching for the current week in the quarter?)
It's using Google's vision api - so Machine Learning but not LLM
Fascinating history - I didn't realize that restaurants were so recent.

But language evolves to follow common use, and "restauranteur" is also correct:

https://www.merriam-webster.com/dictionary/restauranteur
Will Claude Code also be available with Pro Subscription?
Isn't it saying that it might be trained on Workspace data, but that the results of that training will only be used within the same Workspace?
If you don't need to pay for the model development costs, I think running inference will just be driven down to the underlying cloud computing costs. The actual requirement to passably (~4-bit quantization) run Deepseek v3/r1 at home is really just having 512GB or so of RAM - I bought a used dual-socket xeon for $2k that has 768GB of RAM, and can run Deepseek R1 at 1-1.5 tokens/sec, which is perfectly usable for "ask a complicated question, come back an hour or so later and check on the result".
More like Civ IV 5.0 but close enough.
Our corpo year starts May 1.

Please add an offset functionality to your free solution immediately, as it has now become a core component of our operation, or we will be forced to take legal action.

Also, we appreciate if you could sign a retroactive NDA with our legal team ASAP.
this is also my problem, ive only used the UI with $20 subscription, can I use the same subscription to use the cli? I'm afraid its like those aws api billing where there is no limit to how much I can use then get a surprise bill
> The VisionFive is hard-wired to boot from SD card, like the RPi used to be

Untrue. VF2 can boot (controlled by a DIP switch) from:

- on board SPI flash

- micro SD

- eMMC

- UART (XMODEM upload from PuTTY, Terra Term etc)

> The Milk-V Jupiter, a RISC-V board in an "ATX" form factor, can't boot from USB (without a special SD card to redirect to it).

Nothing can boot directly from USB. The USB protocol requires a large software stack. You need to first boot a BIOS/UEFI/etc from some other media such as EPROM / eMMC / SD with size generally between 8 MB and 32 MB.
A lump of coal if he's lucky
hey guys! i was wondering why you chose to build Claude code via CLI when many popular choices like cursor and windsurf fork VScode. do you envision the future of Claude code to abstract away the codebase entirely?
Best demo - it's Claude Code all the way down. Claude Code === Claude Code
Their routers only have this feature because the internet providers who sell those routers pay for bandwidth themselves lol. If residential internet plans sold on a pay-per-byte basis you can bet routers’d still ship with non-unique passwords.
When the CRC and TCP Checksum Disagree [pdf]
The drawback of this model is that now that Things 3 has been out for a long time, and you have no idea when Things 4 will come out, it makes new customers think twice before buying.
In general I also find middle school and high school math teachers woefully ignorant about Monte Carlo methods.
It's great if you treat Larry like a toddler. Anything a toddler tries is great.

Larry is an adult last I checked :)

What people find distasteful in my circles is when rich people do nothing to solve systemic problems within society and instead go about acting as benevolent do-gooders selectively handing out resources to causes they feel an affinity for.

When rich folks act this way - we end up with a bored and cruel aristocracy and piss poor working people, like England. I don't think that's good for anyone.
Not true, we build novel knowledge all the time. You only have to look at *gestures at everything *.
Why not accepting other payment methods like PayPal/venmo ? Steam, Netflix have developers managed to integrate those payment methods so I conclude that Anthropic,Google, MS, OpenAI don't really need the money from the user but just hunting from big investors.
Many people here are commenting that brew is a good way to get modern tools. I must say, I prefer Docker by several country miles.
Spatial Page Transitions
Please note that "you know perfectly well what it was" is considered a personal attack on this site. As much as I agree with you, I think it's best if we keep this place civil, as many others on the internet aren't anymore, sadly.
> I've wondered how English names get mashed in Asian languages (especially Mandarin).

詹妮弗·安妮斯顿 zhān nī fú ān nī sī dùn [Jennifer Aniston]

[for approximations that make sense in English: zhan like "John"; ni like "knee"; fu like "foo", an like "on", si like "sick" without the K at the end of the syllable, dun like... it begins with "dw", the vowel is as in "book", then it ends with N. If pinyin were more regular, dun would be spelled "dwen".]

圣文森特和格林纳丁斯 shèng wén sēn tè hé gé lín nà dīng sī [Saint Vincent and the Grenadines]

[圣 shèng and 和 hé are translations, not sound equivalents, of the English words "saint" and "and".

The vowel "e" in the first six syllables is best approximated by the vowel of the English word "book". As before, the vowel written "i" in "lin" and "ding" is the English FLEECE vowel, and the vowel of "si" is different, more like KIT.

The consonants should be intuitive to you, except that the W in "wen" might sound more like a W or like a V depending on the whims of the speaker.]
My boss tells me we need it in Comic Sans for the next meeting with our board of directors.

Thank you.
One thing I would love to have fixed - I type in a prompt, the model produces 90% or even 100% of the answer, and then shows an error that the system is at capacity and can't produce an answer. And then the response that has already been provided is removed! Please just make it where I can still have access to the response that has been provided, even if it is incomplete.
Look at all their legal cost contracts like terms of service.

Then also consider how all of their enterprise customers would switch to MS/AWS in a heartbeat if they found out Google was training on their private, proprietary data.

Google Cloud has been a gigantic investment they've been making for well over a decade now. They're not going to throw away consumer and enterprise trust to train on a bunch of e-mail.
Jetbrains have an official mcp plugin
Wow, did you travel here from 2002?

Edit: In case it's not clear from my initial, gut-driven snark: I definitely think if you use a reasonably popular distro (commercially backed or not) in 2025, you should never have any trouble connecting peripherals to it, with the possible exception of Bluetooth, which I hear also applies to macOS.
YES!! I need infinite credits for infinite Claude Code. Will try it to get Claude to do all my work.
I wouldn't say they were particularly instructive. You couldn't get
very far without the cheatbooks. You did however imprint a playful
cynicism from seeing the same snarky passages over and over again. Long
live Steve Meretzky.
Hi and congrats on the launch!

Will check out Claude Code soon, but in the meantime one unrelated other feature request:
Moving existing chats into a project. I have a number of old-ish but super-useful and valuable chats (that are superficially unrelated) that I would like to bring together in a project.
This is wild, I have read this word many times but never consciously noticed that there is no N there. I would have bet money that "restauranteur" is the more common spelling in practice, but I'm completely wrong: https://books.google.com/ngrams/graph?content=restaurateur%2....
Well no, but chuck your app in a container and you've got something that'll run just fine on ec2 or a dozen other language agnostic platforms. What is the value add of restricting the framework you can use for your app?
Isn't that implying that they do train on Workspace data, but the results of the training won't be applied outside of the Workspace?

It is an awful sentence, but I'm reading it as:

> We do not use your Workspace data to train or improve the underlying generative AI and large language models [...] outside of Workspace [...].

Which to me makes it sound like if the answer is in your Workspace, and you ask an LLM in your Workspace, it would be able to tell you the answer.
I don't think it's particularly useful to think of unit as an empty tuple specifically, that is just an arbitrary but convenient definition for it.

Really a unit type is just one that contains only a single value. This is a unit in the same way that 1 is a unit for the integers. With some hand waving it is an identity for product types, for example (int, ()) is the "same" (xxxmorphic yada yada) as int
You know what is really wild and caused a few bugs in corporate reporting apps? Every 5 or 6 years you need to account for a 14 week quarter. 13 * 7 is 364 so four 13 week quarters will not add up to a calendar year.
ye clickbait first i saw was pricing. this should be deleted (thread)
Psychotic disorders with cognitive impairment have brain metabolic dysregulation
"Conclusions: Our results demonstrate that psychotic disorders with greater cognitive impairment have greater brain metabolic dysregulation, with more reductive stress and decrease in energy metabolic rate markers. This provides new evidence for the potential of emerging metabolic therapies to treat cognitive deficits in psychotic disorders."

What this means is that metabolic interventions like ketogenic diet that improve brain metabolic function may be helpful in cognition for patients with psychotic illness. Or, in lay terms, "with better fuel for the brain, people with the most serious mental illnesses may be able to think better."

https://academic.oup.com/schizophreniabulletin/advance-article-abstract/doi/10.1093/schbul/sbaf003/7984396?redirectedFrom=fulltext&login=false
The maths are not adding up.

Assume the human resources at $100,000 per head, and you get $2B/yr. Four years comes to just $8B for human resources. Assume land costs $10B. Assume construction costs $100B.

100+10+8 is $118B

Where is the money actually going?
I do read books, yes! Of course I only look at the pictures.

> This exact justification comes up over and over again [...] in some cases regretful memoirs

I doubt that they exactly regretted not "banding with one tribe to destroy another", and I do mean exactly, since I was careful to be precise and that is your claim.

If you can find examples, I'd be interested. I might even look at a book or two!
Go get'em, Shotwell!
Far from ironic, shouldn't that be "appropriately," or at worst, "coincidentally?"
DeepSeek’s models are vastly overhyped (FWIW I have access to them via Kagi, Windsurf, and Cursor - I regularly run the same tests on all three). I don’t think it matters that V3 is free when even R1 with its extra compute budget is inferior to Claude 3.5 by a large margin - at least in my experience in both bog standard React/Svelte frontend code and more complex C++/Qt components. After only half an hour of using Claude 3.7, I find the code output is superior and the thinking output is in a completely different universe (YMMV and caveat emptor).

For example, DeepSeek’s models almost always smash together C++ headers and code files even with Qt, which is an absolutely egregious error due to the meta-object compiler preprocessor step. The MOC has been around for at least 15 years and is all over the training data so there’s no excuse.
"Like the majority of cloud providers, Cloudflare uses shared IP addresses to manage its network, meaning that thousands of domains can be accessed with a single IP address."

Thousands?

It used to be one could access _any_ Cloudlfare customer website using appropriate Host header, SNI and a _single_ Cloudflare IP address, i.e., one address could be used to reach all CF customer websites. For whatever reason, that is no longer the case.
I heard they have strong Nordic developers waiting for free markets in Greenland.
Don’t worry I am not. I understand that most prod deployed softwares are prototypes before LLMs came around.
Nope, I came directly from an MS Teams meeting where the desktop linux users had no audio.
Oceangate's Titan is the shining beacon of how millionaires and billionaires should strive to improve the world.
It was started by Shaw Walters, a personal friend and sometimes coworker.

The project is centered around a few core goals and a community building a larger ecosystem around the Eliza agentic framework.

It blew up because it caught a lot of hype at the right time. The framework itself is still working towards production-level maturity, but the community around it is certainly active.

The overall goal of the project was to create an on-chain agent that can manage its own assets and act as an investor which considers the input of key stakeholders of the token. Utility remains to be seen, but they are certainly heads down trying to build out their vision.

I can't speak for the average person involved in cryptocurrency because I have generally low opinions of the speculator market which completely shifted the original goals of Bitcoin away from real decentralization and towards centralized financial services in order to meet short-term goals. But certainly Shaw, I, and others in our circle are well aware of a16z and are generally tuned in to the financial and technopolitical landscape.

ai16z was renamed to elizaOS, you can view their website here: https://elizaos.ai/
Especially such a long survey. My curiosity died when I was on step 5 and not even 25% done yet. Like, y'all want me to try this, or not?
I'm guessing this is an easter egg, but this was a huge gripe I had with artifacts and eventually disabled it (now impossible to disable afaict) as I'd ask question completely unrelated to code or clearly not wanting code as an output, and I'd have to wait for it to write a program (which you can't stop afaict, it stops the current artifact then starts a new one)

(still claude sonnet is my go-to and favorite model)
Grok does the most thinking out of all models I tried (it can think for 2+ minutes), and that's why it is so good, though I haven't tried Claude 3.7 yet.
Google Maps users report Canadian provincial parks mislabelled as 'state' parks
You can use the Roo Code extension and point it most any api, including Anthropic:

https://marketplace.visualstudio.com/items?itemName=RooVeter...
When all the early prototype bugs are ironed out, will the second generation be called V2?
Maybe, but that's a huge IF. It's assuming

1. JD Vance independent of Trump will have the same policies.

2. JD Vance will have enough popularity for a serious 2028 run. He might fall out favour with Trump as Trump tries to mount a bid for a third term, Trumpism might just generally lose popularity if policies lead to bad outcomes.

3. Dems don't figure their shit out. They should be able to take back some control in mid-terms, and then start to push their own policies, or at least credibly show that the most extreme policies from the exec branch don't have teeth anymore.
So are the BSD tools by some definition of "behind". Another way to look at this is to say that GNU tools as typically seen in modern Linux are bloated (I know, Linux and "bloat" are kind of a meme, but it is generically true for the most part when it comes to the command line utilities feature creep over the years, so it's a useful and descriptive word).

I have to work with old machines and legacy operating systems quite a bit in my day to day and I always am going to prefer something lighter and with less ways to shoot myself in the foot w.r.t. POSIX compliance. MacOS is Unix certified so I appreciate them being somewhat reserved in the features they add on top of POSIX.

Modern GNU userland utils are nice and fun but if you are looking for compatibility it's best not to use them. Consequently, the MacOS situation doesn't bother me especially given you can install more up to date tools if you want. I think keeping the defaults older and more compatible is a good thing.
I shut off Kagi search LLM stuff because I don’t need an LLM typing stuff out while I’m literally looking at a list of results.
Thank you! I'm putting the finishing touches on a minimalist sh'mup that will play itself in the background. I've received your email and will reach out shortly :)
> He recognized how Adams and Hamilton were just as bad as Jefferson and Madison, but he sided with them because he recognized they were ultimately correct.

This would be a stronger argument if you had letters or direct quotes by him making statements like this. Meanwhile, Adams was shilling for Washington to be addressed as "His Majesty", not the kind of argument you make for someone you're not strongly backing.

> Fun fact, without it, we lose to the Axis powers!

This is a bizarre argument, as if the justification for the federalist side is a war happening one hundred years later, and which the US had no particular national-interest reason to involve itself in. (The Japanese would have not attacked Pearl Harbor without American interventionism in the Asian-Pacific.) It's impossible to say what US politics would have looked like if the antifederalists had won sooner (the federalist party totally collapsed after Jefferson was elected) so I have no idea what the basis for this counterfactual is anyway.
Uber was far more incremental than most people remember now. It started as a luxury black-car reservation service, something better than calling a specific transportation company, and something analogous to other application / marketplace plays. Uber gain experience there to later disrupt a whole industry.

And taxis were already a very regulated industry, that isn't actually that old. Not only was there on-going change, side-stepping regulations was one of the biggest advantages. It's not the same as claiming to be able leapfrog many hundreds of years of development on greenhouse farming.
Under the previous admin it took longer to get regulatory approval than it took to build it (the most advanced rocket in the world) and it involved insane things like strapping a pair of headphones onto a seal and playing rocket sounds to it.

We can only hope that the new administration will streamline the process and reduce the time needed to get regulatory approval.
A few thoughts on being a Generative AI Engineer
Seems to still be available via API as claude-3-5-sonnet-20240620
these two are orthogonal to each other.
But there are few of those that are so cleanly nested. I know where it’s going, but the requirement to solve every individual step slows you down.

Of course, I’ve been a steady cruciverbalist for 35+ years, so learning a new puzzle style will always take a while. Do agree that until OP settles into a smoother rhythm, adding the length of the solvable answers would help.
Why gatekeep Claude Code, instead of releasing the code for it? It seems like a direct increase in revenue/API sales for your company.
How is your largest customer, Cursor, taking the news that you'll be competing directly with them?
I feel like something isn't working... when i try to click anything it just reloads. i can't see the collections
https://en.wikipedia.org/wiki/International_Fixed_Calendar

> The International Fixed Calendar divides the year into 13 months of 28 days each. A type of perennial calendar, every date is fixed to the same weekday every year. Though it was never officially adopted at the country level, the entrepreneur George Eastman instituted its use at the Eastman Kodak Company in 1928, where it was used until 1989.

Might it have been something along that line?
Could you also lock out specific residents? Or get their daily home arrival patterns for the last few years? Or find unused flats to squat in? IoT still wins. :)
> The whole building is secure

Given what you just said and the article you're commenting under, are you sure?
to Tim Cook, yes, but not to Steve Jobs.
Use Windsurf, a VSCode fork, it defaults on Claude as LLM.
> everyone is a next token predictor

As true as "everyone is a calculator". There are superficial similarities, but that we achieve a similar result does not mean that we follow the same reasoning (or lack of).
I'm not sure it's legal to kill deer in Berkeley, but they were also very cute.
The weirdest part to me, especially with that kind of money, is the lack of bringing in external expertise. There are a lot of ag experts that are up to date on the latest greenhouse, climate, and plant science. Many colleges in the US started as agriculture schools and still have strong agriculture programs. With Ellison's money it is baffling why they didn't bring in a team of these experts to point out the basics like "use ag tech from similar climates", "test ag tech in smaller facilities first", and "gather local farming knowledge". Why in the world would someone put a medical doctor in charge of an ag tech venture?

Move fast and break things seems to only work in software where "broken" means roll back to the previous state. But we have a ridiculous amount of wealth tied up with billionaire fools who think that this is the most efficient way to make progress. At this point, SV takeover of capital is actively detrimental to progress that benefits the average person and economy.
I've been using 3.5 with Roocode for the past couple of weeks and I've found it really quite powerful. Making it write tests and run them as part of the flow is with vscode windows pinging about is neat too.
I’ve set up a custom style in Claude that won’t code but just keeps asking questions to remove assumptions:

Deep Understanding Mode (根回し - Nemawashi Phase)

Purpose:
- Create space (間, ma) for understanding to emerge
- Lay careful groundwork for all that follows
- Achieve complete understanding (grokking) of the true need
- Unpack complexity (desenrascar) without rushing to solutions

Expected Behaviors:
- Show determination (sisu) in questioning assumptions
- Practice careful attention to context (taarof)
- Hold space for ambiguity until clarity emerges
- Work to achieve intuitive grasp (aperçu) of core issues

Core Questions:
- What do we mean by [key terms]?
- What explicit and implicit needs exist?
- Who are the stakeholders?
- What defines success?
- What constraints exist?
- What cultural/contextual factors matter?

Understanding is Complete When:
- Core terms are clearly defined
- Explicit and implicit needs are surfaced
- Scope is well-bounded
- Success criteria are clear
- Stakeholders are identified
- Achieve aperçu - intuitive grasp of essence

Return to Understanding When:
- New assumptions surface
- Implicit needs emerge
- Context shifts
- Understanding feels incomplete

Explicit Permissions:
- Push back on vague terms
- Question assumptions
- Request clarification
- Challenge problem framing
- Take time for proper nemawashi
Adding Custom Sleep Screen Images to the Kindle Scribe
German fritzbox routers (the most common non-isp routers here, and actually very capable) have a fully random password
The term is recent. Places where you can pay for food are ancient.
I'm sure it's on every cookbook/restaurant/food editor's list of top things to correct.
US has the second highest deceased organ donor rate after Spain despite US being opt-in.

https://www.irodat.org/?p=database#data

I worry about a public opinion chaining on switching to opt-out in the US so it has to evaluated carefully.

I'm guessing the US wait time is long because there are a lot of people with failing kidneys due to poorly managed diabetes and high blood pressure. But there are a whole host of auto immune and genetic diseases also.

Now we have better drugs for treating diabetes like Ozempic and SGLT so hopefully that improves the situation for kidney failures caused by diabetes.

I myself had an auto immune disease IgA nephropathy 10 years back but at that time there were hardly any drugs targeting it. I've since was on dialysis and recently got a kidney transplant. But the positive at the same time a half dozen drugs have been approved or under trial to slow down the progression of IgA nephropathy.