skysight-inc/HackerNews huggingface dataset:
Engineering is about tradeoffs. There is no One Model To Rule Them All. Your post is a great thing to keep in mind, but it's not a prescription. Engineers need to be able to look at a problem from many points of views at once, and try to find the right path for their current problem. This is why it's so important that models play nicely with one another, something that functional programming is getting better at, but reactive programming still really struggles with.

All of your asterisked points are well-taken, but: do you need that capability? Sometimes; sometimes not.
On that topic, does anyone know about a good alternative that can be used just for a secure SMS number? Google Voice has been mentioned several times but it's unclear to me how that helps.
For me the biggest advantage of using pnpm is that it doesn't fill up my hard disk.

From their main page -

"Files inside node_modules are cloned or hard linked from a single content-addressable storage'
You can tell when, because if it uses the allocator it will return an error. So the first line definitely doesn't allocate, and the second definitely does.

That is, unless you explicitly handle OOM conditions inside your construct, e.g. 'crash if you're OOM', which isn't typical in zig code. All code I interact with will return an allocator error if allocation fails.
Doesn't matter. If you invest time in a game (maybe even in a competitive or "ranked" mode) you expect that everyone in your team is playing seriously. People who don't shouldn't play this mode or game. What you call "whining" is legitimate. If you don't play you are wasting your teams time, taking them hostage. Sometimes you can't leave a game because other penalties occur.
Both amazing and terrifying. Might be wishful thinking that as a race we do the right thing with these technologies but here is to hoping
Show HN: No-framework, customizable, animate-able, SVG <qr-code> HTML element
yeah that's a recent thing though. it supports a bunch of customized toolchains, has backwards compatibility for major VS releases over the years (being able to use older compilers can be important for large projects sometimes) and support for generating project files for a handful of IDEs. [1]

maybe you're right and the generator support will become less relevant, but when i think of cmake, i think of a build system generator that makes potential cross platform ports easier. support for generating IDE project files for multiple IDEs is a nice feature for developers as well.

[1] https://cmake.org/cmake/help/latest/manual/cmake-generators....
Hey Adam, if you're interested in smart people looking at your ideas and providing criticism you should submit your papers to an ML conference for a peer review.
I wonder if the lower gravity on Mars would have an effect on bamboo's growth. Maybe it will grow faster, or higher?

The gravity on Mars is roughly 1/3 G.

Edit: I also wonder if there's a potential process for turning bamboo into PLA.
Maybe not in general, but there is really interesting work happening in the area of verified protocols generating safe C code (memory safe, overflow safe, timing safe, etc). In particular Project Everest has a set of verified primitives underlying higher level protocols like TLS and more recently all Noise variants (https://eprint.iacr.org/2022/607).

As WireGuard is based on a Noise construction, it seems reasonable to hope that once formally verified PQ primitives are in place, a fully verified protocol implementation could be generated?
Yea, when I saw these limitations, the first thing I thought of was Tesla. And Tesla makes it very clear with their messaging, when you first pair your phone, something like 'Due to limitations by Apple, you won't be able to participate in group chats.'

It seems obvious to me Apple always wants to keep one critical thing inaccessible for iMessage, to lock people into using their platforms. They'd rather Tesla use car play, that way they can lock the integration down so others (like Windows) can't use the same integration.
Google Docs Dark Mode
Hey HN, I built a chrome extension to make it easier to work with Google Docs in the dark. It adds a dark mode to Google Docs, so you can work comfortably at night. It's very easy and simple to use: Just install the extension and it will work. Let me know if you have any questions or suggestions.
Repos are extremely costly. My friend let his car get repossessed because he did not need it anymore thinking that was easier than selling it and there wouldn't be any negatives other than on his credit. He was surprised to get sued for the cost of the repo, which was thousands plus they managed to sell the car for much less than it was worth.
Not only sim swaps, but also phone unlock codes IIRC.
I recently switched to Polars because Pandas is so absurdly weird. Polars is much, much better. I'll be interested in seeing how Pandas 2 is.
I really enjoyed this episode of Darknet Diaries which tells the story of how some of these SIM swaps are done: https://darknetdiaries.com/transcript/112/
Funny, I did it in both my current and previous job.

Wrote first draft in org, exported to docx. Then every time someone made a change, I'd export back to org and version control it. The other party never had any idea. It was much easier seeing the changes he made by diffing the org files than by using Word's track changes mode.
> My filter for when I should learn a new feature is when it solves a task I find repetitive and annoying

There! You said it so well... that's the #0 reason why I go RTFM'ing, because most likely my problem fits a pattern someone already encountered and figured a solution for. Or nobody did and I put together a less annoying workflow to deal with it.

Sometimes the effort is worth it, but often it is just fun trying out new things/techniques.
Theranos didn't either. There were a few influential people on the board, but they were more for providing prestige and legitimacy in front of investors and customers than pulling any strings in the government. The FDA and other agencies more or less did their job (which wasn't enough, but that's how regulation works in general in the USA).
I have vimium configured to just use f, F, and alt+j and k to move between tabs. That's all I really need and it doesn't tend to conflict with the web sites I use.
Should work but I haven't tried it
It's not hard in a small market. Often, large dealership chains don't put all their eggs in one brand basket. It works the same way in other cities, but larger cities can support multiple dealers of the same brand.
Agreed that the OpenAI API is pretty easy to use. But to have a model perform a specific task involves more than just calling the API - you have to manage prompts, finite context windows, and integrations with other APIs.

We use GPT under the hood for our website summarizer for example, which involved connecting the OpenAI API to a web scraper and then handling cases where the website had more text than GPT can handle. Finally we also experimented with a bunch of prompts to make sure that it responds based on the user's needs.
Free will/choice is one thing. I think there are also plenty of people that grow up totally obsessed with their art and feel they need to be a part of it, like they have to go to Columbia Uni to write or act, or be a historian, etc. It's an interest gone out of control.

Even if they do that and rack up the loans, they may go into the real world naively and end up not making it big. Ever.

I guess my thought is, there's something creating that desire or urgency too. As System of a Down put it, "Advertising causes need."
As a FDM printer owner, it does use quite a bit of energy.
My ender 3 uses 0.125kWh[0] with 200C extrusion (PLA) and 60C bed, but making a durable children spork can take hours.

my personnal guess: by plastic mass, FDM is probably way less efficient energy wise than injection molding for the same mass of plastic, since meltic plastic a tiny volume at a time must have more losses than having a big amount heated at once.

0: https://3dsolved.com/ender-3-power-consumption/
How to navigate the AI apocalypse as a sane person
Did you guys read the article? It just transmits messages the same way your car would when connected to Bluetooth.
Ah! I was wondering what that change signified. I assumed it was just a corrected mistake, but you're right, it changes the gender of the third generation. Very interesting.
> The title stays with the lender until all the payments are made per the loan agreement.

This varies a lot by state. A lot (most?) states the title absolutely goes to the purchaser but it has a lien attached that gives the lender rights of repossession.
This is the real answer. Its a dogwhistle to call someone 'one of them'.
I'm designing a such a system now, based on the pure functional Joy language with two additional data stores: a relational db system (Prolog (or maybe Datalog), not SQL) and what is effectively a git repo although I think of it as a "data oracle".

The role of the relational db system is explained in TFA. (Prolog makes a fine Relational Model DB (the "relations" in RMDBs are the same logical relations that Prolog "relations", um, are.) The language is cleaner and simpler and more powerful than stock SQL, there's an ISO standard and several solid implementations, and you can always back it up with SQLite or PostGRES or whatever if you need to.) The trick to integrating it with a purely functional system is to only use "pure and monotonic Prolog code" which you want to do anyway ( https://www.metalevel.at/prolog/debugging ) or as I like to say, "Don't put lies in your database."

The "data oracle" (which again is more-or-less just a git repo) provides bytes given a three-tuple of (hash, offset, length). These are immutable, so you can cache the results of (pure) computations over them (e.g. a predicate like "is valid UTF-8" is true/false for all time, yeah?) This replaces the filesystem.

I was working with Prof. Wirth's Oberon RISC CPU as a basis, but a couple of days ago a fantastic new 64-bit vm went by here on HN and I'm going to use that going forward. https://github.com/maximecb/uvm https://news.ycombinator.com/item?id=34936729
A good one still is. When I got my most recent phone (Galaxy 22, but I jumped several versions in the upgrade so I don't know when the change happened), the spellcheck engine regressed massively from previous editions.

I'd be so curious to hear what the change was. It's absolutely awful to use!
I tried it on my Ryzen laptop and was able to work. You need to use 360p video and apply the settings and then restart the video for it to kick in. To really tell a difference, you'll want to compare screen captures.
It depends. If you are willing to download proprietary drivers from nvidia, it literally just works. Though I'd probably suggest not getting on a rolling release distro, or any distro that is focused on mostly sticking with libre/foss solutions. Ubuntu works great with non free drivers, out of the box, so just use that. Kernel updates might be tricky on some distros, so sticking with more stable releases is preferable in my experience

(I have used AMD and NVIDIA cards, including a 4 GTX1070 cluster a few years back with mostly little issues on both. Also used GCN andRDNA1, and now I use nvidia on ubuntu for work and it just works.)
It's the hidden implication that only financially unviable jobs can teach people to communicate and think deeply.

I'm sure your average psychiatrist graduate can communicate and think logically, despite having a high paying job. Or airline pilot, or naval officer, or air traffic controller, or scientist, or businessman etc.
> require the client to do all the indexing and upload the encrypted index

Or just require the client to do the indexing and the searching, and not upload the index anywhere.
Billionaire's backing for space stations with artificial gravity
How does this compare to the work done by the Netherlands group (Hulsing/Zimmermann, etc al) [1] and the Kudeldki group from Switzerland (Raynal/Genet/Romailler) [2]?
It's nice to see someone making this more available. I had thought about trying to push the pq-wg implementation from Kudelski group to wg or trying it out, but I never had the time. Rust implementation seems to be an improvement of implementation, but I don't know about the underlying proofs.

[1] https://eprint.iacr.org/2020/379.pdf
[2] https://csrc.nist.gov/CSRC/media/Presentations/pq-wireguard-...
[3] https://github.com/kudelskisecurity/pq-wireguard
I don't understand the claims well enough to evaluate them. But the way this document is written, and where it choose to put its attention (no pun intended) strike me as odd. The sections on the transformer and its components seem like they should be backed with a lot more specifics tying back to the (Combinatorial) Hopf algebra described in the preceding sections. The Hopf algebra section defines a bunch of notation and structure, and introduces the label "Hopf Coherence" for some invariant, which is expressed in terms of that pile of notation. The Combinatorial Hopf Algebra section introduces a "shuffle product".

But we never actually get a clear explanation of how this stuff lines up with parts of the transformer / attention mechanism. There's an _assertion_ of Hopf coherence between two paths, and in 6.2 there's a description of the QK and OV circuits as having a co-product product relationship, which isn't especially clear but is at least a direction. What is the antipode in the transformer context? If Hopf coherence is m(id x S)\Delta = \epsilon * u, and
OV is (or is like?) the product m, and QK is the coproduct \Delta
... what are the unit u, counit \epsilon, and antipode S?

It looks like the author never spells it out, and certainly never proves the assertion.

Instead, there are these hard-to-comprehend claims in prose, interspersed with math defining the most trivial things.
In 6.2.1, it reminds us of what it means for a row to sum to 1. Then it quotes a definition of co-injection.
In 6.2.2 they remind us what a symmetric matrix is.

The shuffle product defined in 5.1 doesn't get used, except to say that it will be part of future work.

I'm not saying there isn't any insight here, but I think because the author shows in sections 3-5 that they expect many readers will not have this background, they should do a clearer job drawing the relevant connections explicitly, and backing up claims.
It's actually totally normal to be annoyed by people who rudely put words in your mouth - you'd understand this if you ever had a normal social interaction. Couching this as you doing me some sort of favor, because I cannot navigate my own emotions, is just more of the same dishonesty from you. Rude and obnoxious.
You might be interested in the Serial Wombat which can expose gpio as as I2C, for which it has pads on the back.

https://www.serialwombat.com/
Yeah you do not even need ML for accurate manipulation detection but I guess people now really use AI/ChatGPT as a turd polishing agent for anything.
Rediscovered Terry Pratchett stories to be published
At first I thought that this is a really odd business differentiator.

Then I realized this is meant for lenders. Ford has a credit and leasing company, which might be the actual target of this. The rest is superfluous.
> switch infrastructure "hacked" or modded nearby perhaps in the same country

That's not how it works.

Spoofing a source IP is easy. But if you don't own the IP you spoofed, all the routers on the internet will deliver the target's response packets to an IP that isn't you (some DDoS attacks work this way.) No bidirectional communication could occur this way, and you generally need feedback from a target to assess and pivot.

To get bi-directional communications on an IP you're spoofing, you'd have to configure all the internet routing infrastructure between you and the attacker to send you their responses. But once some router in Illinois starts advertising that it can route a Chinese network in 2 hops, you've left a significant written record of your tactics that will make network operators suspicious.

You'd get the same effect for much less effort by simply relaying your attack through a computer that's actually in China.
The next article from Quanta I see that's not at least this sloppy will be the first. It requires a good deal of critique in the reading to extract anything of value.
I think they're talking about the "small research outpost" stage, rather than the "economic colony" stage of space exploration.
>we watch reaction videos and SNL clips

College lectures, cooking videos, work out instructions, car repair instructions, guitar covers, I could go all day.

It is a video sharing platform, and the most popular one at that. Entertainment might be the most popular use case of the site, but it's still a tool for accessing information.

>You don't ask book stores to provide quick access to medical books in case of an emergency.

Of course not, the person would be dead before you got there lol.

My whole argument is that YouTube is very often used as a tool for quickly accessing information, so it would be really beneficial to provide something that could save lives, what is the problem with that? From a business perspective, it might even be a good PR stunt.
It's really that low? Ah, my bad. That's surprising to me.
Yes I drew a gecko on a rock with a palm tree and it was perfect
“squirrel with acetylene torch attacking a tank”

Didn't get the squirrel part quite right, but maybe it's my drawing :-)

https://scribblediffusion.com/scribbles/bxc3jaofkzdh5nyjlff5...
> We should always be looking to improve and to make things more efficient. This is a core value of capitalism that people seem to forget.

That's really not one of the core values of capitalism. But if we're talking about it, one of the core values of capitalism is self-interest, when people act in pursuit of their own good. Doing the bare minimum is peak capitalism. You need to minimize effort while maximizing gains. This is what companies are doing and it's something both 'the market' and society is totally fine with. But if you're an employee trying to apply the same principles in their context, all of a sudden, it's breaking social norms.

> We should want to make things continuously better.

Better in what way and for whom? A relaxed employee has more time to spend with family and also spend more money (which is a 'core value' of market capitalism).
This looks like its just a quick front-end to the ControlNet scribble model (perhaps with a customized underlying model instead of base Stable Diffusion), with canned settings, presumable a canned negative prompt, and maybe some common stuff added beyond the user input to the positive prompt. Which is not to be dismissive, its a very nice demo of what SD+ControlNet scribble can do.

But for people who like it, the ControlNet scribble model (and the other ControlNet models, depth-map based, pose control, edge detection, etc.) [0] are supported in the ControlNet extension [1] to the A1111 Stable Diffusion Web UI [2], and probably similar extensions for other popular stable diffusion UIs. Should work in any current browser, and at least the A1111 UI, with ControlNet models, works on machines with as little as 4GB VRAM.

[0] home repo: https://huggingface.co/lllyasviel/ControlNet but for WebUI you probably want the ones linked from the readme of the WebUI ControlNet extensions [1]

[1] https://github.com/Mikubill/sd-webui-controlnet (EDIT: even if you aren’t using the A1111 WebUI, this repo has a nice set of examples of what each of the ControlNet models does, so it may be worth checking out.)

[2] https://github.com/AUTOMATIC1111/stable-diffusion-webui
My guess would be higher and weaker.
Nothing Phone (2) confirmed to get a big power boost from a Snapdragon 8
> Pure functions are more modular. It allows you to treat your logic like bricks and building blocks.

Mathematical purity is indeed what allows you to treat your logic like bricks and building blocks. My point is that "a monad is a monoid in the category of endofunctors" is not the only "pure math" out there, and also that your domain model is likely the most impure part of your whole program. Functional programming is awesome! But mostly ignores the existence of essential mutable state, and embracing functional programming is only a small part of the "mathematical purity" struggle that is indeed the only way to build truly reusable building blocks. If you're spending lots of time building clean, pure, mathematical data manipulation logic, but the data you're manipulating is "Dog : Animal" and "Cat : Animal", you're in a garbage in/garbage out situation. Worry about the mathematical purity of your data model itself. It will marry and dance and harmonize with the purity of your functional logic!

> Mutating a variable is less resource intensive then generating a new variable.

Not always.
> the equivalent question is internal implementation vs external dependencies.

Liabilities. Take the Windows EULA, its a contract that states MS is not liable for anything, standard software contracts state the same, so if boils down to being able to prove negligence, which can be sued for.

For example, do you trust the suppliers? IF they are in a different country, what's the chance of legal recourse if negligence can be proved, knowing about political interference if the entity is valuable enough?

So yes I agree, how do you assess simplicity, and as Billy Gates would say... it 's complicated!
Is this it? http://news.bbc.co.uk/2/hi/uk_news/england/somerset/4489033....
Show HN: Command palette for your Django Admin panel
If parents could be made decent humans, a large portion of the abuse would be solved.

I don’t support weakened encryption, but parents are very much part of the problem.
For those of us who never heard of "face aware liquify," it's apparently a tool in Photoshop that allows manipulating faces with some sliders. Here's a Photoshop tutorial with animations that show what it can do: https://helpx.adobe.com/photoshop/how-to/face-aware-liquify....
Are you familiar with the Overton window? According to it, you will never see successful extremes because what is considered extreme changes before the world does. I think you can find plenty of examples of historical extremism that is now normal (and "healthy").
I had to ask ChatGPT to write one

Verse 1:
My truck was my pride and joy, it was my everything
But now it's gone, and I'm feeling the sting
Ford said I couldn't pay, so they took it away
And now I'm left here, with nothing to say

Chorus:
My truck done left me, and my heart is broke
I'm just a heartbroken man, and it ain't no joke
But I'll find a way to get back on my feet
And maybe someday, my truck and I will meet

Verse 2:
Elon says I'm lazy, but he don't know me
I worked hard every day, but still couldn't keep my truck, you see
Folks told me to learn to code, but that ain't for me
I just want my truck back, and to be free

Chorus:
My truck done left me, and my heart is broke
I'm just a heartbroken man, and it ain't no joke
But I'll find a way to get back on my feet
And maybe someday, my truck and I will meet

Verse 3:
My tractor used to be my trusty steed
But John Deere said I couldn't fix it, no indeed
Used to be, I could do it all myself
But now it's all about John Deere's wealth

Chorus:
My truck done left me, and my heart is broke
I'm just a heartbroken man, and it ain't no joke
But I'll find a way to get back on my feet
And maybe someday, my truck and I will meet

Verse 4:
Monsanto told me not to plant my own seeds
But I didn't listen, and now I'm in need
Of some help, to get back on my feet
But I won't give up, no, not me

Chorus:
My truck done left me, and my heart is broke
I'm just a heartbroken man, and it ain't no joke
But I'll find a way to get back on my feet
And maybe someday, my truck and I will meet

Outro:
My truck may be gone, but I still have my pride
And I won't let anyone, take that away inside
I'll find a way to make it right
And maybe someday, my truck will be back in sight.
Will this also fix how youtube always starts high res videos at the lowest resolution making them look like crap until you manually reset it?