skysight-inc/HackerNews huggingface dataset:
Erika wrote “Using use in Gleam” in part because I didn’t understand how to use `use`, so I feel at least a little bit qualified to answer this.

I find that `use` is quite effective when needed. This is the part referenced in her article where I find `use` particularly helpful. Something like:

fn outer() -> Result(success, failure) {
result.map(parse_id(), fn(id) {
... // More code that uses the id
})
}

Becomes:

fn outer() -> Result(success, failure) {
use id <- result.map(parse_id())
... // More code that uses the id
}

In more concrete terms, I’m building an application with Gleam and Wisp that uses Wisp’s `require_form`. The type signature for `require_form` is:

pub fn require_form(
request: Request(Connection),
next: fn(FormData) -> Response(Body),
) -> Response(Body)

But I get to use it like this:

use form <- wisp.require_form(req)

I’m not sure if I have the appropriate nomenclature here, and I consider myself a beginner of writing strongly typed functional languages, but when I use `use`, I get to invoke the callback with the value on the left side of the arrow.

As Erika so thoughtfully put it:

> The key is to use `use` when it allows you to highlight the happy path of your code … A use expression is syntax sugar, and it’s always possible to write Gleam code without it, though maybe not as clearly.

You can see more here [1] if you want, but note that there are a lot of structural changes in this codebase while I learn and figure out how to best use Gleam and Wisp :)

1. https://github.com/usepriceflow/app/blob/main/src/app/web/ad...
I think the key thing to keep in mind here is that the effects of semaglutide is extremely broad, potentially to the point of being a broad spectrum aid against addictions in general (as has been suggested with animal testing with alcohol). If that's the case and nobody discovers any really horrifying side effects, it's going to potentially affect a whole lot of things outside of just food that exists right now.
I have a low tolerance for absurdly stupid comments.

Once you sell a share you don't get to control who it is sold to afterwards, you could give shares to people as stock-options, and they are (rightly) going to sell their shares regardless who the buyer is, only based on the price.

So. Seriously, shut the fuck up, you're suggesting that the only answer is isolationism.

Identification of an issue (people buying up European talent before it gets large enough to be competitive) is not an invitation for absurd and deficiently reasoned victim blaming.
In my experience Monkey Island 1 was still relatively reasonable with the puzzles but 2 was ridiculous.
Molly: An Independent Signal Fork
Any revolution and revolutionary change will cause a considerable amount of deaths during the power struggle. Do this mean that post-revolutionary France is orders of magnitude worse than pre-revolutionary France?

Russia during the czarist era suffered severe famines about one each 11 years, and the death toll was on the order of millions, all happening while Russia exported grains [1]. It could be argued that the modernization happened in the post-revolutionary Russia prevented new famines after some time, despite the initial drawbacks caused by revolutionary changes. It would be very difficult to do a proper land reform with a regime backed by a rural nobility.

[1] http://www.domarchive.ru/history/part-1-empire/61
1) $200K isn't a very good retirement fund.

2) I'm afraid 7% above and beyond inflation is pretty optimistic going forward
I have some potential bad news for you - become a consultant and say this is what you want to do. You'll work in some whacky, rural areas on who-knows-what, but you won't be sprint-driven. At least not so much.
What counts as plausible nowadays may surprise you given your grasp on true performance. Observe these professionals. https://www.primevideotech.com/video-streaming/scaling-up-th...
I'll give a different example: Romania (mostly) skipped (A/V)DSL and went directly to optical fiber, which resulted in having the top-spot in download speed for a couple of years.

The US started from 100m ahead - the level Europe was at the time - so they already had a foundation - and (imo) made it easier to look ahead from atop a (100m) mound.
Wow, thanks for that link. Super interesting, and somewhat reassuring after reading the other article! What would make it even more convincing is a good explanation for the cause of the previous ice age and how it affected north west Europe.
Well, flip it around, by what criteria was the positive "phlogiston exists" a religious belief to start with?

For almost any positive statement about religious topics or implications, the negated version remains also about religious topics or implications.

"Bread doesn't exist" is still a belief about the concept of bread.
In the specific mechanism of it, sure. But, what people actually care about are the bad effects and how likely they are to happen.
Vikings were amazingly influential in early modern history. They were the origins of Normans, who, quite apart from England and Northern France, founded successful kingdoms in the Mediterranean. They were also the original European Russians (the name "Russia" derives from "people who row", = Vikings)
That 2012 decision was unanimous, including all the conservatives. Roberts, Thomas and Alito all held GPS tracking without a warrant to be unconstitutional, along with Scalia (now deceased).

If the exact same case came before the Court today, would it rule differently? I doubt. One must assume Roberts, Thomas and Alito would rule the same way. Ideologically, Gorsuch, Kavanaugh and Barrett are all less conservative than Thomas and Alito, more conservative than Roberts – which suggests if Roberts, Thomas and Alito are all ruling the same way, probably Gorsuch, Kavanaugh and Barrett would too. And Jackson is both a liberal, and has been seen to be defendant-friendly even when the other liberals wouldn't be (see when she joined all but of the conservatives in the recent J6 case, while Barrett joined the remaining liberals). So probably, that case would go the same way today as it did in 2012.

Now, this is a separate issue, so the outcome of that 2012 case isn't decisive in how this case would be decided (if it ever reaches SCOTUS). But it would be wrong to assume that SCOTUS becoming significantly more conservative is necessarily going to change the outcome.
Yes, saving 20% when you have $20 left over your paycheck (or sometimes even negative dollars) might net you a solid $100k when you’re retirement age but I doubt you’ll be able to stretch it very fair since it’ll be likely you’re still renting and still have debts dragging you down.

I think what we will see is a return to generational housing in America. More out of a necessity, like how divorced couples still lived together during economic strifes across the world.
All my stuff is 100% public domain and open source and can be piped through whatever people need to make the most custom experience.

The default is high information density. This is how they did it in the old days. It makes a lot more sense to default to high information density with 100% public domain open source content in clean code for perfect accessibility.

Anything with a (c) or license has bad accessibility.
If you only need simple dialogs, whiptail is usually installed on Debian-based systems: https://en.wikibooks.org/wiki/Bash_Shell_Scripting/Whiptail
https://archive.is/vtbh9
> So much for the common myth that all boomers and gen-x enjoyed decades of economic prosperity and thus are wealthier.

or rather: maybe because they enjoyed these decades (which often equals spending wealth), they don't have wealth now.
When win32 was dominant they didn't need to document it, people had the motivation to figure it out.

Successive waves of Microsoft people then tried to make it easier to use or replace it entirely, which, they never did so with the same quality as the original.

Unfortunately some of those misadventures became synonymous with building a windows UI.
Ha, clearly mt means millitonne. It’s a complicated way to write kilogram.
I use it that way sometimes, but only jokingly. I also enjoy confusing people by using Mm for a thousand kilometers. It’s correct, but unexpected
Using plain $LANGUAGE to communicate with LLMs is an interesting contender, which is even easier for end users than GUIs and even less precise and is further removed from the underlying computations. In spirit, it is definitely a step in the same general direction, which makes a lot of formulations in this article sharply prescient.
MacOS Sequoia supports every computer 4 years old. Almost no apps or CLI programs will absolutely require it unless they’re specifically invented to support some brand new feature. I’m running it on my 2018 Mac Mini.

If you wish Apple supported computers longer, fine. I’d personally disagree because I’ve had wonderful luck with them supporting my old hardware until said hardware was so old that it was time to replace it anyway, but would respect your different opinion. Don’t exaggerate it to make a point though.
> It’s hard for me to feel sympathy for a generation that saw the largest expansion of wealth and failed to put $1000 a year away in an index.

Individuals own wealth, not generations, and individual wealth is distributed extremely unevenly.

"The top 10% of households by wealth had $6.7 million on average. As a group, they held 66.9% of total household wealth. The bottom 50% of households by wealth had $50,000 on average. As a group, they held only 2.5% of total household wealth." https://www.stlouisfed.org/institute-for-economic-equity/the...
Renderless Components: Best Way to Use Svelte with Leaflet and Imperative APIs
> Notch had a vision but he gave up on it for money.

That's certainly one way to see it, but I don't think Notch was ever really in a position to turn some of his more grand ideas for the game into a reality. Not because he couldn't afford it, but because he didn't have the skill (or interest) in leading a Studio that's much bigger than ~20 people. From everything I've read about him it seems like he never liked any of the additional responsibilities that came with Minecrafts growing success and there are some accounts from some early members of the team that seem to corroborate this.

So I really don't think he sold out. I think he realized that he couldn't be the person to manage Minecrafts generational success and that he'd rather have 2 billion dollars in exchange for giving another company a shot at that, versus not having that money and then seeing himself fail to bring his ideas to fruition.

In the end that's of course just speculation. It could just as well be that he never had any of those thoughts and just fucked off, laughing all the way to the bank and then to the biggest hollywood mansion that money can buy.
In that case I'm still glad that he got the bag from Microsoft, because I can imagine much worse ways that this could've gone.
> Everyone is entitled to their own opinion but this take seems absolutely out of pocket to me

Made me laugh. We all have our tastes and loves/hates. Accept it.
Also, NAT is desirable for security/network isolation reasons, and having no distinction between a local IP and a public IP has a lot of disadvantages.

Yes, there are ways to configure IPv6 to isolate subnets, separate local traffic from internet traffic, set up firewalls and DMZs, run local DNS, etc., but they're all more complicated to configure and administer than their IPv4 equivalents.
Very cool!

Do I understand correctly that this works by splitting each line into words, and using the embedding for each word?

I wonder whether it might be feasible to search by semantics of longer sequences of text, using some language model (like, one of the smaller ones, like GPT2-small or something?). Like, so that if you were searching for “die”, then “kick the bucket” and “buy the farm”, could also match somehow? Though, I’m not sure what vector you would use to do the dot product with, when there is a sequence of tokens, each with associated key vectors for each head at each layer, rather than a single vector associated with a word..
Maybe one of the encoder-decoder models rather than the decoder only models?

Though, for things like grep, one probably wants things to be very fast and as lightweight as feasible, which I imagine is much more the case with word vectors (as you have here) than it would be using a whole transformer model to produce the vectors.

Maybe if one wanted to catch words that aren’t separated correctly, one could detect if the line isn’t comprised of well-separated words, and if so, find all words that appear as a substring of that line? Though maybe that would be too slow?
Nice to see you here on HN, Roger. Some of us still use Merlin 16+ every weekend when we get a little free time.
There is a mechanism design problem here. I cannot understand why California is focused on regulating AI when these cybersecurity fiascoes occur regularly and no one seems to be held accountable.
> Of course. Polish pizza has to have cabbage.

I always thought pizza drama was ridiculous ("pizza should not have pineapple!")

But cabbage on pizza may make me reassess my opinion...
No cable, radio serials, abundant and cheap ready-made toys, recorded music, game boys, smart phones, pre-made mass manufactured decorations for nearly no money, dirt-cheap puzzle books at every store, clothes so cheap they’re disposable, et c.

If you want creative and skillful culture to be mass culture, just make stuff really expensive and eliminate recording and mechanical reproduction. Elevate the social and financial rewards of sub-superstar levels of craft, art, and creativity. We’re losing those things because the value of them’s been driven into the ground.
I used to like using homebrew on personal machines. But then as the person in charge of the dev environments at my company, I tried using homebrew packages for our devs but it just went horribly because homebrew don't have old versions.

- Different folks ran `brew install <foo>` at a different time? They may see different behavior

- I ran `brew install <foo>` after a coworker did? I may not be able to replicate whatever issues they are facing

- Someone new ran `brew install <foo>` on their new laptop? They may have an entirely separate major version of that library with breaking changes.

- Do I know if folks are using vulnerable, old packages? Nope!

- Does production use some database with version X, but homebrew only supports a client for version Y? Eh whatever, just have folks locally use version Y. What could possibly go wrong with using a different version locally vs in production.

I kept our own homebrew tap for a while and pinned versions. That was fine. But then I had to maintain that tap, and there wasn't any easy way I found for checking if the versions we kept in that tap had any vulnerabilities on any registry I could find.

Then I found Github Codespaces / devcontainers, switched everyone to use Linux inside Docker, used linux package managers to install pinned versions of everything we needed (using the same exact packages as we bundle into production), and scan my containers using a container vulnerability scanner nightly.

Instantly, 10+ hours of work per week for me vanished and I can now at least reproduce problems and fix them for everyone when they come up.
SIMD at Insomniac Games: How We Do the Shuffle
Indeed. They are 'seminal', in many ways.-
A lot of people struggle with regular literacy despite being educated on it for their entire life. I don’t think more education will help these people.
Htmx and Elementary: Hypertext web apps with Swift
FR authorities are using the PlugX malware to remove it from victims' PC's
French authorities, together with Europol, are using the PlugX malware's own capabilities to remove it from victims' computers
through a "disinfection solution" that automatically removes malicious software from infected devices in France. This effort is led by the Center for the Fight Against Digital Crime (C3N) of the National Gendarmerie, with the support of the French cybersecurity company Sekoia. Sekoia managed to gain control of a crucial command and control server for a widely distributed variant of PlugX earlier this year. PlugX is a remote access trojan, frequently used by Chinese cybercriminals, which has had several variants over the years. A particularly persistent variant spread via USB flash drives, infecting nearly 2.5 million devices worldwide. Even after the operator of this botnet abandoned the operation, the malware continued to spread, remaining active on infected systems.
Yes, 1964 is the typically defined end of the Baby Boomer date range.
Same, I had several hundred 3.5" floppies from the 80s and they were all fine when I ripped them. I think double density might be more reliable than high density.
Don't use null objects for error handling
No. Look at the implementation. Gpu isn't going to give you huge gains in this one
One interesting thing to note, is that in 1949 Levit sold houses in Levittown for $7990, which adjusted for "Inflation" to 2024 dollars is equivalent to $105K. Those exact same houses that sold for $105K in 2024 dollars in 1949 are now selling for north of $500K.
Disagree. GLP-1 drugs work in large part because they make overeating too difficult. People will vomit if they try to overeat. Meanwhile, I can easily put down a big bowl of oats and still want more.
This would be really useful if it could take a descriptive phrase or a compound phrase (like SQL 'select X and Y and Z') and match against the semantic cluster(s) that the query forms. IMO that's the greatest failing of today's search engines -- they're all one hit wonders.
Ah, the joys of having a compatible data model! I think it’s really cool that Gleam and Elixir can interop so well because they’re both running on the BEAM and can share data structures.

I’m curious to see how Elixir’s very recent (still prototypical) type system addition will change the demand for a language like Gleam.
Presumably they meant segue, not Segway.
They are, though. I spoke to an author just yesterday. They did mostly use brute-force.
No worries. Was just thinking that from this description, which sounds to me like a static electricity problem:

... another soldier, on his way to the refrigerator, tried to squeeze past him.

That’s when their gun holsters made contact.

“All I remember was the clanking” of the two holsters, the sergeant would later
tell an Army investigator, according to a military report, “and [the] gun shot.”

As for "how?", I clearly have no idea. :)
Paris 2024 Olympics – Custom Type – Elliott Amblard
Having to support mobile throws a big wrench in all design. You suddenly have to worry about a very different viewport and now you’re significantly limited or designing two UIs.
This is a good idea. I'm going to offer some unsolicited feedback here:

The configuration thing is unclear to me. I think that "current directory" means "same directory as the binary", but it could mean pwd.

Neither of those is good: configuration doesn't belong where the binaries go, and it's obviously wrong to look for configs in the working directory.

I suggest checking $XDG_CONFIG_HOME, and defaulting to `~/.config/sgrep/config.toml`.

That extension is not a typo, btw. JSON is unpleasant to edit for configuration purposes, TOML is not.

Or you could use an ENV variable directly, if the only thing that needs configuring is the model's location, that would be fine as well.

If that were the on ramp, I'd be giving feedback on the program instead. I do think it's a clever idea and I'd like to try it out.
Or they could just not upload it. No one trusts E2EE systems; you can see Apple tries it and everyone just accuses them of putting secret backdoors in.
> It's an interesting question (how much density is "right" for productivity apps).

Between extremes of GUI presenting all functions at once and accessing all functions through memorized keyboard shortcuts, there must lay large lands of possible, experimental GUIs which unfortunately never get tested in popular software (which defaults to sub-menus + some keyboard access). I mean zoomable UIs, radial menus, 3d concepts in UIs,... - it's hard to see any of research on experimental interfaces make way into actual everyday-use apps.

Every standard GUI element could be thought over. Once I worked with some standard accounting software, where I needed to select some stuff many times during the day from a dropdown. I quickly learnt how to move content from a dropdown menus into a spreadsheet with some formulas which allowed me to paste selection I needed back into these dropdowns 10 times faster. When I was leaving this temp gig I showed this solution to some guy in accounting, whose life was basically opening these dropdowns all day long. Regardless that he was really mean guy, I showed him the trick. He almost had tears in his eyes seeing it. I am not counting muscles strain avoided... Multiply by thousands of users everyday...

Not to mention trying to integrate interoperability of apps within the OS (e.g. to have one program to check for spelling in all apps, across the OS - I cant remember name of one such fine try (ages before)).

As per PS, have you ever tried to really personalize PS UI to your liking? I remember friends getting really opinionated on positioning all those menus perfectly for themselves (and for a reason). Personally I feel like PS is very intuitive for me, whereas in similar apps I cant do simple things, but it's probably because I was kindly shown around.
s/than/then
Counter-spin: an untried at scale idea that assorted monied interests will forever malign.
Tesla is introducing CATL's battery production line.

So can I say Tesla will be controlled by CCP as well?
Is that it? That just reads to me like a project that’s tired of getting bug reports from people on old versions of software.
t'other way about for me. I love Vonnegut loads so I read it, but
discovered an American writer/reporter that I never heard of. Most
interesting. Particularly that theme where idealists seek power to
achieve objectives independently of functional democracy; it seems
human, vital, problematic and American - all in a wholly positive way
- but clearly different cultures have different takes on power and
where the limits of 'visionaries' ought to be.
Like looking at the mist over the mountain far away
yeah you can also get an RTL-SDR for like $30 USD (or something) and listen to a pretty wide range of frequencies - definitely good enough to get started with a very small cost.
The question remains. Would that matter?
If you can get your hands on an Applesauce low level copier you may be able to recover them. https://applesaucefdc.com
Thanks for the report, I appreciate you gave it a try. Thinking about it I doubt if I would like the album very much if I'd hear it for the first time now myself. But way back when it became an instant classic for me. TMR not so much...
If you grant arbitrarily advanced technology then "testable predictions" absolutely do exist, most immediately on the cross sections of basically every particle. We can't perform such experiments now, but that's a problem with the technology, not with the theory.

Imagine if someone had said 30 years ago that the "higgs boson theory" is a failure because we couldn't then perform the experiments to detect it.
They caused a huge commotion some years back when they removed the entire concept of variants from ports/formulas, removing the ability to set any build time options whatsoever, breaking all patches for older platforms, etc. maintainer was quite rude about it when asked to reconsider by huge numbers of users that could no longer use the software.