skysight-inc/HackerNews huggingface dataset:
Once mining ends, in 2140 (for which we will be long dead), I am confident that people will figure out what to do from there. All the incentives are aligned and yes, it can be changed if 51% of the miners agree to it.

Most miners mine to a pool. It is the pools that keep the ledger in memory as they have to host a full node. You're wrong about storage/compute being pushed to their limits. BTC chain is only 622GB.

I'm talking about utility in the sense of within the ecosystem. As far as I'm concerned wrapped BTC is the future. As long as it is on a PoS chain, it is free of the energy argument too.

I'm not writing anything off. He's president and you can't get around that. I didn't vote for him, but I'm certainly not going to sit around whining about it.

> I do short it - I sold my ETH, Chainlink and Bitcoin years ago.

That's not shorting it. Shorting it would be to borrow Bitcoin, sell for USD, hoping to buy it back for cheaper and then pocket the difference. If you had done that years ago, you would have lost.

Your long rambling personal story rant is nice and all but... ¯\_(ツ)_/¯, it just makes you sound angry at your previous decisions and losses. Fact is the price of BTC just hit a new ATH again, today at $103k. That doesn't imply death to me. You might consider taking a step back and realizing that your family members that you seem to hate so much, might be right.
SEEKING WORK

Location: Tunisia

Remote: Yes, worldwide

Skills & Expertise: Angular, Vue.js, Java, Spring Boot, Keycloak, Docker, Ansible

I am a frontend-focus Software Engineer who started in 2015 (2019 in the software industry) with successful development experience in Angular, Vue.js, and Spring Boot. Recognized consistently for performance excellence and contributions to success in front-end and full-stack development, collaborated on software projects in various industries and business domains.

LinkedIn: https://www.linkedin.com/in/sayfessyd

Portfolio: https://github.com/sayfessyd

Email: mail.sayf@yahoo.com
I'd love to see a Cybervan.
I’m pretty sure these emails are public for exactly that reason.
> I’ve always liked blogging about calendrical things, but I don’t remember doing anything on the Metonic cycle before. If I had written faster, I could’ve published it on Friday the 13th. Too bad.

On the other hand, you published it during a full moon. That's at least slightly appropriate given the subject matter :)
Think of it more as just getting to the one function that you are using. I think a cell free technique that people might have heard of even in high school biology at this point is the polymerase chain reaction. Rather than have some cell we grow in some growth media under certain conditions optimal for cell growth and harvest cloned DNA from these cells, we have isolated the involved protein directly (DNA Polymerase). We know exactly what temperature is most optimal for each step, and infact depending on what targets of DNA we are looking at certain temperatures may be more optimal for these targets. We know the exact pH that these molecules are most effective at and this might not even be a pH found in the cell but one determined empirically by measuring enzyme activity across a gradient of pH and/or temperature ranges among other potential conditions. We know the inputs and reaction and can supply just enough of these molecules as we need to drive satisfactory yield in order to decrease our costs. We can optimize the timing of this temperature-dependent reaction again to the specifics of the DNA molecule that we are amplifying. We can change how quickly this reaction is heated up or cooled down to optimize for product yield. We can change out components of this reaction such as our enzyme for ones that might operate faster with less accuracy, or ones that operate slower with higher fidelity, or ones found from other species that might have these properties, or engineered proteins that might have these properties.

Many reasons why you'd want to go cell free. You are no longer binned into the cell but are now just throwing things into a tube where you can control all the parameters that matter for your desired function.
I'm pretty sure a tablet was released, then scrapped sometime in the first month or so after release - TouchPad, IIRC? It got no support from HP or Palm. I seem to remember a quote from some exec saying something like "the market demands a $499 tablet" or something like that, and TouchPads weren't selling. But when they were discounted to $99 - $149, they sold out instantly. They even did a second production run and sold more at $249.

This was a huge missed opportunity for Palm. WebOS was pretty good at that time. They needed more software for it - this is a perpetual problem for most platforms at launch. Seed the market with good hardware, invest in developers, and let it churn for more than 2 months before killing the whole thing.

https://en.wikipedia.org/wiki/HP_TouchPad
It's frustrating whenever folks throw up proof complexity as why LLMs can't work. If most programs most people want to write can map into predictable & verifiable abstractions, or we recognize almost no software is verified to beginwith, we realize the world is already moving on irrespective of personal hobby horses here. Shocker: Much of the world we interact with every day already runs on PHP, JavaScript, and untyped Python that is not verified, not type checked, and has repos overflowing with bugs and CVEs.

Prof. Dawn Song IMO has been articulating a more productive view. LLMs are generating half the new code on github anyways, so lean in: use this as an opportunity to make it easy for new code to use formal methods where before it would have been to hard. Progress will happen either way, and at least this way we have a shot at bringing the verifiability in to more user code.
Tooling/machining parts/sizes have their own world of units, with a pretty varied history.
Silk worms would starve to death if left alone.
Crystal ball trading challenge: test trade stocks knowing tomorrow's news
Will Trump ban H-1B visas? The issue could divide him and Elon Musk
Appreciate the concerns but they're non issues.

Stock doesn't matter for my case.

The browser has storage options to handle close and reopens.

Prices in each currency are all in ints (i.e. cents) to avoid float issues.

There are problems to address on either end that you have to be aware of.
"To flip this around, imagine you would remove the functionality that Vim mode in VSCode gives you from Neovim. "

I keep rereading this and still don't understand it!
maybe not, being stainless steel (at least the body is. Don't know about chassis, if there is one)
> One downside of this approach though is it takes a long time for our app to boot

Another is that you're leaving a lot of memory saving on the table by not benefiting from Copy on Write.
Dupe (213 points, 13 hours ago, 121 comments) https://news.ycombinator.com/item?id=42422077
Christopher Hitchens Epigrams That Aged Like Fine Wine
I hate to say it because it many companies will be extremely frustrated if you do this, but if you just want to maximize self-interest the move is definitely to go through the whole interview process without mentioning that you want part time, then bring it up at the offer stage. Some will be annoyed, but you’ll avoid getting filtered out before meeting an actual decision maker who can make an exception for you if they like you.
I find it slightly heartening to consider that all biological life is already a long-running Gray Goo apocalypse, and one of the inheritors of that legacy are towering trillion-unit megastructures with eldritch hiveminds were call "people."
The comments on this article on the WaPo website are scorching.

Do major papers read their comment sections? Like maybe an intern skims them? Or do they do sophisticated sentiment analysis? Since the Bezos decision to not endorse Harris, WaPo's comment sections have been extraordinarily negative to my eye, with a ton of comments about Bezos mandating particular viewpoints and slants.
I don’t follow. What happens when they need care themselves? I read about layoffs in American auto manufacturers all the time. How does the value added by this paper-pushing bloc outweigh our collective health?
No. Just no.

Design docs should capture reasons.

Even if the code is throwaway, the reasons for the flow and process modelling for the use case don't change at the core. Some implementation details might change and the design may certainly also change accordingly, but the process is generally stable.

That's what should be captured in design docs.
He was a true accomplished trailblazer with a compelling corporate and personal story, and didn't mind hurting feelings along the way. History is built on these people like it or not.
Same. I did really like webos when it was finally released, I got one of those HP touchpad and happily used it. But it was too little, too late.
> Americans have to wait until age 65 to get socialized medicine, which is why the majority of Americans approve of expanding Medicare to all age groups.

It’s hard to analyze. But people slightly under the age 65 line with private insurance (60-64), and those slightly over with Medicare + private insurance (65-69), have higher survival rates than those with Medicare alone (65-69).
https://hollingscancercenter.musc.edu/news/archive/2021/05/1...

> I’m quite doubtful that affluent European countries have similar inequality levels that the US has with, e.g., the wide gap between infant mortality rates between Black and white women.

It’s even higher outside the U.S. In the Uk, the black infant mortality rate in the UK is 3x the white rate, versus 2x in the U.S.
https://www.theguardian.com/global-development/2023/nov/09/b...

https://abcnews.go.com/Health/black-infant-mortality-rate-do...

France would be the other Western European country with a large black population, but they don’t allow collecting racial statistics.
Petri dishes? I thought we let those suckers spawn in giant vats when we need to produce sizable amounts of proteins
Because under him, Apple made beautiful products. And set the standard for everything that came next.

That he was (probably) a bit of a dick isn’t enough to change that fact.
LLM performance: An introduction to speculative decoding
Yet after a massive paper trail, "do not call" lists, and "gentlemen's agreements" with C-level executives between not just Apple and Google but with a large majority of SV in a conspiracy to avoid competition in wages. [1] The only response was a civil class action lawsuit. No jail time.

Oh, but we do get to look at their dirty paper trail.

These people will never learn. Protests haven't done jack shit. Stock market speculators reward their shitty behavior. Government isn't doing their job either due to incompetence, a revolving door policy, or politicians using the threats of DOJ to get billionaire favors/donations.

The only thing I have seen work? A lone gunman with an axe to grind against a corrupt industry, careful planning, a gun, and 3 bullets with a message sent directly to the CEO. In the wake of that aftermath, healthcare industry was shook. Anthem BC/BS withdrew their cap on anesthesia coverage almost immediately. [2] Near unification across the board regarding how bad the state of healthcare is in USA.

I'm fortunate enough to not be impacted, yet. But seeing the increasing disparity between poor/middle class and ultra wealthy is disheartening. We are slowly entering a second gilded age, if not already a reality for some or most people.

[1] https://www.theverge.com/2012/1/27/2753701/no-poach-scandal-...

[2] https://www.npr.org/2024/12/05/nx-s1-5217617/blue-cross-blue...
You do also pay a premium because they use use panels designed for 24/7 operation, sunlight readability etc.
This is called prototyping, which is a valuable part of the design process; some people call it "pathfinding".

These are all inputs into the design. But a design is still needed, of the appropriate size, otherwise you're just making things up as you go. You need to define the problem your are solving and what that solution is. Sometimes that's a 1-page doc without a formal review, sometimes it's many more pages with weeks of reviews and iterations with feedback.

Don't forget: "weeks of coding can save hours of planning" ;)
Trump's tariffs are dividing business owners across the country
Prototypes discover constraints, docs document them (as well as what problem is being solved, what solution was chosen under those constraints and what are consequences).
Polars is much more useful if you’re doing complex transformations instead of basic ETL.

Something under appreciated about polars is how easy it is to build a plugin. I recently took a rust crate that reimplemented the h3 geospatial coordinate system, exposed it at as a polars plugin and achieved performance 5X faster than the DuckDB version.

With knowing 0 rust and some help from AI it only took me 2ish days - I can’t imagine doing this in C++ (DuckDB).

[1] https://github.com/Filimoa/polars-h3
Jobs tries to bully and threaten a smaller company into signing an illegal agreement and all you have to say is how great of a writer he is because of how few sentences he wrote?
> because …, there is no longer any culture of letting kids go out and socialise

Are you frakking kidding me? We can bring that back. That’s no reason to allow social media + mobile phones to poison society and youth.
Jump | Staff/Principle Engineer | Full-time | REMOTE | $180-$260k

We’re jumpapp.com! AI For Financial Advisors

Small, face-paced, strong PMF, growing fast

If you know Elixir (or would be excited to learn it!) and the following sounds fun to you, please come help us build an awesome product & company!

Fully remote OK. We’d like it if you’d fly in occasionally to get to know you.

APPLY HERE
https://careers.jumpapp.com/32833
> “It is impossible,” he said, referring to the Cybertruck’s sharp paneling, “to make a rounding of 3.2 millimeters on a 1.4-millimeter sheet of stainless steel.”

That's funny. Other car manufacturers use sheet metal and/or sheet's of other materials. Yet they somehow manage to do it.
Yeah, I’ve seen enough of both to know that this is genuine.

The problem with resume-driven technology choices are a kind of tech debt that typically costs a lot of cash to operate and perhaps worse, delivers terrible opportunity costs, both which really do sink businesses.

Premature scaling doesn’t. The challenge is not leaving it too late. Even doing that though only has led to a very few high-profile business failures.
I feel your pain

My cross over is Finance and tech. I get all the time, 'I really need someone like you' but never a solid commitment.

I had to change jobs earlier this year and all these contacts evaporated! I really would like to help a series of companies rather than just one for 5 years at a time.
cars too
Colligan was putting down what had occurred in writing so that the details of what Jobs had said would be a matter of record should it come to a lawsuit down the line.

This is a common - and highly useful - strategy if you've just been in a meeting where things have been said that you were uncomfortable with.

Being succinct would have defeated the purpose.

This is a useful strategy to employ in all kinds of situations. A dated note written shortly after the event is going to carry more weight than recollection later. An e-mail sent to the other party that they have not contested the understanding of is going to carry more weight than just a note.

And if, as Jobs did, your other side responds, you now have ammunition for any future lawsuits.

EDIT: Creating a paper trail is a method to take note of in other contexts too. Your manager at work asked you to do something unethical? Summarise your understanding of the conversation in writing and ask if you understood it correctly (a lot of the time, the request will magically become a misunderstanding).
And there were add-on boards that gave higher resolution (very relatively speaking) graphics.
If a strip of rubber DIY'd on sidesteps sharp edges rules then I'll be disappointed in the UK regulator.
printf '\e[48;5;196m\e[93m test \e[!p\n'
Ah, it is the one in economy that is not actually an official Nobel prize, but a prize in his memory or something like that.

https://en.m.wikipedia.org/wiki/Nobel_Memorial_Prize_in_Econ...
Congratulations to Greece as well for finally becoming a land Schengen member.

It only took 25 years.
This is high level chess, I am certain that Jobs read that as the opening legal salvo it is. That’s a bigger threat left implied, and the smaller one was made plain (patents).
Well, a string is unicode nowadays. And for sure not just a zero-terminated blob. That would be a buffer. Only the Linux kernel still holds this invalid view.

So every string library needs at least a compare function to find strings, with all the variants of same graphemes. Which leads us to NFC normalization for a start. Upcase tables and wordlength tables are also needed.
That last one is so underrated.
+1 for "How Big Things Get Done". It changed the way I run projects. I got lucky in the sense that I was able to convince my corporate overloads to allow us to have separate Discovery and Delivery goals, on the premise that discovery is cheap and delivery is expensive (the former significantly reduces risk of the latter) and we show our work. Discovery goals come with prototype deliverables that we're ok not shipping to production but most times lay the foundational work to ship the final product. Every single time we've found something that challenged our initial assumptions and we now catch these issues early instead of in the delivery phase.

We've fully embraced the "Try, Learn, Repeat" philosophy.
Here is another video from the Pentagon from five years ago where they developed a plasma technology that looks very similar to the glowing orb. On another note, I'm wondering why Hacker News seems to ignore this topic. I don't see any drones or orbs on the front page.

https://youtu.be/UYr3zPP5rCw
That's an all-time great comment. Thank you very much.

Yeah, it makes sense that, because Nature wastes nothing, the entire system is required to produce that wonder material. Our focusing just on the chemical structure of what is produced in its "glands" (?) is indicative of our having only a shallow grasp of the intricacies of our world, especially of its life.

Nature grows ever more wondrous the more we learn about it.
I use Emacs with Evil. But for looping macros on big files I use Neovim.
Did we read the same emails? The Jobs email felt like a toddler's emotional response, whereas Ed's was thoughtful, considered, while still sufficiently short and to the point.
> Another important point is on using PRs for documentation. They are one of the best forms of documentation for devs.

This feels true, and also why design docs are important for projects that involve roles beyond software development, where PRs can be among the worst forms of documentation.
It’s a closed source POS with unpredictable performance. Talk to people who have actually been forced to use it and many have terrible experiences.

https://news.ycombinator.com/item?id=16170955
This is the wrong way to look at it.

If the employees of these massive companies who illegally suppressed their wages hadn't done so then the companies wouldn't be so massive, and the employees would have more money and some of them would have had more resources to start competitors to the hypothetically less well moneyed giants.

This would have lead to a scenario where there's more competition in the market which means more innovation, more jobs for other people in tech, and lower prices for consumers.

Unfortunately this didn't happen and we're all worse off for it.
I'm interested in your fractional CFO roles. I'm interested in doing Finance at tech companies. I'm based in the UK which may make it harder
No, Apple ended up licensing the patents (Jobs bluster was BS): https://www.cnet.com/tech/tech-industry/apple-pays-10m-to-li...
Antimatter Propulsion Is Still Far Away, but It Could Change Everything
It's fully symmetric. Basic arithmetic covers the following identities:

1. (a² - b²) = -(b² - a²), because of even powers
2. (a - b) = -(b - a)

So the following two statements are the same statement:

3. (a² - b²) = (a - b)(a + b)
4. -(b² - a²) = -(b - a)(b + a)

Let's assume this only holds for a>b (because we're content that the geometric proof shows that):

3a. (a² - b²) = (a - b)(a + b), a > b

But we don't know if it also holds for b>a... after all, how would you show a negative areas? What does that even mean Turns out: it doesn't matter, the b>a relation reduces to the same formulae as the a>b relation, so the geometric proof covers both. To see why, some more elementary algebra: we can invert both sides of (4), provided we also invert the relation between a and b, so this:

4a. -(b² - a²) = -(b - a)(b + a), b > a

Is the same as this:

4b. (b² - a²) = (b - a)(b + a), a > b, by inversion

Of course, algebra doesn't care about which labels you use, as long as the identities and relations between them are preserved, so we can swap "a" for "b" and "b" for "a" in both the identity and relation in (4b) to get:

4c. (a² - b²) = (a - b)(a + b), b > a

And we found a symmetry that we (maybe) didn't realize was there:

3a. (a² - b²) = (a - b)(a + b), a > b
4c. (a² - b²) = (a - b)(a + b), b > a

Same formula, inverse relation. It turns out that it doesn't matter whether we start with a>b or b>a, they reduce to the same expression, thanks to those even powers, and a geometric proof for one is by definition a proof for the other.
Do you have any links for Prof Song talking or writing about this? Sounds interesting
Design docs are only as good as your knowledge about the problem you want to solve and knowledge about tools available for solving it.

If there are more unknowns than knowns imo its better to start with prototype to explore problem first and then eventually come back to planing.
Openstreetmap.org is offline since 18 hours
I think when trying to understand SSR, it's worth remembering what actually was happening with older systems like PHP. You say that outputting HTML in PHP is `view = f(state)`, and this is to a certain extent true, but it meant that anything on the client side was then `view = f_client(state_client, f_server(state_server))`, and getting applications to remain sane with anything more than the bare minimum of interactivity was painful. I remember this era, and debugging constant state issues was very much the reason that we ended to moving towards client-side web frameworks: you only have to worry about one `f` and (mostly) one `state`.

In my experience, most of the people exploring SSR are very acutely aware of that era, both the benefits and the negatives, and are trying to build systems that allow developers to retain a consistent overall view function without having to maintain that across multiple codebases in multiple languages. That doesn't just mean rendering HTML, but also ensuring that the frontend and backend agree on how to update that HTML if the state ever changes, or ensuring that progressive enhancement is possible while not requiring the entire site to reload every time I update a form field.

Now I think there's a good argument to be made that many applications don't need this additional complexity - they can continue to be rendered entirely server-side, or entirely client-side, and not need to share state at all. But if you do need state to exist in both the server and the client, modern SSR frameworks are typically a pretty good approach.
Why, there is a well-known approach to having constant-size, small opcodes: a data stack. The only non-constant size instruction would be the one that puts an immediate argument onto the stack. Jumps would pop the target address off the stack, too. The stack should be the width of the ALU, say, 32 bit, while the machine codes could be half a byte, like here.

I'm very surprised this smallest machine is not a stack machine.
Challenger Expedition (1872-1876)
Australia updated its coordinates due to tectonic shift
In C some things aren't what they seem