skysight-inc/HackerNews huggingface dataset:
Hey, author of Fornjot here.

> The modeling language for Fornjot is Rust. To me, this seems like an akward language to write models in.

I fully agree! Given that Fornjot is written in Rust, starting with Rust as the modeling language was just the most straight-forward option.

But Fornjot is architected to be language-agnostic. Right now, it uses a plugin system based on dynamic linking, and you could plug anything in there that can generate C-ABI-compatible structs (the plan is to replace that with a system based on WASM).

In addition, I've started splitting Fornjot into self-contained libraries[1]. Once that effort is complete, there will be lots of ways to make Fornjot available to other languages.

That said, I think there's merit in having options when using Code-CAD, and Rust is certainly different enough from the typical alternatives to be valuable. I don't think it will ever be the best option for regular CAD modeling, but it might have a niche in infrastructure code that CAD models (written in other languages) use.

[1] https://github.com/hannobraun/Fornjot/issues/141
> a complete beginner with no knowledge in higher math should read GEB

Yes, absolutely, without a doubt. A "spirit of mathematics" and a proficiency in the (practical) details of the discipline are very different things.
<crazy-fanboi mode="on">

Oh, easy - https://enso.org, of course!
That seems excessive. I wonder what they're compiling. Probably building LLVM, cpython, nodejs, etc.
There really needs to be an intersection between law and science/reason, just a few solid touchpoints. There need to be statutes that define a logical basis for what we do and do not, as a society with a legal system, believe to be true.

It really feels like the American society (now including the courts apparently) is losing its relationship with objective reality and any semblance of a shared set of ground truth facts. Things have been trending that way for a long while, but it really feels like the Orwellian knob has been jacked up an order of magnitude in the last 24 months.

If we can't agree on some basic rules about what is or is not true about fundamental reality, why even bother having courts or trials to determine higher level truths? A trial about the outcomes of magical/nonsensical processes is meaningless.

This stuff obviously shouldn't make it into the courtroom. The fact that it has means the system is broken, even if these particular people stop peddling this particular bullshit.
An imaginary power user build of Windows that doesn't include all the builtin cloud nonsense and other useless distractions. And custom themes support instead of forced white menu bars that override the system pallette because some designer thinks they're clever.
I know crypto will be a controversial one, but in terms of potential surely even a skeptic would acknowledge it.

Decentralised Finance in particular could take a huge chunk out of retail banking, investment banking and insurance.
What is that hardware in the cover image? Is it even real?
> It's the simplest explanation.

The simplest explanation was that everybody was ignoring this all the time? What percentage of people do you think would ignore this?

I don't think regarding the allegations as real is the simplest explanation when there are many other facts that are hard to reconcile with that hypothesis. There's an obviously simpler explanation.

If you're ruled by the criteria "my default hypothesis is the simplest explanation" in this case you should be defending the allegations are most probably unfounded.
https://archive.ph/E8rQv
I saw a movie where they used a device to make a forceful impact in the ground, and there were probes staked in the ground that imaged underground based on the acoustics. It was an alien movie, so I’m not hopeful, but is there not technology like that being worked on? Sonar for underground?
I play Fortnite which is from the same company as Rocket League (afaik). I think their model is extremely fair. You can play for free, and you can buy outfits that don't give you any advantage in the game.

At first coming with "old gamer mindset" I also thought "who would ever pay for that nonsense". But now I simply see it as supporting a creation I enjoy. I buy the "battle pass" every season (maybe 8$), and every couple of months perhaps a funny skin.

Back in the day, I think a World of Warcraft subscription was 15$ per month, so I still pay far, far less than I would have paid for WoW.

There are other games that annoy me, as they basically push gambling onto my kids. They will literally have a push notification telling them to try a spin on the lucky wheel.
Tailscale is helping out the open source implementation of their server
Find me a language without a few of those classic 'wat' quirks. They almost all have them.

PHP was quite fairly maligned for a long time. The issue was never "weirdness" but rather poor design. Starting with final 5.x they started turning it around and deprecating or fixing a lot of the worst bits.

JavaScript was a joke but modern js is tight, clean and generally very fast.
A tool like ccache will work across multiple workspaces, unlike Makefile. You can prewarm it with an overnight cron job. And in some configurations, you can share it across the organization.
> These kids are labeled troubled because they are.

Well, again, the title of this post shows the results of that attitude. Years of misbehavior and a well written story from a lucky one who made it to the other side, no thanks to "tough love" bootcamps according to him.

Every kid looks up to someone, whether they see that someone in person or on a screen. Becoming that someone, or a trusted figure for a teen, is a lifestyle change. Building trust takes time, and it can be lost in a moment.
And Polish police did use some help of clairvoyants, as news reported in the past.

https://www.polityka.pl/jamyoni/1727668,1,czy-jasnowidz-moze...

https://wiadomosci.onet.pl/tylko-w-onecie/jasnowidze-w-sluzb...
Ask HN: Is there a good security primer for a non-security programmer?
^
Basically, I didn't take any security-adjacent classes in school, and never had to consider these things for my previous work. I've heard about things like web cache poisoning but never thought closely about them. Is there a good place for me to get a primer?
Yes, we have that. You have to already know roughly where you want to look, though.

https://en.wikipedia.org/wiki/Ground-penetrating_radar

https://en.wikipedia.org/wiki/Seismic_source
What for example is dishonest about the "free-to-play" of Rocket League or Fortnite? It literally is free to play.
Gödel, Escher, Bach is an artistic appetizer over the stimulating world of structures, - not a manual.

They young mind is opened by being shown relations it did not yet see.

Read the extreme in that direction:

Italo Calvino - Le città invisibili

(which not only masterfully connects ideas, but most of the realm of existence and experience) - you should be able to see that principle at its apex. And there is no technical teaching: just an education to see the subtle.
Use the same device. With a powerful notebook and a docking station (usb c to power, hdmi, mous, keyboard) this is very comfortable. At least for me.
I've been reading Boundary Representation Modelling Techniques by Ian Stroud. Not the most approachable book, and I haven't read nearly all of it, but I already found it very valuable.
> The goal of parenting, so, should be to offer a safe environment for kids to become who they are and want to to become no matter what that is.

Even if what they want is to become a drug addict felon?

A mentally ill teenager does not know what is best for them. The parents job is to help their kids grow into happy, healthy members of society. The existence of rules does not preclude kids developing their own personality.
Show HN: The internet story tale – a successfully failed internet experiment
Those two were shadow banned indeed, I clicked 'vouch' now. I think the algorithm that looks for number of submissions vs number of comments triggered it (I'm not a moderator, those can be contacted via email in the link in the footer).
Ok… I can be a first principles thinker too.. but the idea behind this phrasing is chilling.

“This study answers a long-standing question about whether people with complete locked-in syndrome – who have lost all voluntary muscle control, including movement of the eyes or mouth – also lose the ability of their brain to generate commands for communication.”

Did they actually for a fucking moment think that the human mind’s ability to undergo cognitive processes, to have the cognitive desire to communicate… would somehow just switch off when the last vestiges of control to voluntary muscles got “unplugged” … it’s the human brain not a fucking toaster or an Xbox or something… for fucks sake, that’s either the worst wording choice possible when trying to appear smart in an interview or the person saying it needs to step away from their research, maybe even their entire career, for a while, walk in the woods, connect with some other human beings, maybe read some basic introduction to philosophy material like the Tao of Pooh…

This is the sort of “question” I imagine an AI like GLADOS constructing tests to investigate, not a genuine “primary hypothesis” a human should have. Sure, you can say it in the “other neat stuff my experiment might learn” part of the proposal, so for now I’m going to just hope this was one of the many daily moments where smart people say stuff extremely creepy because they are too divorced from the experience of wider humanity and don’t realise how creepy/stupid they are sounding.
I think Unikernels like NanoVMs (https://nanos.org/) will become more important. They are more efficient and more secure than than full operating systems. Right now, I think there are no good monitoring solutions available (or at least I am not aware of any). You can't just ssh to your server, so if something goes wrong, it can be hard to debug. And they are certainly not integrated into bigger monitoring solutions like Dynatrace. But once the infrastructure is available, I would expect a large percentage of Linux servers to be replaced with unikernels.
It has been pitched internally at various products and (AFAIK) only found traction thus far on Nest hubs.

Since my Nest Hub received the update to Fuchsia it's been generally more laggy and unresponsive. Occasionally it needs a power cycle. I wish there was a way to downgrade to whatever it had pre-Fuchsia :(
I just install zsh/oh-my-zsh and it has all that nicely setup out the box.

I love oh-my-zsh and it's plugins.
@maydup-nem:
This reads a bit like one of those black or white arguments and reductions you exceedingly read online... It also reads like comments people make after reading the title or perhaps the first paragraph to a more complicated discussion. The article doesn't make the life of someone famous as a way to live, it opens up the discussion and poses a few questions about the nature of our experience, how it is drowned in an endless feed or visual or mental stimuli with little to no depth.

I also found it interesting that you felt the need to comment on it to be honest. But that's another thing entirely.

@bambax - I spent time trying to reduce my mobile usage as much as possible, but I find it that anyone with even moderate technical requirements, cannot live "phone-less". 2FA is the main thing that comes to mind. I can live without a browser, instant messaging or youtube, but accessing some of my own resources requires 2FA through an application and at that point, as VariableStar says it, I don't think I want to dismiss any of the advances and advantages we have just for the sheer sake of renouncing technology and the malaise it brings with it...

I think the main goal is to exercise control over our online activities, to be a bit more aware of what it is we do and what it is we get from it. Of course, not everything needs to have a net positive outcome, but when it comes to technology, I do think we should use it more as a tool, which we aren't as far as I can tell.

I agree that shallowness was present and will continue to persist, because, let's face it, I don't think we want to spend all of our waking time in constant thought, gravely agonizing about the minutiae of existence, it's meaning (or lack thereof). That doesn't change the fact that we shouldn't gravitate towards the other extreme with reckless abandon. Balance and moderation are words and types of behavior that are becoming extinct though in today's society and I keep feeling technology is largely to blame for it. It is just an opinion though, so highly subjective as such.
Depends. Let's see.

So when you're buying an antivirus you're buying paranoia. Russian paranoia is simply much more refined and unimpregnable than American paranoia, much worse persecution, much worse consequences. It's spinal.

There's other stuff, like parachutes and ejection seats, they made much better parachutes for aerospace because they've seen uniquely fucked-up accidents like disgusting, and instead of slapping lasers and computers on everything they're more like old-school American inventors who actually used cheap cheap stuff, ideally stuff nobody wants, oh man there was tons of that in the Soviet Union! Factories producing too little of one thing, too much of the other, like the incentives didn't match up, but hey, if the inventor figures out a way to work with that, I mean of course he can't it was proven impossible BUT IF HE DOES ANYWAY, if he thinks the unthinkable, it may be the last time but it won't be the first.

In addition there was some really high quality stuff the west just refused to talk about and carried out historical and media blackouts against. So just as the Soviet Union didn't talk about the American Lunar Landing, in the west they don't talk about the Soviet Lunar Landing, 1967 I think it was? First they got a rocket to do a hard landing, but all over the nearby solar system, hard landings everywhere, largely because they had bigger rockets, much better rocketry. Then after the hard landings, soft landings, take photos of Venus on the surface (the only ones humanity has), and put this little drone car on the Moon.
They also support an ARM dev board, the Khadas VIM3: https://fuchsia.dev/fuchsia-src/development/hardware/khadas-... , though with the "core" setup and not "workstation".
> The reason why I could never become a blackhat is my need for affirmation. People who can do great intellectual work in the dark without anyone around them understanding or fully appreciating the effort involved have a different psychological profile

THIS.

I used to think doing a PhD is lonely, but even then you have venues to discuss your ideas. Even with esoteric or difficult topics, there is an opportunity to package it for the masses. E.g. physicists.

I imagine it’s hard for hackers to even communicate with their significant others. This is not a topic you can go to school for and meet people who have the same context.
Easy mode for Kubernetes
I think it's more radical than that, money is trade.

Simply: if a person acquired bread to pass on (for something else they wanted), then bread would be money.

I think probably some animal species use money, on a rare occasion: if a monkey exchanges a grape for sex, and the money with the grape exchanges the grape, the grape is money.

It might be that amongst other animals, that ability to see the future-value-to-others of grapes is very very limited. So other animals dont keep grapes around. If they did, grapes would be money.

That the value of a grape depends, like that of a dollar, on what we expect another to take for it -- this makes it seem mysterious -- because we ourselves are distrustful of the future, and of having-what-you-dont-need.

I think this is an animalistic impulse: its a kind of paranoia about the behaviour of others. This is at the heart of why people use "collective delusion" and the like. There's something, in that sort of person, which views depending on the future behaviour of others with paranoid suspicion.
Not to mention the Fuchsia logo looks very much like the Fedora Linux logo.
https://slideplayer.cz/slide/12864735/78/images/5/Pozn%C3%A1...

Here in Czech, learning materials for 2nd grade, though my kid is learning it already in 1st grade.
The college economics class definition is that money has multiple functions: it's a unit of account, a store of value, a medium of exchange. That's true whether you're living in the gold-standard world or the fiat petrobuck world.
:-D

Excellent! Never heard that one before.
I think that aggregating medical research studies could lead to a significant improvement of the worlds health situation.

There are tens of millions of medical studies available online. But no system to look at the data in an aggregated way.

I have been doing data analysis and aggregation in several fields. Every once in a while, I dabble with the concept and implementation of a tool to do it for medical studies. It would need quite a bit of effort to get it right. But the potential is epic.
The challenging thing for reasonable people and economists is that although Bitcoin is the undisputed digital gold, cryptocurrency continues to evolve and improve.

Money is now a high technology. Whereas money actually in use generally is not. Similarly with other aspects such as transportation or government. High tech exists, but generally is not deployed.

Effectively this means that the structure of society becomes more and more out-of-date as it lags behind advancements and developments.

Also, if you aren't familiar, do some investigation into the historical relationship between clans, gangs, kingdoms, and nation-states.
The Web as the ultimate tool of resilience for the world
Found it, and replied. Thanks for the comments!
Just had a quick look at a few of the python examples:

- it might be neat, but advocating for `eval(input())` [0] might not be the safest solution for this problem, especially without explaining the dangers of `eval` (assuming this site is partially aimed at beginners?)

- for an article titled 'how to terminate a script', the suggested method (`quit()`) [1] is specifically described in the official python docs [2] as code that "should not be used in programs".

[0]: https://onelinerhub.com/python/calculator
[1]: https://onelinerhub.com/python/how-to-terminate-script
[2]: https://docs.python.org/3/library/constants.html#constants-a...
I agree that a geometric constraint solver is very valuable. Having one built-in is a goal for Fornjot. We're not nearly there, though!
Greater than one. The academy has put a significant amount of preference on race, so that none of these awards actually represent the movies or the performances, but the racial make up of the cast and crew.
Then how will wayland tell me, which container a window comes from? (besides that, most software I use in containers is very much preeee-wayland). Thanks for the correction on toolbox, I know remember again, why I have my own bwrap-wrapper.
Android implementing ad tracking limitations.

EU tackling big tech because the US sure won't.

Greater role out of automatic breaking systems.

Greater role out of demand management (energy).

Remote work decentralising our cities. I expect to see new cities being built.
> there was no such thing as a company continuing to provide regular, ongoing support to a 7 year old game of the non-subscription variety.

Minecraft still gets significant updates.

> I mean, how or why would they? You release something; it makes 90% of its lifetime revenue in year 1; if you continue working on it for 6 more years, you're out of business.

I think a lot of these companies have found that it's the opposite—that games make 90% of their revenue in year 1 because nobody continues working on them. If you keep working on it, however, you can continue to get sales, because the more you work on it, the better the game becomes, and so people buy it just to see what everyone else is talking about.
Modern CPUs support large pages that cut off some part of the page walk. Linux supports them transparently, so if you set up a bunch of threads sharing a single large address space it will be compacted into a handful of large pages.

Single address space OS's in a broader sense have been made unviable by Spectre vulnerabilities; these days you need an address space flush at every transition from a "more private" to a "less private" information domain, which is basically every context switch when applications can't trust one another and have mutually private information that they're trying not to disclose to other apps.
Post-Modern Monetary Theory
In most modern browsers you can right click an image and send it to Google to reverse image search it for you.

https://www.reddit.com/r/DesignPorn/comments/ei1pa8/sphinx_s...

https://kbd.news/Project-Sphinx-711.html
Even more interesting would be, to automatically link patients medical history with studies, and show the doctor some suggestions: did you consider rare disease X?; there is not enough data, do test Y&Z because then we know much more
I use squashing on my PRs so I dont annoy others and then do it at each logical step.

First commit - Function to do task
Completed

Second commit - Added unit test

Third commit - Linter fixes

Forth commit - Fix bug

And so on.
Show HN: Text Mode – View the web in Content-Type=text/plain
IIRC (and I haven't done any php in quite a while) upload_max_size is dependent on post_max_size, so I'd think there might be a ton of php deployments out there configured for large file uploads where this exploit precondition is met after all.
Would like to know what they sound like when oversaturated.
I have a custom domain on shared hosting, and apparently the hoster does not support DKIM.

Is that really bad?

I sent a mail from it to a gmail account, and it was not flagged as spam

Also, when I send a mail from my university address, it says, the DKIM user identifier does not match the from header
The OS looks quite interesting, but the GUI library caught my attention - hope there are plans to make it available separately.
I don't think that BAYC is out of his comfort zone more than they think spending thousands on a jpg you don't own the copyright or any real rights just to flex is cringe. I would suspect many people who hold that view think Rolexs and luxury watches are also cringe.
C++ is fine. It's just nobody likes designing and writing lighter weight tests and simulations to keep local dev workflows productive.

For things like AAA games and OS development, I'm not convinced simply picking another language solves the problem. At least not while keeping all the same benefits. C builds faster, sure, but it doesn't have the same feature set.
Irreversible smart contracts are dumb.

Having access to the legal system is actually good.

Having to implement your own safeguards to store large amounts of value is bad.
> That's like saying they should change the rules of football.

They do that pretty regularly. Not in major ways, but the rules of football do change over time.
Well he did step down, he still didn't deserve all the ridiculousness that went on, though. glad he was able to make something good out of it.
Controlling the Linux kernel scheduler with BPF
Hey, creator of Fornjot here.

Fornjot is written in Rust, so starting with Rust as the modeling language was the most straight-forward option. I do agree that Rust is not ideal for this use case.

Fornjot is architected to be language-agnostic. Long-term, I hope there will be a selection of interoperable options for the modeling language.