skysight-inc/HackerNews huggingface dataset:
I enjoyed the examples.

My previous company's lawyers really had success writing complex contracts in LLMs.

The writer one really hits home: a friend who's a writer is able to make amazing stuff with ChatGPT, because he knows how to do it himself. I can only make stupid shit, because I while can recognise quality writing, I don't really know why.

Similarly, I see the same thing happening with junior devs: a lot of them just can't get the answers I get out of Copilot or ChatGPT. I have to sit next to them and tell them what to ask the LLM, or when to say no to a proposed solution.

Similarly, I can get started myself on Computer Vision and Machine Learning projects with LLMs, but I need to hand over to a proper CV or ML Engineer to get the last 10% done.
I guess I should jump back in and clarify what I left unexplained when starting the thread.

Contrary to "couilles", which are indeed "bollocks", "couillon" has no exact english synonym. Closest I can imagine, in spirit, would be "bollocks-brained", or "nutcase" which also carries the anatomical undertone.

So, "un détrompe-couillon" could directly translate as "a foolproofer" - though that translation is tamer than the original for lack of testicles.
calling factorio the worst videogame implies you think there are good games out there to play - which ones would that be? (And why wouldn't those also be a waste of time?)
It doesn't even matter whether this is painful for the body or not because you (as in your consciousness, your mind) are not there to witness the process and experience any physical feelings.
Same -- much harder to get them to go the other way. I'm surprised that cross-eyed random dot stereograms never took off; so much easier to do.
WhatsApp Added Llama Integration
Even simpler, note that the first two examples are essentially just two of the most basic boolean algebra identities. Replace UNKNOWN with a variable and change the notation to the more conventional boolean algebra notation and you've got:

1. x ∧ 1 = 1 (identity law for conjunction)

2. x ∨ 0 = 1 (identity law for disjunction)
Thank you. In the dawn to f the unix wars, after giving up on Xenix, and getting a fast 386, someone loaned me a copy of the runtime - what a breath of fresh air. After a week, I ordered the full package. I remember some things it would do - like it snapped. Then documentation left something to be desired, so the company send me a disk of the updated documentation,and it's short comings were no longer a concern.

Apparently it impressed Dennis R. Enough to say it was the very best clone, and no, it did not infringe on the source code.
Starlink is now cheaper than leading internet provider in some African countries
Moreover, you can walk around inside the ship and see the cabins they lived in, indeed an incredible, immersive experience.

Came here to say that Amundsen is a great example of someone who did hard things and made them look easy. Nansen also. And Shackleton, although he didn't make them look easy...

Basically everything written by Roland Huntford about polar exploration is great inspiration. The Last Place on Earth covers Amundsen and Scott (the latter who did difficult things and made them look hard and died.)
The winter climate is comparable to, even milder than, large parts of the US including large cities like Boston, Chicago, Minneapolis that have significant homeless populations.

Homeless people are not necessarily completely shelterless, in a survival sense. They're associated with tents for a reason.
I just asked what you wanted evidence for

You can just explain why you think this is happening now, that would be at least some evidence. Are you asking what evidence is for at all? It's so that people don't just say what they want to be true without any checks to make sure it actually is true.
Or at least call it out as a disclaimer? I read this whole article a few days ago when it came by on this site and that would've been real nice to know.

Really puts the whole thing in a different perspective, knowing he's FUCKING SELLING ME SOMETHING.

I'm so sick of this!
Your understanding how HIV/AIDS was treated successfully is completely wrong. HIV/AIDS was treated through an absolutely enormous amount of research and a careful negotiation between the scientfic community and the diseased community.
That doesn’t work though.

The people in the games are there because they are gambler types on some level. A person with student loan or credit card debts wouldn’t be a very interesting player, a person with medical debt might not even care about paying back their medical debt enough to risk their life.

These people want to make a fortune to pay off their debt and live lavishly.
> in USA, I bet the overwhelming majority of homeless are citizens born in USA, not immigrants

Correct.

"There was no significant difference in rates of lifetime adult homelessness between foreign-born adults and native-born adults (1.0% vs 1.7%). Foreign-born participants were less likely to have various mental and substance-use disorders, less likely to receive welfare, and less likely to have any lifetime incarceration." ("The foreign-born population was 46.2 million (13.9% of the total population)" in 2022 [2].)

[1] https://pubmed.ncbi.nlm.nih.gov/30739834/

[2] https://www.census.gov/newsroom/press-releases/2024/foreign-...
I used to work in this space. Your best bet is a recent iPhone. There are a lot of them out there, they're usually up-to-date, and Apple only releases a handful models with relevant differences per year.
Arguably, if 'real' Agile is ever found Formal Methods would be the antithesis of it: something provable and reproducible is blasphemy to True Believers.
This is effectively how Pluto was discovered (not cross-eyed, but with a tool to help):
https://airandspace.si.edu/stories/editorial/finding-pluto-b...
EB Sledge - With the Old Breed is the account of a combat infantryman in WWII in the Pacific. It's about the fear, misery, and despair soldiers faced as they struggled to survive the horrors of war. It was the basis for HBO's The Pacific (successor to Band of Brothers).
it was striking to see Hong Kong in the British-law phase.. there used to be social layers including homeless and "boat people" but the British changed that .. under the British law, every single person and every single place to sleep was counted, numbered, licensed and taxed.
> it seems (from outside, as a European) that the loudest voices, at least on the political right, are also the most religious

It's good that you recognize you're getting an outsider, biased viewpoint... because as an American, I can't square this with my experience at all.

If we were talking about 25+ years ago, then yes, the Republican party had a strong connection to a Christian base of voters and religious influence on policy was significant. Today though, it's an utterly insignificant special interest group. I doubt any religious group would crack the top 100 most influential lobbying groups, unless you count Israel but that feels distinct from religion.

The Democrats are essentially anti-religion, other than a vague desire to be inclusive to diverse religions. The Republicans are able to make a little political hay because of this ("War on Christmas" type stuff) and sometimes various elements of vices (drugs, prostitution, gambling, porn) or other ethical concerns (death penalty, abortion, assisted-suicide, ending life support) are influenced by religious beliefs.

Look at the fact that Donald Trump just won the popular vote and a decisive victory across broad demographics. His connection to Christianity is about as strong as any politician's connection to whatever regional food dish they eat for a photo-op one night on the campaign trail before moving on to appeal to the next city by doing their local cultural thing.
Front page of HN. Funny to imagine thousands of people sitting in the office crossing their eyes at their computer screen right now.
Start Charging for Browser Extensions
You might like my Chrome extension.

https://chromewebstore.google.com/detail/lichess-print-frien...

It pretty-prints a PDF directly from lichess.
How to Build the Future: Parker Conrad [video]
> "Superintelligence isn't about discovering new things; it's about discovering new ways to discover."

Wow I love that quote.
Charged in 12 Minutes! Korean Scientists Develop Next-Gen Li–S Battery
The key part:

The lithium–sulfur battery developed in this study utilized the multifunctional carbon material synthesized, through the simple magnesium-assisted thermal reduction method, as a sulfur host. Even under rapid charging conditions with a full charge time of just 12 minutes, the battery achieved a high capacity of 705 mAh g⁻¹, which is a 1.6-fold improvement over conventional batteries. Furthermore, nitrogen doping on the carbon surface effectively suppressed lithium polysulfide migration, allowing the battery to retain 82% capacity even after 1,000 charge–discharge cycles, demonstrating excellent stability.
I've done both. One of the really fun things with Rails 8 is getting PWAs out of the box and using Hotwire for Native apps with not much more work.

It wont cover every use case but for what I do it's amazing.

https://hotwire.io/
I remember one reviewer that couldn't make the Coherent copy of uucp to talk to another Unix machine's uucp, but that it worked fine between two Coherent machines and, therefore, joked it should be renamed cccp (as in Coherent to Coherent Copy Program)
Run the code base through Gource. It will give you a visual on the history of the project and where all the time is being spent. This video is cool to show management.

Make sure you understand the business problem.

Document your pain points for the next person. Document, don’t just learn, and share it with your team.
The Bitcoin-on-a-hard-drive-in-rubbish-dump case report
is there a leftpad crate?
To just link this with no context, it really needs an intro that summarizes in one sentence what it actually does. The description currently reads like a bunch of technobabble.
I love this take, and it is something that can be seen in real life as well. It is particularly apparent on a show like "Alone" where people try to survive in the wilderness for $500k. Most of the contestants are professional survivalists who need the money to get their own land to build and farm on.

I love watching it for the survival strategies and the human endurance aspects, but it does feel a bit dirty when they start talking about how badly they need the money as they try not to starve for a few more days.
In a senior role, you'll spend more time working with people who aren't developers. PMs, designers, managers, etc. In your first few weeks, book a little bit of time to meet them. They'll appreciate the forwardness, you'll quickly expand your network in the company, and it can be the start of a good working relationship that pays off 3-6 months later.
Context: I was an early strategic technical hire by a director/manager/CTO 3 times to help execute process changes and lead new initiatives healthcare SaaS companies between 2014-2020 and then started working in strategic cloud consulting since then where I am brought in to get developer, operations and the “business” to be better aligned and/or to lead new initiatives.

I’m currently a “staff software architect” at a 3rd party cloud consulting company.

What not to do:

1. Disrespect current processes. What you call “legacy code” was done for a reason, is generating revenue, solving real world problems, and the reason you have a job

2. Make any suggestions about improving processes before you have been their at least 90 days and understand why the current system is like it is.

3. Suggest rewriting something or introducing new to the company technology until you have worked there 90 days. Especially don’t start doing resume driven development.

What to do:

1. Set up a meeting with sales and ask them to “sale you the value proposition of the product as if you are the customer”. Ask questions as if you were a potential customs and raise objections to the product as if you were customer. Sales is usually very good at answering those questions.

2. Talk to your manager and ask what are their 90 day and 1 year plans for your team and make sure your work is aligned with the goals.

3. Get to know the pecking order. The org chart will not show you who has the most influence in your department.

4. Setup “getting to know you” 1-1’s. What are people working on? What do they want to be working on? What are their biggest pain points? What would they improve if they had a magic wand?

5. Pick up small stories, bugs to get familiar with the development process.

6. Learn about pre-wiring a meeting when you are trying to suggest changes. Do a POC, talk to the person who might have the biggest objection or has the most influence and work collaboratively to address their objectives. Keep doing that for more people on your team. It helps get more people on your side.

ADKAR change management model

https://www.prosci.com/methodology/adkar
See also this week's IEEE Robot Friday for another uav with bird-inspired legs:

We’ve seen hybrid quadrotor bipeds before, but this one, which is imitating the hopping behavior of Jacana birds, is pretty cute. . . .What’s a Jacana bird, you ask? It’s these things, which surely must have the most extreme foot to body ratio of any bird

https://spectrum.ieee.org/video-friday-arms-on-vacuums
The twin paradox holds in a Pacman universe where there is no change in direction.

The main issue with the twin paradox is that it demonstrates where our euclidian intuition fails us.

There are several interpretations on how to resolve it, but they are all just flawed lenses, intended to help you along a curriculum until you understand the math, and also understand the limitations of intuition.

The 'turn around' explanation is part of that and unfortunately often sold as the ultimate resolution.
Is Technical Content Important?
I just wanna start by saying I am posting this because I am curious but I am also interested offering technical content writing/production for startups.

I think we can all agree that in this day and age you need to have some sort of presence with "value" to offer to your potential customers. For example, Digital Ocean and LogRocket do this very well and tend to attract a lot of customers via their technical posts that don't directly advertise their business. But I also realize that it's really hard to continuously write technical content. It actually takes a lot of effort and experience.

So I am wondering as a founder how much do you care about this? Do you think your business can benefit from technical content?

I'd love to chat if that's something you're considering. Cheers :)
Solo Development: Learning to Let Go of Perfection
I worry that vision is not going to become reality if the large observability vendors don't want to support the standard.
I have read that too, twice. I love the part that they talked about the microcode, and all others too. Maybe you should write a post about your experience too :) I'm sure it's going to be a blast to read.
ESA budget dips slightly in 2025
C syntax is already way too rich and complex.

We need a C- ore µC:

No implicit cast except for literals and void* (explicit compile time/runtime casts), one loop statement (loop{}), no switch/enum/generic/_thread/typeof/etc, no integer promotion, only sized primitive types (u64 s32 f32 etc...), no anonymous code block, real compiler hard/compile time constant declaration, many operators have to go (--,++, a?b:c, etc)... and everything I am forgetting right now (the dangerous struct pack attribute...). But we need inline keywords for memory barriers, atomics for modern hardware architecture programming.
Notes are extremely helpful, including those about coworkers you meet. Write down every detail during or after your meeting. Use a mind map program (miro works ok).

With the power of LLMs, notes will be even more helpful as we come up with more innovative ways to parse our daily lives.
> doesn't even matter whether this is painful for the body or not because you (as in your consciousness, your mind) are not there to witness the process and experience any physical feelings

We have no known way to know this.
What Dr. Ruth Left Behind
I don’t measure req/sec here, but at one point, I had 2.8k visitors in an hour. Before rescaling, it was running on Hetzner’s CPX11—2 vCPU cores shared with a few other Rails apps. (I didn’t expect it to go viral at all)
Anchoring the Free Software Foundation in its values
This is why it should be the c-suite making the final call, it might not seem like a lot of work but an hour of your time is in the region of $100-$150, but a full time IT person can be hired for €60/hr.

At some point your 0.2 becomes 0.3 and eventually crosses a threshold where it just makes sense to dedicate a resource for cost reasons.
I do see a point though. Ostensibly, sure, it's hard to be so confident that a program does not have a certain feature that you can deny it without looking.

But think about this case. Would it make sense for git switch to have a delete option? Of course not. But you can't be sure, because, git. The feeling is that they would merge something like that.
To me this seems obvious. Copilot might generate wrong things, but what I've seen tends to be human-readable. My experience with Lean is that it feels very much like a functional programming language like Scala, so I'd have to assume that a coding assistant that also knows Lean syntax/libraries would work just like any other programming language.

There will perhaps need to be a transition period where we might need to look at basic type theory augmenting or replacing material in introductory proof classes. Instead of truth tables and ZFC, teach math-as-programming. Propositions are types, implications are functions, etc. If you have the right foundation, I think the stuff ends up being quite legible. Mathlib is very abstract which makes it harder to approach as a beginner, but you could imagine a sort of literate programming approach where we walk students through building their own personal Mathlib, refactoring it to use higher abstractions as they build it up, etc. In a sense this is what a math education is today, but with a kind of half-formal, half-natural language and with a bunch of implicit assumptions about what techniques the student really knows (since details are generally omitted) vs. letting them use whatever macros/tactics/theorems they've learned/created in other courses.

This could all be especially powerful if the objects you're working with have good Widgets[0][1] so you could visualize and interact with various intermediate expressions. I see tons of potential here. The Lean games[2] also show the potential for a bright future here that's kind of along the lines of "build your own library around topic X" (the NN game has been posted here a few times, but it's actually a framework with other games too!).

[0] https://lean-lang.org/lean4/doc/examples/widgets.lean.html

[1] https://github.com/leanprover-community/ProofWidgets4/blob/m...

[2] https://adam.math.hhu.de/
I had never done the parallel view before either- spent 5 or so minutes at it and finally got it. For me it's still takes a fair amount of effort to maintain it (unlike cross view that takes effort to stop seeing it instead) but the 3d looks way more impressive somehow. Like the Toronto crowd one- hadn't seen so much depth in a "magic eye" before
It's the same type of argument because both of them are based on the flawed idea that there's some clear dividing line that an entity falls on exactly one side of. The trouble is that there's not, for either "engineering" or "programming languages". They're both fuzzy concepts, and where you draw the line is pretty arbitrary.

Another similarity is that in both cases there is an implied value judgement—both sides of both arguments see one side of the dividing line as being "better" somehow than the other side, and want to either be included or to defend the integrity of the "better" side.
> My point is that I rarely don't regret (for my careers sake) jumping in and delivering (obvious to me heh heh) value right away because I see the code I see where it ought to be and the new boss is really eager to see somethin, but I'm steamrolling toes and throwing elbows in eyes that I was entirely unaware of. I guarantee the people you will work with do not see you as a senior for some time, any misstep is a case against your status,

This is the best advice. And truly senior level people have been around long enough to see a lot of mid-level "senior" developers shoot themselves in the foot. I've also been on a lot of projects where bad practices aren't so bad because the team has strengths in other areas, and also best practices which collapse because the team has other deficiencies holding them back.
I forgot to mention that yes, it's built with Rails.
https://weuserails.com/ruby-on-rails-websites/we-use-rails
> but there is no natural reason for one’s eyes to diverge.

When you’ve finished looking at something close to your face and your eyes need to uncross. So you do that eye movement while still holding the image close to your face. Note you are looking “past” where the image is. As long as the image is closer than your infinity focal view you can do this, it doesn’t have to be close to your face necessarily, Magic Eye posters on walls do work.
The term predated the movie.

https://en.wikipedia.org/wiki/Battle_royal_(professional_wre...
Body's Carbon Likely Took an Intergalactic Detour Before Reaching Earth
Doesn't even have to be sectarian -- we are witnessing US/Europe schism happening right now and it can cut very deep.
Meta's dehumanizing new speech policies for trans people
> Yet Turing machines are about as far from abstract mathematics as one can get, because you can actually build these things in our physical universe and observe their behavior over time (except for the whole "infinite tape" part)

The infinite tape part isn't some minor detail, it's the source of all the difficulty. A "finite-tape Turing machine" is just a DFA.
The 2018 biopic is also absolutely gorgeous: https://www.imdb.com/title/tt3319730/plotsummary/
I always find that metric kind of interesting in that it's only grown less than 1% in the last three or four years. In the preceding period of the same length, it gained 10%. I anticipate this year's numbers to show loss, in no small part due to Matt's dogged contributions.
You know what they call Battle Royale in France?

Hunger Games with Cheese.

I saw Battle Royale as a subbed bootleg around 20 years ago. Fantastic B-movie, and I understand some of the young actors got some notable roles as they got older (Takeshi Kitano was there because he was Takeshi Kitano), but it’s still a B-movie. Good time though, even today.

As an aside on Takeshi, for those who want to go down a rabbit hole, dig into “Takeshi’s Challenge” on the Nintendo Famicom. That game is a trip.
I've used this to quickly read through a few hundred page documents given to us only as a scanned pdf which was too low quality to run ocr (at the time) on. The sleazy counter party was very upset when I came back with notes on them not adding the changes we asked for on the drafts they sent back within minutes of them sending them back.