skysight-inc/HackerNews huggingface dataset:
Definitely not a VSCode fork - it's written in Python for one thing :-) In fact it has very few package dependencies other than the standard python libs - just PySide6 and qasync to allow me to use the Qt widget set, and aiohttp to implement the client side of the REST interfaces to the AI backends. The only other dependency is on the m6rclib I wrote a few months ago - that's a prompt compiler engine and that has no dependencies either.

The "coded by AI" is because the AI did the bulk of the code generation leaving me to focus on the design, improving the structure, etc. There are a few places where I did more of the design work (e.g. the structure of the parsers and lexers used for syntax highlighting), but I had the AI do much of the refactoring.

To keep the AI on track I designed a lightweight language, Metaphor, that keeps it focused on the intent of what I want. There are currently about 1300 lines of Metaphor, describing the user-visible behaviour of a 15k lines of Python app.

Of course, I watch the AI pretty carefully to ensure it doesn't do weird things but give it the right context and it's pretty amazing to watch (there's a video of me having the AI build the JSON lexer/parser yesterday morning up on YouTube: https://www.youtube.com/watch?v=E-1XbJkHwHQ). For transparency, I did find one bug in the 300 lines it coded in the video :-)
> There's nothing at the call site that tells you what is happening.

A decent IDE highlights it at the call site.

It's definitely an abusable feature, but I find it very useful. In most other languages you end up having to have completely invisible parameters (e.g. database session bound to the thread) because it would be too cumbersome to pass them explicitly. In Scala you have a middle ground option between completely explicit and completely invisible.
In what you listed under making a sauce, only mayo and the oils need to be weighed (unless it's some ridiculous amount of seeds). If you don't already know whats high calorie you learn quickly, in reality the average person gets the bulk of their calories from probably less than 10 items (flour/rice/chicken/etc).
It's a testbed for new innovations at Tesla and halo product designed to attract attention, not a mass market product. Especially since it's not globally available officially due to regulations on safety, it makes it a highly desirable status symbol due to this exclusivity.

Halo products are important for brands as they seed the perception over the rest of the models of the brand, becoming viral free advertising. Same why Mercedes races in F1 even though their F1 cars and related tech have nothing in common with the road cars.
No. The point of rust editions is that they do break support for older code, which is very different to what go has now settled on.

IMO, it's the best of both worlds. Old code continues to work forever, but your language design isn't held back by older design mistakes.
I was an asshole because this shit is tiring. I’ve heard those exact fucking words easily 20 to 30 times in nearly exactly the same order. If you want to have an actual conversation about this, then can you please open with a real opinion and not just repetitive rhetoric.

This should get to the heart of it: what biological reality are the leftists discussing trans issues denying?

I’ll also respond.

> There are indeed people and whole groups that will call you transphobic if you do suggest certain things about sexual dimorphism between men and women

I expect such people would call you misogynist, not transphobic. I also think it’s mostly down to delivery. People who have issues with trans people often talk about these things in certain ways, so people assume anyone who talks in such a way is a transphobe.

> if you at all question the idea of often very suggestible adolescents being easily allowed to go through the process of gender reassignment

It’s not easy to my knowledge. Adolescents are never given sex change operations, those aren’t even typically given to minors. The interventions are limited to puberty blockers, which are highly reversible, hormones, which they receive after years of therapy to confirm it’s not just a phase, suggestion, etc. and which can still be largely reversed, and social transition, (dressing/presenting as the opposite sex) which hopefully anyone would be fine with. Which part of this process do you find contentious and why? Again, I’m happy to discuss this, and there’s nothing wrong with asking questions about it. In fact, I think it’s extremely important to ask questions about this because it may help to protect children. The issue is that I mostly see people bring this up not because they know something about this process and dislike it, but because they don’t think people should be trans.
Hijacking this thread on a tangential - can folks share some guides on the basics of getting started mixing music? For a total noob who would like to explore this field. Obviously those using open source software (or atleast software that works on Linux) would be the most useful to me.
Having to enter a credit card to start the trial is a massive turn off. Especially at this stage of the product. This will turn of a lot of people from providing any meaningful feedback from HN community.
The loader was fixing up the ELF's .data section incorrectly:

https://github.com/apache/nuttx/issues/15526

https://github.com/apache/nuttx/pull/15527
The whole twitch demo thing is genius and fun. Do printer companies usually not provide a first party apps or integrations?
I think this works only to a certain degree, they will still use as much data as they can use to train the models.

Synthetic data will not replace original data like books.
Synthetic data works very good for math.
I've never seen Andromeda, even when I was in a deep dark sky area and could remember where to look. This [1] NASA picture of the day shows, enhanced to be visible, just how big it actually is in the night sky.

[1] https://apod.nasa.gov/apod/ap201125.html
As an HTTP server author, this doesn't surprise me.

We've ceded HTTP specification development to the big guys, and in so doing have made it more or less impossible to implement without resources on their scale. Have you looked at RFC 9000 et al? They're monstrously big, far larger than most independent shops could ever hope to economically pull off. The only way to comprehensively implement something of that scale is to have Google level resources to throw entire teams of engineers and years of focus at it.

I've long said that any protocol worthy of being foundational should be reasonably implementable as a fourth-year term project. It doesn't have to be production ready or ergonomic or even generally useful, but if a group of fourth year CS students can't pull an end-to-end implementation together in a semester, the protocol is just too complex. It's not perfect, but it's as good of a yardstick as I've found.

HTTP/1 passes this test easily; you can make a working version of it in about ninety seconds right in your terminal. HTTP/2 looks intimidating at first glance, but it's so much better specified than HTTP/1 that it's almost easier to get to a reasonable implementation. HTTP/3 on the other hand is...... well, weeks (if not months) of work just to get a QUIC foundation working reasonably well enough that you could hope to start iterating on connections from a 'real' peer, and THEN you have to start on RFC 9114. Not to mention that the way it's structured you end up doing most of that work in the dark, hoping that you line everything up just so so that your first Hello World actually works. It's a way of working that is completely at odds with the hacker ethos that the best foundational protocols have in spades, and ends up looking and acting like what it is: a tool by the big guys, for the big guys. The rest of the internet need not apply.
It’s the same thing for the purposes of capturing the build environment.

It doesn’t really matter if you have to spin up a Linux instances and then run your build environment as a container there vs spinning up a windows VM.
Comments like these make me want to vomit with how out of touch industry people are. No, fiddling with AWS or writing some simple Go code is not beyond the capabilities of a postdoc... You really are not doing anything that complicated. Switch the roles and you would be completely useless.
Maybe then just label them as cheaters and allow them to only game against other cheaters.
> Implicit context (properly integrated into the type system) is something I would consider in any new language.

Those who forget monads are doomed to reinvent dozens of limited single-purpose variants of them as language features.
Show HN: Learn Japanese Watching YouTube
I had a successful startup exit five years ago (we got very lucky) but recently realized I'm most happy when building software products. I spend the last ~2 months building this as a fun way to get back into software development; and to find out what all the kids are up to these days. I am also a passionate life-long Japanese learner so this project was really fun. It's been nutz how different things are now with all the AI whatnot. This for sure would have taken me a year, without all the AI.

I did not spend much time doing market analysis or any of that jazz. Mostly because I was interested in the journey of building the product. Shocker, there's a bunch of other people/companies doing similar things. Of course, mine is already waaaaaaay better! And different in tiny, hard to understand, but essental ways! Ahem.

I don't know if it can make much money. I don't care really if it does. I personally have been using it and, of course, love it for my style of learning Japanese. It could be interesting, to spend another month, exploring how AI and the latest tools have changed the marketing and customer aquisition process.

Anyways, I'd really appreciate your feedback. On the product, on the idea, on the journey. There's been a few stories here lately about how hard it is to do start ups. Going through the process with this one really brought back some memories, equal parts joyful and painful. Since it only took me two months and I don't really need the money, it's been a lot easier to just enjoy the process without stressing too much. But man, it's easy to get stressed too when you see how many obstacles there seems to be to have even a modest success. It's so hard to stay motivated. I'm pretty sure going forward I just want to make things for the joy of it.
Easy Web UI for DeepSeek-R1 with Ollama: OrionChat
One of the best agent related pieces I've read recently, must read for all IMO
The corporate world is simply a different environment with a different set of rules and a different set of engagements and thus requiring a different set of skills. A director or VP at a startup and a director or VP at a Fortune 500 company are two totally different things.
Next Icons – Icon Library for React and Next.js
Its not all that surprising that the country with 20% of the population of earth has some smart people in it. What is, I think, surprising and fascinating is how China has been focusing on doing more with less - their underdog position w.r.t. hardware has pushed a huge focus on model efficiency and distillation, to the benefit of us all.

I think its a distinct possibility that while the first AGI to say 'hello world' might do it in english, the first open source AGI running on consumer hardware will probably say it in mandarin.
Show HN: Digital Signatures – ID Tokens and PassKeys
PKI, certificates, etc make digital signing a nightmare. With the evolution of passkeys (WebAuthN) and ID Tokens we managed to find a way of design a lightweight and scalable digital signing framework.
Show HN: Simple, configurable sample access.log generator
This container/project was born out of a need to create realistic, high-quality web server access logs for testing and development purposes. As we were trying to stress test Bacalhau[1] and Expanso[2], we needed high volumes of realistic access logs so that we could show how flexible and scalable they were. I looked around for something simple, but configurable, to generate this data couldn't find anything. Thus, this container/project was born.

[1] bacalhau.org
[2] expanso.io
Statistics can do a lot to find data from noise like this, but it is still noise. The biggest issue is nobody knows what variables are important, which are correlated, and so on.

Edit: there is another issue I forget until now: time. Statistically I have several more decades of life left. So even if you get accurate results of my meals yesterday, you need to report when I died, and you probably won't have the meals for the rest of my life. Did some meal I at when I was 10 have a big effect on my life? For that matter if I know you are tracking just one day's meals I will probably eat what I think is better and that doesn't tell you anything about what I eat the rest of the time.

It is easy to track people who have had a heart attack - they are likely to die of another heart attack in a few years so the study times are short. However does having had a heart attack mean either genetic difference such that your results only apply to a subset of the population, or perhaps some other factor of having had a heart attack.
Energy energy efficiency may anchor civilizations – solving the Fermi paradox
Precisely because you need to be able to pass it through third party libraries and into callbacks on the other side where you need to recover the values.
The little blue pill is probably in MyFitnessPal if one really wants to track all their macros.
Network modeling of problematic social media use components in college students
And yet the ubiquity of US tech accounts for the majority of our lifestyle right now. Every US tech company going dark overnight means practically everything goes into a digital dark age.

The US has the world by the proverbial balls. It would take years before everyone can fully divest itself of US tech.
I ban 100% of players. no cheaters! 0%!
My concern about PG isn't that he's "falling in line" so much as ripping the mask off and embracing right-wing authoritarianism:

So what do we do now? Wokeness is already in retreat. Obviously we should help it along. What's the best way to do that? And more importantly, how do we avoid a third outbreak? After all, it seemed to be dead once, but came back worse than ever.

In fact there's an even more ambitious goal: is there a way to prevent any similar outbreak of aggressively performative moralism in the future — not just a third outbreak of political correctness, but the next thing like it?

The more general problem — how to prevent similar outbreaks of aggressively performative moralism — is of course harder. Here we're up against human nature. There will always be prigs. And in particular there will always be the enforcers among them, the aggressively conventional-minded. These people are born that way. Every society has them. So the best we can do is to keep them bottled up.

https://paulgraham.com/woke.html (this entire essay is pathetically ignorant even by PG's standards, but the latent fascism is still very scary)
except you need to install the correct Java version and maven (we really should be using gradle by now)

Also in many projects there’s things other than code that need to be “built” (assets, textures, translations, etc). Adding custom build targets to maven’s build.xml is truly not ideal then there’s people who actually try to write logic in there. That’s objectively worse than the YAML hell we were complaining about at the top of the thread.
Everyone outside China saw tankman and the other protesters get killed by the CCP in 1989. I think another group of brave Chinese like them will one day succeed in defeating the CCP and China will be welcomed into the international community.
Prisons seem like good places to make these kind of studies.
Well, having been in an accelerator there were folks (startups) in my class who shouldn't have been there. i.e. their startups failed but it was blatantly clear why -- mainly immaturity and not listening to advice.

I think your idea would only work if there were rigorous selection process, but also some mechanism to "fire" founders who aren't contributing or insist to make terrible decisions.
its increasing my curiosity because it allows me to run more experiments
Cognito feels like its bones are grinding together
This reason I think more than any of the other reasons stated is the cause.

Once the financiers took control and ensured they would reap the majority of the rewards, the risk/reward ratio was no longer there for many workers who gravitated towards big-tech instead.

Now big-tech is pushing burnout culture hard, and with higher interest rates limiting capital investments from VC's I wonder if we will start to see movements of people away from big-tech to more traditional startups again in the near future?

AI startups I believe are already showing this trend away from big business (and even away from their own 'big business' towards smaller startups within AI), but that probably falls more into the group that "believe in the 'mission'" as you point out.
I doubt very many businesses have anything but a surface level "vaguely gestures toward Azure maybe" plan for if EC2 ever shuts down.
Also, if you have access to the audio tracks from Rock Band (for example you see plenty of examples of Beatles isolated this-and-that on YouTube thanks to Rock Band).
Maybe the other 90% is already spoken for, by investors and shareholders?
What about if the valuation was super low when you received the options agreement?

For instance, if I got $5,000 worth of options when the company was “worth” 1 million, is that a safe bet to buy into?

Like surely the founder would be able to sell the company for 1 million dollars instead of crashing and burning… right?
It may well use 32KB buffers, or any size, but that doesn’t translate to “reading 32KB at a time”.

If you’re aborting specifically an io.Copy, then there are better ways to do that: abort in the write path rather than the read path.

It’s not my job to provide you with alternative code. That’s your job.
Unionize. Collective action is the only way to stand up to Uber and co.
Because there is no court, just algorithm flagging people with some false positives

For "get fucked" measures you need pretty low rate of false convictions
I've heard about using food tracking apps as a planner instead. Instead of logging what you ate, you add what you PLAN to eat for the day, and adjust accordingly to fulfill the nutrition requirements.
I assume it's a relief for parents when their offspring realise a few sentences in that this is The Conversation and they cut to the chase. "Yes mother/ father, I do understand roughly how human sexual reproduction works, and I have been taught about consent, so we're all good right?"
ChatGPT does a surprisingly good job of estimating calories from a picture of your plate. Especially if you add details that are hard to tell from the picture.
It’s also just really hard unless you live off packaged meals or only eat thing that are isolated.

Something like a curry cooked in kitchen and shared among a family is a complete black box as to who got how many calories. Maybe one person got a different ratio of rice to curry. Or this family likes a sweeter type of curry etc
We're talking about 19th century laws. I feel bad for the judge.
Normally it would be for Congress to figure this shit out but yeah they haven't been doing their job for years.
How to do 3. Get to know the pecking order?
This is a bit silly. I was gifted an Ultra, and as a climber/skiier/trail runner, it serves my purposes extremely well. The maps using WorkOutdoors are far superior to what I've seen from Garmin devices (although I haven't tried) and I can always get all-day battery and charge within 30-40 min before bed. Yes, I wish the battery lasted longer but it's a tradeoff I'd always take for a more responsive and usable interface.

One gripe is that the functionality with gloves is a little annoying since you can get false positive screen taps from sleeves/cuffs. A second is that the main button is pressed when doing a pushup or in some situations while climbing, which triggers the emergency alarm mode by default (but is configurable to turn off).

Most adventures are not many days long without sleeping (for me) and this watch works pretty well.
> What is particularly noteworthy is that AI technologies such as ChatGPT may promote learners' dependence on technology and potentially trigger “metacognitive laziness”. In conclusion, understanding and leveraging the respective strengths and weaknesses of different agents in learning is critical in the field of future hybrid intelligence.

Maybe I'm trying to read and understand it too quickly, but I don't see anything in the abstract that supports that strong conclusion.

> The results revealed that: (1) learners who received different learning support showed no difference in post-task intrinsic motivation; (2) there were significant differences in the frequency and sequences of the self-regulated learning processes among groups; (3) ChatGPT group outperformed in the essay score improvement but their knowledge gain and transfer were not significantly different. Our research found that in the absence of differences in motivation, learners with different supports still exhibited different self-regulated learning processes, ultimately leading to differentiated performance.

The ChatGPT group performed better on essay scores, they showed no deficit in knowledge gain or transfer, but they showed different self-regulated learning processes (not worse or better, just different?).

If anything, my own conclusion from the abstract would be that ChatGPT is helpful as a learning tool as it helped them improve essay scores without compromising knowledge learning. But again, I only read the abstract, maybe they go into more details in the paper that make the abstract make more sense.
I do everything in my power to stop the US from funding Israel and any foreign war I think is immoral.
Preprint: https://arxiv.org/abs/2412.09315
I'm sorry dang but there is no consistency at all in this decision making, but I do appreciate your work and think you should review why this is been flagged while other posts about "woke culture" were not as other users said in comments.
>Sometimes I even wonder if other hackers could not hack the machine or other players, to install a software that triggers anti-cheat system: it becomes then difficult to lift the ban.

This appears to be the case in Apex Legends: https://old.reddit.com/r/CompetitiveApex/comments/1bhicc6/cl...

Also I wish more "good" hackers were in games, like the guy in GTA Online I ran into once who was shooting me with a money machine gun because Rockstar are greedy assholes.
I live here 15 years and cross borders to France and Austria quite often. Of course not 100% of the checkpoints are manned 100% of the time, I know quite a few small ones around Geneva for example where you could smuggle truckload of heroin 24/7 for a decade without any worry of ever seeing border police. Also checks are random and not focused on specific things, sometimes romanian van chock full of stuff is stopped and sometimes its swiss family car.

But all major are and were in the past, all frontaliers coming daily for the jobs in all border cantons can tell you about wonders of morning checks corresponding massive traffic jams forming in front of the border crossings, every single day. 1/3 of my office colleagues experience this every day.

Major eastern border crossings are 100% manned though, morning day night doesn't matter.
When you mistake Bridgerton for anything but a funny dress-up for unrooted americans and attempt to legitimize printed porn addictions at the same time.
I mean, it’s not called Startup News. There’s a group that assumes real hackers all want to do startups (and the site is run by some of those), but that isn’t really the culture. We mythologize Woz and Gates and Page, but also K&R and Knuth and Dijkstra.