skysight-inc/HackerNews huggingface dataset:
If you like it in tiramisu that suggests you like the flavour combined with milk and chocolate. So, mocha, or cappuccino. I suggest it would want to be made by a barista and not Starbucks or Tim Hortons.

If you live in Asia the Indonesian and Malaysian coffee might work, it's an experience. Very street food, thick toast with pandan jam, condensed milk often served from a drum. Or Vietnamese egg coffee. It's soft sweet meringue with coffee served together in a cup. Certainly in Hanoi, probably elsewhere.

Or nitro coffee. It tastes smooth because of the bubbles, like Guinness.

This all said, it's OK not to like things. That's what taste is: personal preferences. I don't like most herbal teas, or gong chai, bubble tea or wheat grass. Sometimes all I want is instant coffee. As Feynmans girlfriend (subsequently wife) said: why do you care what other people think?
This will not work if the status quo actually changes to a degree that a significant portion of developers have to do this. It'd very quickly saturate the people willing to give you a chance.

This was a good advice 10-2 yrs ago, but going forward? We'll have to see, but my gut says this will become just as likely to succeed as becoming a successful influencer... By which I mean that a few will occasionally make it/succeed, but it'll only be such a low fraction of the people trying for it that it rounds to 0.0%. and the ones succeeding will generally have been able to leverage an opportunity that most trying the same never had.

(Not to discourage people from trying - without an attempt you won't even have the chance to grasp such an opportunity. I'm just looking at it from the perspective of an observer)
Hmm, yeah ok, didn't pick this out of the

let susJsonString = '...'

example

but evidently it is not just that it is serialized multiple times, otherwise it shouldn't need the try catch (of course one problem with online discussion of code examples is you must always assume, contra obvious errors, that the code actually needs what it has)

Something upstream, sure, but often not something "fixable" either, given third parties and organizational headaches some places are prone to.
I'm here because from reading the conversations I learn more about programming.

I'm also here because I hope to promote my blog as I post links to it occasionally. Let me do that again. Lol. https://rxjourney.com.ng

I'm here because I hope to land a job.

I'm here because I just love this website, man. I was building a notifications service as part of a microservice and I sometimes stop to question how complicated everything was getting. Hacker News is a relatively simple web application that does what it's supposed to do.

Simplicity is genius.
They tried this years ago, but didn't make it work.
I remember putting together a bibliography about standard techniques a few years ago: https://arxiv.org/abs/1802.05159
Probably because its parent was flagged and therefore auto-collapsed.
Android Firefox, no problems here. I do have ubo installed if that makes a difference.
> he openly espoused absolutist views about free speech originally, before some PR black eyes made that untenable.

Note that openly espousing absolutist views about free speech means less than nothing. Elon Musk and Donald Trump openly profess such views, while constantly shouting down, blocking, or even suing anyone who dares speak against them with any amount of popularity.
> Does HN have any healthy gatekeeping mechanisms aside from its (ugly) UI to keep it high quality?

Aside from the users being elitist egocentric pricks and the frontpage being indecipherable to anyone without a CS formation?

I don't think so. But yeah the layout is mostly what does it. Before reddit redesigned itself, it wasn't so bad. Normies want Instagram-like feeds to endlessly scroll through, and they don't like reading because it hurts their brains. So they gatekeep themselves.
I appreciate the resources and recommendations. I've been interesting in Rocq (formerly Coq) recently, and I've seen dependent types mentioned, so I've been curious to learn more.
These posts are so badass. Thank you to share. Please keep writing. We need more of these.

Literally, your handle "scarface_74" says it all. When PIP comes through the door, you raise your automatic rifle and shout: "Say hello to my little friend!"
I started a toy OS years ago based on the book Operating System Design by Douglas Comer. Personally I just couldn't get excited about anything that didn't run on real hardware, so I made mine for Raspberry Pi.

Is there any real hardware that this could run on?

Looking through this seems to use a lot of assembly. In the above the amount of assembly is kept to a minimum. Pretty much just bootstrapping and context switching. The rest is done in C.
Well this article scared me. Guess I will have to quit Mountain Dew. But what if I switched to the sugar free one? (Am I swapping diabetes and heart disease for cancer?)
Maybe it reduced hate on this single metric, but the complaint is more about the errors in fact checking.

And single subreddits aren't really convincing about the reliability of fact checkers if their independence is in question. In the end they do rely on a truth-authority, which is problematic, especially for political content. And Meta reported that political demands increased.
Tbf, Zig allows that too (calling the same function in a runtime and comptime context):

fn square(num: i32) i32 {
return num * num;
}

pub fn main() void {
_ = square(2);
_ = comptime square(3);
}

...and the comptime invocation will produce a compile error if anything isn't comptime-compatible (which IMHO is an important feature, because it rings the alarm bells if code that's expected to run at comptime accidentially moves into runtime because some input args have changed from comptime- to runtime-evaluated).
This is pretty cool, but demonstrates why google/apple maps make heavy use of bespoke models vs just the map data, as is demonstrated pretty well by the sydney opera house and harbour bridge

This: https://shottr.cc/s/Qxhj/SCR-20250108-r6p.jpeg

Apple maps: https://shottr.cc/s/QWES/SCR-20250108-r69.jpeg
Chinese RISC-V project teases 2025 debut of freely licensed advanced chip design
USA reaping what it’s sown, we’ve had very viable healthcare candidates in the last 20 years and instead we’ve voted for hysteria and insurance industry friendly moderates.
The UX debate is valid, but magic links (and emailed one-time codes) are clearly more secure than password + password reset. Control of the email account gets you in either way. Passwords are an additional attack vector.
This is not true. I'm getting tired of reading this kind of stuff on HN, maybe I should just ignore it but a few friends from other parts of the world, also HN readers, are starting to believe it... So I'll try doing my part.

Yes, the worst-case scenario for health expenses is indeed bad in the US, this is true. However, this is not the average healthcare experience. It's not a matter of time until you're slapped with a bankruptcy-level bill.

My wife and I, both in our 50s, have had our share of insurance annoyances and frustrating phone calls, but we've had multiple surgeries fully covered by insurance. And this is the same with friends and family members, including at least 4 cancer treatments that did not lead to bankruptcy-level or even truly notable bills. This anecdote includes many people who died of "old age".

Worst-case scenario bills can be bad elsewhere too. For instance, a friend in Europe had to do a 250K GoFundMe campaign to pay for a life-saving treatment for his daughter because well, the only place in the world that performed the surgery she needed was... Guess where? The US. He faced bankruptcy for this bill, but friends and strangers were able to help him out to an extent. I think he's still recovering from the expense years later.

Medical bankruptcies and financially crushing bills are a sad possibility in the US, and certainly much more likely than in most other places. We need to keep working on this. But the vast majority of people will not have to face this problem in their lifetimes.
Unless you use BW every minute of every day, including when you sleep, then you’re in no position to counter self-hosting with your anecdote.
I agree. H1Bs are akin to indentured servants who do not have the ability to vote. Meanwhile, employers make large payments to politicians to keep the status quo.

What I dislike most is the cheating from H1Bs though. My friend in an AZ university described how foreigners were known to cheat on their exams based the clique of the country they came from. Similarly, I met an H1Bs who sends his work to Indian cheaper workers even though it is supposed to be confidential. They also collude to get their family and friends into the U.S.

Bloomberg news covered it recently, https://www.bloomberg.com/graphics/2024-cognizant-h1b-visas-...
> Specifically, Google forces external links to open in the last-used profile, rather than letting you choose, whereas Edge allows you to customize this behavior.

This is a neat feature, I used browserosaurus for a similar behaviour, but also that means I have multiple browsers open, one basically for each profile.
Claude translation of the intro:

> Abstract:

> In this tract, I lay the foundations for a radical re-reading of logic. I illustrate this with technical developments: in particular, a notion of truth based on the Euler-Poincaré invariant.

> Introduction: The Return of Philosophy

> At the end of the 19th century, logic experienced a spectacular renaissance. But, like a snake that grew too quickly while forgetting to shed its skin, logic remains prisoner today of a Nessus tunic - the scientistic format concocted by the founding fathers that has become obsolete. This obsolescence is made manifest by the proof networks derived from linear logic [2]. It is high time to change our reading grid and carry out a "Copernican revolution": the transition to logic 2.0.

> The first point of resistance is the dominant philosophy - analytical, to simplify - whose main thesis is that... philosophy serves no purpose: a simple translation would allow bypassing it by reducing it to predicate calculus. This thesis, due roughly to Russell, places logic in the position of an irrefutable arbiter. And thus, how can we judge it if it is its own jury? To top it off, modern "analytics" reduce philosophy to logic... from Russell's time, the only one they know. This outdated logic thus dictates its law under the cover of scientistic philosophy.

I am not sure the poetic flourishes are helping with clarity and formalization... but I would dearly love to watch a video of him shouting in this style from upon a box in a town square.
> just because I stop my car to watch a train wreck doesn't mean I want to see more train wrecks

I guess FB will be the judge. They might even stop showing train wrecks to a person if they notice metrics dropping. Some of these metrics might even track the user’s well being, although most will focus on the well being of shareholders.

We lost the levers long time ago, replaced by opaque algorithms; are there any signs for this to change?
Cute and clever idea. There's even overriding autocorrect (hit and release Ctrl before the last letter triggering the autocorrect).

But while principially possible even in the restricted environment of keyboard hardware it is questionable whether it's a good idea after all. It's not a lot more than a toy, especially because the dictionary is limited and hardcoded.

I respect and acknowledge the ingenuity. It must have been a lot of fun to get this working for Pascal Getreuer. Kudos!
https://rasika90.medium.com/how-i-saved-tons-of-gbs-with-htt...

Yes it seems they call it SSL bumping
Being from both sides, I would say it depends.

But especially after a take home assignment, feedback should be given 100% and face to face. It's almost embarrassing to spend X hours/days of your (spare) time only to be rejected with an email and usually some random reasons, without having the chance to explain why you built this toy project that way, how much time you spent and what would you do with more time or in production or even showcase some live coding on top of what you did.

But everything has become really inhumane, no-one cares. That's why AI is dominating and ruining the field.
Yeah, the OSM data seems really complete for some cities. Co-incidentally, I've recently been putting together some 3D GIS visualisation stuff using OSM data.

Try zooming in to pretty much any capital city, then use the right mouse button to rotate the viewpoint so the 3D shows up properly:

https://osm.newdash.io

That's just a temporary domain and an in-development project, but (to me) it seems to be working pretty well. Can build applications on top of this.
It's a Jpeg, and there's no active scripts, it's mainly meant for the video, but they went through the hassle of getting a domain name and uploading this, nice.
I've wondered about doing this. Does WhatsApp let you send messages to arbitrary users via an API?
Discussion (20 points, 12 hours ago, 8 comments) https://news.ycombinator.com/item?id=42626114

Related Lenovo Officially Announces the Legion Go S Handheld with SteamOS (79 points, 14 hours ago, 58 comments) https://news.ycombinator.com/item?id=42625139
I want to block anything that looks like autoplaying video.
Yes because it’s harder to land a stable job, it’s much more realistic to start a business that is going to convince enough people to pay you enough to support yourself.

Also you have to convince companies to do business with you instead of a well known company.

Oh and to be competitive you need to have some type of funding.

And you need to make enough to pay for health care.
I’m interested in the use of things like virtio instead of real hardware.

Are there other virtualisation-driven designs for hardware devices out there rather than the qemu stuff?
There's exactly that example on the official OSM wiki page [1]. It's very useful to read their wiki while adding things to the map!

OSM and all related projects thrive on users' contributions -- be the change you want to see in the world and start contributing today :)

[1] https://wiki.openstreetmap.org/wiki/Key:building:levels
90% of people are probably on their phones consuming adverts while taking a dump. We’re already there.
You can tag it accordingly with this guide https://wiki.openstreetmap.org/wiki/Key:building:levels

Happy mapping!
So in case of temporary email delivery problem no banking?

I had this case recently: Sending a job application, so wanting to check what my LinkedIn actually says (I don't use or even update LinkedIn regularly). Now LinkedIn thinks my login looks suspicious and sends a confirmation email. (It does that nearly every time the rare cases I log in, probably because I delete cookies.) But the mail doesn't arrive. My email provider is usually very reliable, but later I learned that just in this moment they experienced multi-hour delays. While this was not a magic link it shows that any login requiring a quick email delivery can fail in the worst moment.
Well we're getting into political territory, but recently that "subsidized" seems to have swiftly changed to "threatened", so, I don't know. What you say used to be true in the past, but it's not so clear anymore.

Also: only country that ever invoked article 5 was actually the US. In that sense the opposite is true ("lots of countries have subsidized US defense"). The US "subsidy" came from the strong conviction that "US would act if we needed it", but that conviction is quickly evaporating.
Austin is very left of center. If they end up there, they will have ideologically strayed in California while geographically moving to Texas.
I was making a joke though.

Also, if you bounce the signal off a mirror on the wall like DIY Perks did, then walls vibrating even a little bit will be an issue if the beam is narrow enough.
That's sad, but maybe somebody will see it here and decide to maintain this very cool project!
I just auto switch any incoming .con to .com on the back end. 100% of the time it is a user typo
Yes is just that easy. You don’t actually have to have anything to sell. If that’s all it takes, why do only 1 in 10 startups succeed and that isn’t even counting all of the people who are struggling in obscurity.
Regarding the 'missing interface feature' it's quite trivial to write a generic comptime function which checks whether an input value has the expected shape by checking it against a struct type which describes the interface (basically a comptime typeguard), such a helper function could probably go into std.meta and would provide better error messages then the followup compile errors - won't necessairly help with the LSP problem though.

Whether that's a good or bad idea remains to be seen (usually I prefer syntax sugar over such a building blocks system - reminds me too much of the C++ stdlib approach), but a surprising amount of dedicated typesystem features in other languages can be done with comptime coding in Zig.
Love the entity init->use->yeet cycle. Fantastic terminology, may steal it.

void Entity::Yeet() {
yeetery.push_back(this);
It really really depends. If you're gonna train junior people then IQ tests are great, otherwise work sample tests are better.

It definitely is true that IQ tests are used less in the US because of prior case law though.
Punch the monkey.

The reason Google started off so well was because adverts were non existent, then just relevant text on the side. Compare to altavista, excite, hit it etc it was a beacon of calm.
> As I understand, there is a balance between refactoring and adding new features.

True, but has drifted from the TFA's assertion about consistency.

As the thread has implied, it's already hard enough to find time to make small improvements. But once you do, get ready for them to be rejected in PR for nebulous "consistency" reasons.
While security software and antivirus deserve all the injection blocking they may get, we must also consider how to bypass these mechanism when it's about reenabling adblocking by injecting DLLs in the browser for request blocking etc.
Bro we can connect two ProjectDigits as well. I was only looking at the M4 macbook because 128gb unified memory. Now this beast can cook better LLMs at just 3K with 4TB SSD too.
M4 Macbook Max (128 GB unified ram and 4TB Storage) is 5999.
So, No more apple for me. I will just get the Digits. And can create a workstation as well.
Weird software X diabetes story. CFO at my small startup had type 2. We only had sugar free sodas and water bottles and, oddly, Capri Suns at my 15 person startup. I distinctly remember wracking my brain working on some code for long day and my brain was like "give me sugar!". I didn't realize that attempting to feed it many (sugar-free) sodas, it wasn't getting what it wanted. It needed the glucose. I began surreptitiously drinking Capri Suns. My CFO sees me chugging aforementioned childrens' drink and informs me those are his emergency sugar drinks and please don't accidentally kill him if he ODs on insulin. Never learned so much biology while writing software in my life.
I go every three months, and they have a good amount of tartar to clean off my teeth then. Also before I did that I was having pretty significant pockets for gum disease for all my teeth (it was close to the point where it's irreversible).

It's mostly under control now, except for problem areas in two specific spots, but even those are still better than they were.

I haven't really changed my dental hygeine habits other than going in for routine cleanings twice as often, so it's definitely helping.
This sounds like just an fpga. What do you mean by “routing fabric stripped out?” How does data get from one cell to another?
I would love to someday see a version of this or a hardcopy of Byrne’s version but with the original greek text and a modern apparatus criticus.
> At my level (middle manager), as soon as I start my new job, I start looking for my next job." He was exaggerating, but the point stayed with me.

That’s no exaggeration at all. I’m not always looking for a job. But everything I do I do with one eye toward how will this look when I get ready to interview? Am I working on tech that is demand? Am I working at the correct “scope, impact, and ambiguity” or am I just being a “ticket taker”?
For me, particular syntax of a particular representation and implementation is one thing, the isomorphic implementation-free math describing what it represents is semantics.

I.e. A natural number is a list of successor relations. It directly maps to the reality of collecting a series of units, by actually being a series/list of units.

Whereas, a natural number represented in binary doesn't look at all like what it represents, but is an isomorphic representation. It behaves the same way.

And can be interpreted the same way, when it is being used for that purpose.

So: Series/list of steps = Semantics, for a syntactic implementation of binary natural numbers. Only in the right context, where the latter is mean to represent the former, does the isomorphism relate the syntax to the semantics.

In another context, a series of binary values might just be a random pattern we used to mark a bunch of things we think are related. In that case, the semantics would be completely different, even though the syntax is identical.

But I have no idea how other's think about these things.
AI TOPS numbers for Blackwell/ 5090 are probably for a niche numeric type like INT8 or INT4.

At FP32 (and FP16, assuming the consumer cards are still neutered), the 5090 apparently does ~105-107 TFLOPS, and the full GB202 ~125 TFLOPS. That means a non-neutered GB202-based card could hit ~250 TFLOPS of FP16, which lines up neatly with 1 PFLOP of FP4.

In reality, FP4 is more-than-linearly efficient relative to FP32. They quoted FP4 and not FP8 / FP16 for a reason. I wouldn't be too surprised if it doesn't even support FP32, maybe even FP16. Plus, they likely cut RT cores and other graphics-related features, making for a smaller and therefore more power efficient chip, because they're positioning this as an "AI supercomputer" and this hardware doesn't make sense for most graphical applications.

I see no reason this product wouldn't come to market - besides the usual supply/demand. There's value for a small niche and particular price bracket: enthusiasts running large q4 models, cheaper but slower vs. dedicated cards (3x-10x price/VRAM) and price-competitive but much faster vs. Apple silicon. It's a good strategic move for maintaining Nvidia's hold on the ecosystem regardless of the sales revenue.
> I think that a link to a page where you enter a one time code gets around a lot of these issues.

I've done both in my SaaS product - link is GET with the OTP in the link, the target page checks if the link is in the URL, and if not, then the user can type it in.

Only for signup, though. For sign-in, the default is to always have the user type it in.
Press Tab, use WSAD to move and mouse to aim = Discount Flight Simulator! Love it.
Any laptop that in marketed as "gaming laptop" or "mobile workstation" belongs to this category.

I do not know which is the proportion of gaming laptops and mobile workstations vs. thin and light laptops. While obviously there must be much more light laptops, the gaming laptops cannot be a niche product, because there are too many models offered by a lot of vendors.

My own laptop is a Dell Precision, so it belongs to this class. I would not call Dell Precision laptops as a niche product, even if they are typically used only by professionals.

My previous laptop was some Lenovo Yoga that also belonged to this class, having a discrete NVIDIA GPU. In general, any laptop having a discrete GPU belongs to this class, because the laptop CPUs intended to be paired with discrete GPUs have a default TDP of 45 W or 55 W, while the smallest laptop discrete GPUs may have TDPs of 55 W to 75 W, but the faster laptop GPUs have TDPs between 100 W and 150 W, so the combo with CPU reaches a TDP around 200 W for the biggest laptops.