skysight-inc/HackerNews huggingface dataset:
Inigo Quilez (who is basically the CEO of SDFs in my book) has a page on this: https://iquilezles.org/articles/interiordistance/.

The goal isn't boolean operations over distances themselves, because as you point out that makes no sense. What you often want though is boolean operations over the surfaces the functions are returning the distance to. For example, you have one function that gives the distance to the surface of a sphere, and another that gives the distance to the surface of a cube, and you want to AND them, to get a function that gives you the distance to whichever surface is closer. That explanation probably doesn't make any sense, so just check out the page I linked which has some great visualizations.
> How do small-scale embedded interpreters stack up?

Moddable's XS runtime is a wonder, with 99%+ ES2023 conformance even on devices running at 80 kHz with 45 KB of free memory. https://github.com/Moddable-OpenSource/moddable

QuickJS has somewhat higher requirements, but also a great candidate for embeddable mobile and desktop applications, and is well-regarded. https://bellard.org/quickjs/
I would look up how medical students use Anki.

The efficient part would be learning to make cards and decks efficiently.

I can't imagine going back to school and not using Anki.
It’s fast. In the same league as Alacritty and Wezterm, which is to say on the doom fire benchmark those terminals can do 500fps plus, where iTerm2 does 90fps on my M4 MacBook Pro. In practical terms if you use tmux or vim in the terminal, it makes a big difference for typing latency and scrolling.
Congratulations. You likely did more harm to yourself than you prevented.

When you go to multiple doctors and they're in agreement it's a bad idea, the correct response likely isn't to self-medicate in your addled state.
Wont it just fall back down again?
Despite a number of what look like copy paste articles, I see no actual pictures of what the pictures taken look like. Maybe we'll see at CES but until then these feel like clickbait.
> The reason why car keys are using chips is because physical safety sucks so much in comparison with digital.

Not the reason. There is no safe lock, chip or not. You can only make it more inconvenient then the next car to break in.

> The fact is we are better at it because of failure of state to establish the safe environment. Generally protection and safe environment is one of reason for paying taxes.

Exactly backwards. The only real safety is being in a hi-sec zone protected by social convention and State retribution. The best existing lock in a place where bad actors have latitude won't protect you, and in a safe space you barely need locks at all.
And this makes it obvious why you should use the same username everywhere!

When maintaining an official online public presence, or if you are privacy minded you likely want to "plant the flag" to stop others from impersonating you.
If fighting "the woke terror" means abusing your own child in public.

Maybe he'll give Trump some advice on putting Don Jr. and Eric in their place.
Which other assumption would be reasonable, considering Croatia's ethnic structure? You have to take local circumstances into account.
The whole concept of *verts is an early 20th century psychological concept from an era which produced practices and ideas which are now mostly antiquated.

It has become pop psychology and never had much meaning.
I'm still using the built in MacOS terminal. What am I missing? I mostly do webdev - maybe terminal features are more important for other types of programming?
I mentioned it in another comment, but Inigo Quilez has a page on this: https://iquilezles.org/articles/sdfxor/.
My experience has been similar, even though not as drastic. Lua is fine for small extensions and such (e.g. Hammerspoon), but a lack of any kind of a reasonable standard library really bites me the wrong way. Sure, I can write a function to log an array, but why can't I just log an array like a decent human being?
Correct, but that's because most of the traditions have always been somewhat secular in nature (with religious significance strapped on after the tradition was already going) and have only become more so, not because they were borrowed/appropriated/adapted from a pre-Christian source.
Vivek Ramaswamy Says US Doesn't Have Enough Engineers Because Mocked Steve Urkel
I'd be worried about radiation causing upset events.
> Extroverts don't understand this concept of limited capacity for socialization.

Othering >50% of your audience isn’t the best way to make a point, and plenty of extroverts understand this concept perfectly well (myself as an example).
If we're only talking about simple vector spaces, your understanding is accurate, but when we're talking about visualizing shapes in 4 dimensions, we typically want something more. We are doing geometry then, and so we want a metric space that defines a concept of distance (which vector space don't have).

When it comes to geometry and not just vector spaces, time dimensions have a different definition of distance than do space dimensions. There's a minus in the formula where you would usually have a plus. And this means that shapes in this space behave very differently than what we're after when imagining a hypercube or hypersphere, for example.

We want to think of a 4 dimensional space where all the dimensions are indistinguishable, but the minus sign in the metric distinctly identifies the time dimension. For this reason, physicists typically call this kind of space a 3+1 dimensional space rather than a 4 dimensional one.

https://www.youtube.com/watch?v=GkCWywO93b8
I'm assuming it's been out for a while, but out of respect package maintainers waited to release it.
Thanks for this post, first thing I did was search "bitmap" in the thread. If I can't use Terminus (+Unifont fallback), it's not for me.
The field of personality psychology continues to believe it has meaning: extraversion is a factor in the five-factor model.
OK then if you want to keep the v1 interface exactly then you have to build a facade yourself. I don't think most libraries are capable of supporting that use case because of their semantic structure. Instead of employing a bunch of tricks to avoid fixing a couple of functions (the case where a facade makes sense), you should just fix the callers. That might not be easy for packages that are independently published (for example pypi or cargo packages) but it is possible in many package managers that have central teams of maintainers.
Netflix will never beat outdoor cinema in Australia
Uhh no?

If you have to run 5 different docker images each with their own “global shared library” set you clearly no longer have system wide globals. You have an island of deps potentially per program or possible a few islands for a few sets of programs.

Which, once again, completely defeats the entire purpose of the Linux global shared library model. It would have been much much much simpler for each program to have linked statically or to expect programs to include their dependencies (like Windows).

Containers should not exist. The fact that they exist is a design failure.
There's no shortage of suitably skilled American candidates for software engineering positions, especially in the current job market. Companies have manufactured the illusion of a shortage to enable industrial scale visa fraud.
Show HN: Turn Your Study Materials into Interactive Quizzes with AI
Hi Hacker News,

I'm excited to share the launch of SyncStudy, a web application that helps students, tutors, and professionals upload study materials, generate quizzes from them, and collaborate with others by sharing these quizzes. It's designed to make learning smarter, more interactive, and more efficient.

Key Features:
- Upload Study Material: Upload any study document (e.g., PDF, text) and generate quizzes instantly.
- AI-Powered Question Generation: SyncStudy uses AI to automatically create relevant questions based on the uploaded content.
- Share & Collaborate: Share quizzes with friends, classmates, or colleagues for collaborative learning.
- Cross-Industry Use: Although designed for students, the tool is also useful for tutors, trainers, and professionals.

Why It’s Different: SyncStudy is not just another quiz generator. It's designed for efficiency—save time by converting study materials directly into valuable quizzes for faster review and learning. Our AI engine ensures that the questions are relevant and cover the material in a meaningful way, which can be extremely useful for exam prep, training sessions, or even creating personalized learning content.

We’re currently working on expanding features like:
- Support for more file types (e.g., Images)
- Integration with other learning tools and platforms
- AI-driven suggestions for study improvement

If you're interested in learning more, please check out the website: https://syncstudy.app

Feedback Wanted! As we're a small team (actually just me at the moment ), any feedback, ideas, or suggestions would be greatly appreciated. I’d love to hear how this could be improved to better serve students, teachers, or professionals in various fields.
A Transformer-based model predicting the articles of German nouns
In my experience, Alacritty had a few bugs / unimplemented features that broke certain TUIs. Ghostty seems to be the most complete / least broken terminal emulator.
When an article provokes thoughts with assertions that OpenAI has a meaningful monopoly on AI to maintain, sometimes those thoughts are “that article is just wrong.”
Shy == social situations are scary

Introvert == social situations are strenuous
This is gross history revisionism.

Israel unilaterally declared independence following what was in essence a civil war in Mandatory Palestine. The UN had partitioned the territory but Israel took much more than had been allotted to them. Israel also illegally expelled many Palestinians and refuses them the right of return to this day, which they do counter to international law. In 1967 Israel expanded even further and took the remaining Palestinian territories which they occupy to this day in the world’s longest occupation. To this day, Israel keeps taking more land from Palestinians e.g. by setting up illegal “security corridors” or opening new illegal settlements.

So to answer the question. The land was taken from the Palestinians. And it keeps being taken from the Palestinians, in defiance of a number of UN resolutions, to whom the British had given the mandate to.

In an alternative universe where Israel wouldn’t be colonial, there would not have been a civil war, Israel would not have unilaterally declared independence, but done so in agreement with Palestinians, the UK and the UN. They wouldn’t have expelled any Palestinians, and they wouldn’t have maintained a policy of maintaining an ethnic majority. Jews would live now as a minority in Palestine, hopefully with some minority protections mandated by the UN (and probably demanded by the UK as part of the independence agreement).

In a slightly less alternative universe where the Zionist national project still happens and Israel unilaterally declares independence, at any time after 1948, in an effort to right previous colonial wrongs, Israel would offer the expelled Palestinians the right to return and reparations for their years or decades in exile. They would dismantle their ethnodemographic policies, and either integrate the occupied territories into a single democratic (non-apartheid) Israel-Palestine or recognize an Independent Palestine at the 1967 borders with some freedom of movement between the two states (similar to Ireland and Northern Ireland). For as long as non of this happens. Israel’s current policies are an unbroken link to their colonial past.
80286 is the PHP of CPUs.

A wonderfully different early CPU with plenty of existing software is the https://en.wikipedia.org/wiki/RCA_1802 which was a target of the https://en.wikipedia.org/wiki/CHIP-8 interpreter.
Am I the only one who wondered what desktop environment was providing the window decorations before realizing it was some variant of Microsoft Windows?
I was using iTerm up until about a week ago when I unboxed a new Mac and decided to test out alternatives while setting it up. Ghostty wasn't out yet so I started with Wezterm, and was shocked to find how much it's speed improved my terminal experience. Typing latency is much better in nvim, and scrolling is vastly improved in nvim and tmux.

Ghostty feels like a Mac app like iTerm2 while being fast and having fewer features. Wezterm feels more like an app ported from Linux, but has a much richer config system and features like build-in multiplexing which means it's replaced tmux for me - while keeping all my tmux keybinds.
Too much experimental software, too much fragmentation in major architectural design approaches, compounded by weak documentation, abandonware, and a tiny community.

Consider the choices in optics libraries, effects systems, regex packages, Haskell design patterns, web frameworks, SQL libraries, and even basic string datatypes. Now consider the Cartesian product of those choices and all their mutual incompatibilities. That's cognitive overload and nobody pays for analysis paralysis.

A stable engineering group with long-term projects can define a reference architecture and these problems are manageable. But consider large enterprise consulting, where I work. We routinely see unrelated new client projects, quickly assembled teams with non-intersecting skill sets, and arbitrary client technical constraints. Here, the idea of a repeatable, reference architecture doesn't fit, and every new project suffered cognitive overload from Haskell's big Cartesian product.

I really hoped Boring Haskell, Simple Haskell, and other pragmatic influences would prevail but Haskell has gone elsewhere. Those values are worth reconsidering, either in Haskell directly, or in a new and simpler language that puts those goals at center of its mission.
Making an userspace to Linux kernel, and sorting out disagreements by creating yet another fork.
> First off, there are legitimate security concerns with the kind of functionality required for effective ad blocking given the immense work the ad industry (i.e google) have put into preventing purely static filters is also very powerful for exploitation. Those powers can (and have been) abused: the recent news about "Honey" replacing affiliate links so that they are getting paid for ads on peoples page, but also there have been numerous examples over the last year of extensions being sold and then having the extensions getting malware, crypto miners, etc.

Who controls the accounts and the distribution for all chrome plugins? Who allows automatic updates with no security screening to all chrome plugins? Who charges developers a fee to participate in the chrome extensions store?
well you'll have to get a DD on board to do the work and zig isn't even in debian so that'd have to get there first and the person wanting the terminal probably doesn't want to maintain the programming language as well. So that probably means 2 DDs. Again, there is a non-normal distance here.
There's no browser extension available for Safari: https://keepassxc.org/docs/KeePassXC_GettingStarted#_setup_b...
I LOVE Cool Retro Term! I mean, every once in a while. But if I’m sharing it in Zoom, I’m damn sure re-opening my tmux session in CRT.
I wrote a toy shell last summer and this was one of the pieces I referred to most.

Writing the beginnings of a shell is surprisingly easy. fork() and exec() do all the heavy lifting. I would recommend it as a great systems programming exercise.
What language did you find was easier to embed, and how does it handle the lifetime management that Lua's embedding API handles with its stack?

The language itself may be a matter of taste. I prefer languages which, "in the face of ambiguity, refuse the temptation to guess," but certainly I've spent enough time using Perl, bash, JS, and BASIC to be able to deal with Lua's relatively mild level of DWIMminess.
Yeah, a fair point (though if you can't manage keys one by one that seems a massive usability issue and oversight with no safe path to resolution).

This adds another step needing considered for a user, as finite storage means a whole edge case to consider (can't register as slots full), and no simple actionable step to take ("which account would you like to never be able to log into again?" or "sorry you need to wipe this key and lose everything, or buy another one")

I feel there is a usability aspect of FIDO2 (for non-resident MFA) that is being overlooked - the paradigm was simple - a physical key you don't lose, and you can have multiple keys. The gotcha was no way to replicate backup keys, which becomes fairly difficult for users. But hey - passkeys launched with no export or migration process between closed device ecosystems!

From my perspective though, I won't use passkeys until I get sufficient control over them to be allowed to decide if I want to make them "resident" or not. (I don't want resident keys!!)

I want to use non-resident keys everywhere as a hardware-backed second factor that is phishing resistant, without capacity limitations (so zero cognitive burden on whether to use or not).

It feels like a regression for passkeys to be forgetting about what (for me at least) was the core basic use-case of FIDO2 - as a highly secure second factor for someone who already can manage storage of secrets in software, and just wants high assurance phishing resistant MFA during their conventional login process.
That would be stock Windows 10!
Lets start with the package fragmentation for one, and even the same format not being compatible across distros.
1. Seize the vessel including cargo (as a penalty for the damages).
2. Ban every vessel under that flag from your waters 'til ships only ever sail with flags from their origin (ending that ridiculous game is long overdue).
3. Enprision the crew.

If you want to represent 449Mio people you can't behave like a scared hare.
Why do you strongly resist products by Musk?

He runs highly competent firms.
I concluded that we really should have the speed limit at 45mph on highways. Then one body dying on the road would be so rare it would be newsworthy.
When will AWS, Azure, GCP adopt such great distros?
15 miles a day every day for about 1.75 years.

Funny, you bring us Russ Cook, his body was literally breaking down. Again, 15 miles on average is tame for a long distance runner. It's starts to become exponentially harder when there are no rest days involved. Both of the achievements are nothing to scoff at.
> Otherwise I was ready to happily paste my private key into the (official-looking) form and domain.

Sorry, why would you ever disclose your private key to some online forum? I can't see a situation where it makes sense.

Clearly there's something I'm not thinking of, so I'm genuinely curious
find a way to flip direction of all home improvement and repairs. e.g. right now:

- I have $80,000 to renovate my kitchen

- there are A LOT of companies that will want this job

- however, it is ME, the person with all the money that needs to spend enormous amount of time trying to find companies on angi and google and yelp and god knows where else

- I have to keep notes or shit as different companies come to my house to give me quote, send me emails with 3D models and whatever

- then I have to in some way parse through all that to pick a company for this job

what I want is a place to post this job and then have companies fight over this job, submit proposals etc… with some AI bullshit to sift through and help me decide. then I want to be able to negotiate price by pitting one proposal against another to get the best thing for the best price

note that this is applicable to both large and small jobs, this example above works well even if the job is as simple as toilet replacement or snaking my pipes.

and of course this could work for other things, not just home improvement… “I have $75k budget and am looking for a pre-owned luxury car…” - dealerships come to me vs. me spending 11 weekends driving around or “I have 3500sq ft home in 22040 zipcode, give me a quote for house insurance” or “I have 2015 tesla s and 2020 audi etron in 22040, two drivers with pristine driving record, need quote for car insurance…”

This is more like $1bn/year idea though…
This is an interesting article. It’s worth mentioning open source software exists for the StreamDeck. Companion is very popular in the AV production industry. https://github.com/bitfocus/companion
Cursor trail?

I've been using Kitty since just about the beginning and didn't know it did that!

Edit. Oh I see it's a really recent addition. I'll definitely be taking that for a spin.
Google engineers have nothing to do with this decision. They are just employees.
It might be fantastic in other ways; there are multiple ways an API can be good. For example, it could be very expressive and flexible, or it could be especially amenable to formal proofs with things like TLA+ even if it's error-prone in human hands, or it could facilitate very high performance. Even on the error-proneness axis, an error-prone API might still be less error-prone than the alternatives.
Most of them are approximations instead of exact, so they can produce incorrect SDFs.
To be blunt: if your library requires me to handle it differently than all the other software that exists, it's a bad library. If you break compatibility every week you should not be writing a library at all.

> This reminds me of the time Debian developers "knew better" with the openssh key handling...

How much % of the CVEs that exists are from debian patches and how much is upstream developers? Can you confidently claim that upstream developers are better at security than debian developers? Or are you just picking a single example and ignoring all the rest of the data that you don't like?

I have 3794 packages currently installed on my machines. If all of them required special handling like your snowflake library I'd just not be using a computer at all, because I certainly don't have the capacity to deal with 3794 special snowflakes.
Lisp-like languages with their S-expression syntax (or lave of same) makes this very easy to do at least.

Abstract interpretation is super easy to implement over Lisp-like languages IMO.
Same! I continued to be confused even on seeing the picture of the device and thinking, 'wtf, is there some steam deck console device I've never heard of?'
From the perspective of the market, TSLA is not a car company. It sells carbon offsets/credits. That is their business.
The interest part here is that there doesn't seem to have been much advance knowledge of it. At least in the public (western) space - presumably the spooks knew.

Note how there isn't even a name/designation and this first sighting is a gov sanctioned video. So pretty much out of the blue straight to it's flying already (well test flying).
Hmm, https://github.com/abcminiuser/python-elgato-streamdeck/ already supports the Plus (that's the library behind https://github.com/timothycrosley/streamdeck-ui ) I wonder if there's a missed opportunity for collaboration here (I didn't see any names in common at a quick glance, though I didn't dig that far.)
I am in the "Lua sucks" camp. I also found it weird how clunky it is to embed, but my biggest gripe is with the language itself. It just sucks, as its barely a programming language at all. Every Lua project ends up reinventing its own class system or other language feature to get anything done.

I've also never seen a clean (non trivial) Lua codebase before. They're all spaghetti messes and difficult to follow. On the contrary, some of the worst, least maintainable and difficult to read code I've seen has been in Lua.

For configuration (what it was originally designed for) or for very small, non-critical stuff, then it can be a good choice.

With that said, I know some people are very productive with it, and have made impressive things in Lua. It's just not for me.