skysight-inc/HackerNews huggingface dataset:
The Python example feels like a strawman. You can write Python in a way that gets you most of the benefits of the Haskell version if you wanted to:

@dataclass
class InvalidResultError:
result: str

def do_something() -> int | InvalidResultError:
result = get_result()
return 42 if result == "a result" else InvalidResultError(result)

Using a dataclass like this seems a little overkill, but it does get you something close to `Either`.

I also don't understand the argument against nullable types: you could return `int | None` here, which would be the same as treating a `Maybe` (you have to explicitly consider the case where there is no value)
Imagine how the history would change if someone managed to smuggle a 20 megaton nuclear bomb into Vienna of 1913? I would read that!
To be clear I'm not saying there is no good reason to use illumos; I've liked Solaris when I've encountered it; I use ZFS on my FreeBSD machines; I've enjoyed reading commentary from Cantrill who I think is a really interesting guy. I'm just saying sometimes technology choices also reflect the individuals involved just as much as anything else.
> These "wallets" are not used for financial transactions, they're for credentials.

Which is why I gave other examples of the human factors issues, not just financial transactions: configurable cookie warnings, configurable app permissions, and user agreements.

> what it means to use a very fine grained proof

Except you know that bars, etc. are going to ask for more details, including full name, address etc. And they'll say it's needed to prevent known hooligans and troublemakers.

Will people stop going to the bars until the bars only request the minimum required information? No - or at least not more than people currently click off all the "I agree to this surveillance" buttons on a web page.

So people just accept, and enter. Then the bar asks for more, and more, and more, and people have been trained to just agree to everything, because they have very little power to say no.

I've already heard accounts of people who bring their passport instead of state id for the simple reason that it does not contain a scannable address. If it's expected that everyone always has the ability to provide any required information, simply saying no is hard.

> Fine grained digital approaches can help those situations.

"Can" is pulling a lot of weight. I can click off all the cookie trackers. The vast majority do not. Is that from an informed decision, or is that simply the easiest decision?

I can disable geolocation tracking on my browser, but then - oops! - the county web site showing me the upcoming vaccination times doesn't work because the site assumes everyone has geolocation turned on, and they never tested for someone who voluntarily disabled that option.

Build a system that expects coherent data, and you build a system where people get trained to provide anything which asked for, with poor support for those who opt-out.
People have known about earlier contacts for a long time. Norse contact at l'anse aux meadows has been established since the late 90s. Trans-bering contact has been known for centuries.

Humans arrived to rapa nui and other Pacific Islands relatively late, many thousands of years after the Holocene began. Stronger evidence of 13th century contact doesn't change anything about our understanding of the early history of the Americas.
Click the Red Button – Discover the Web
Perhaps it's specific to present-day LLMs and things will improve in the future - but when I ask my favourite LLM to suggest creative, novel marketing options for a coffee shop it suggests a tenth-drink-free punch card. Which is pretty much the least novel answer imaginable.

It's such a banal suggestion it makes me think there could be a tension between the requirement to be creative, and the requirement that the next token be among the most probable.
After blowing $1.6B on WETA, Unity almost immediately pivoted and shutdown the company.

https://arstechnica.com/gaming/2023/11/unity-lays-off-hundre...
OP, this is very good advice. As an entrepreneur, you know that you need to understand your potential customers, and tailor your presentation to them. When interviewing, you are the product, and you should tailor your resume and interview performance to the sales pitch you are making.
I don't think you actually learned what their product is. It enables an e-bike owner to much more easily replace their batteries with newer batteries (the issue of mix-and-match seems like a problem with this however). They aren't trying to sell you a single battery that lasts forever. Instead it is an enclosure that enables you to much more easily service your battery / replace batteries.
> I would assume that nobody can control your in-game assets arbitrarily unless you grant them permission via some contract.

Sorry, I don't mean that somebody is going to just hijack my spaceship, but that having a totally decentralized marketplace of assets might mean that an API bot army that doesn't even bother playing the game could just buy up all the space stations around me, hire a fleet of pirates, and destroy everything I earned in human playtime. It's like the Borg meets aimbots.

A closed market environment like most MMOs have allows the game devs to at least try to balance the economy for fun vs absolute liberty, such as marking some items as notrade or controlling inflation by adjusting money sinks (repair costs) and currency production (coin drops) as well as introducing new ships and weaponry on a human timescale. Fleets also require human coordination and real-time communications, at least in the current EVE. And exploits (dupes, infinite gold glitches, etc.) are frowned upon and can be retroactively removed from the economy by altering the central DB state.

If all of that is externally transactable and decentralized, it sounds like an automation hellscape that'll very quickly trend towards a megamonopoly or oligarchy of bots that can analyze everything and instantly respond 24/7... what gameplay will be left for the mere humans?
> I would welcome anyone with Haskell experience to let me know what you think would be the highest priority items here.

Simplifying cabal probably, though that's a system-level problem, just just a cabal codebase problem.
https://en.wikipedia.org/wiki/Mass%E2%80%93energy_equivalenc...

> Mass–energy equivalence states that all objects having mass, or massive objects, have a corresponding intrinsic energy, even when they are stationary. In the rest frame of an object, where by definition it is motionless and so has no momentum, the mass and energy are equal or they differ only by a constant factor, the speed of light squared (c²).
This looks cool, and I'd buy one if I needed one... but I already have a full-sized soldering station and a Pinecil.

The station has a hot air gun and a solder vacuum, so it's far more suitable for use on the bench due to those capabilities.

The Pinecil plugs into the Anker power bank that I carry with me everywhere anyhow, and runs basically forever on it. The UI took a day or so to get used to, but it's simple and straightforward enough for field use. I've even used it for bigger jobs on trucks and tractors in the past, and it didn't miss a beat.
Life-size Lego McLaren P1 can hit almost 40mph
I would say that I have observed something like this about as many times as someone has changed some semantics in a way that a variable or function name is no longer correct. That is to say: probably a few times in 25 years, but nothing compared to how much value I have received from them.
No, it's the exact opposite. You have to get permission to use the Unreal logo.
Those are also called fire addresses, because they were assigned by the fire department rather than the postal service. 6 or 8 decades ago, the post office decided to accept them as official rather than force people to change.

They have their own section in the postal addressing standards, under the "Unusual Addressing Situations":

https://pe.usps.com/text/pub28/pub28apd_004.htm
If anything this highlights how important Vienna was pre-WW1 and how much that status has changed. I suspect history articles of the future could likewise point to Manhattan as having hosted many famous people simultaneously, and anyone living today wouldn't find that terribly surprising.
Weller uses TRS too. In my experience the connection is a little flaky, but I don’t know the provenance of the lab irons I’ve used; it wouldn’t surprise me if they’ve been abused.

https://www.weller-tools.com/us/en/industrial-soldering/prod...
Meh. Seriously.

Pros:

1. "Portable, sorta"

2. Reasonably high-power

3. Has an accelerometer (as does everything else in its class)

4. "Repairable"

Cons:

1. No Hall effect sensor to detect when iron is placed in holder

2. A walled single-source garden of soldering tips that doesn't even exist yet instead of using commodity COTS parts

3. The fucking temperature control is fucking paywalled behind a proprietary USB power bank. What in the fuck? (And no, it is not possible to create an argument that will persuade me to think that this is an improvement. (Yes, I know that it can be programmed; this changes nothing.))

4. Expensive.

---

I'll just stick with my Pinecil iron. It gets all of these things right. If it breaks (I haven't broken a soldering iron yet in over three decades of trying), I'll fix it or buy another one.

I mean: For the $250 this iFixit product costs (including the paywalled temperature control), I will be able to buy several lifetimes of worth of Pinecil irons.
Remote check deposit usually isn't available without an app. Probably other services as well.
You do realize one of the best ways to attract competition is to raise prices and increase profit margins to the point where it's worthwhile for competitors to enter the market to take some of that profit?

If you look back historically, the idea that monopolies were broken up because of their ability to raise prices without the check of competition just isn't really telling the full story. Consider this from the Congressional Record of the House (1890) by a proponent of the then under debate anti-trust act (https://www.congress.gov/bound-congressional-record/1890/05/..., page 4100):

"Some say that the trusts have made products cheaper, have reduced prices; but if the price of oil, for instance, were reduced to 1 cent a barrel it would not right the wrong done to the people of this country by the "trusts" which have destroyed legitimate competition and driven honest men from legitimate business enterprises."

The argument wasn't that the "trusts make products -cheaper-" idea was wrong, but that it didn't matter.

The only way to maintain a natural monopoly is the ensure that the barriers to entry for competition are sufficient to make new entrants unviable. One way to do that is to leverage economies of scale to lower prices to the point where a new entrant simply can't compete on price.
NIFs have the downside of potentially bringing down the VM don't they? It's definitely true that the glue code can be a pain and may involve warping the foreign code into having a piece that plays along nicely with what erlang expects. I messed around with making erlang code and python code communicate using erl_interface and the code to handle messages pretty much devolved into "have a running middleman process that invokes erl_interface utilities in python via a cffi wrapper, then finally call your actual python code." Some library may exist or could be written to help with that, but it's a lot when you just wanna invoke some function elsewhere. I also have not tried using port drivers, the experience may be a bit different there.
The Mayan fellow I met in Cancun last year did not seem to be troubled by any such philosophical questions. He is Maya, his family is Maya, they have always been Maya; that's his sense of identity. There is no Spanish spoken in his village; he had to learn it after he arrived in Cancun, looking for work.
Is the discharge rate for an 18650 be enough for a decent soldering iron?

I normally power mine off either a power bank with PD, or a LiPo battery that I also use for drones.
I would say an actively harmful TypeScript. Just a couple of days ago, I had bug in production because apparently the union of two types is not the intersection but the sum. It exploded because one type had a method that the other didn't. That's an absolutely horrible footgun
Ah! I was looking around for one: not on the battery pack, not on the iron-to-cable connection, but didn't think about the tips.

So you can plug an unused tip into your Walkman's headphone jack for safekeeping...
> but "myself a few months from now" too

Yes!

I look at code I wrote last week and wonder what I was thinking.
Artie (YC S23) Is Hiring a Founding Designer
https://www.ycombinator.com/companies/artie/jobs/ZUX4SDO-fou...
A ring light indicates if it's reached set temp.
It's actually Mrs Hitler (referring to Adolph's mom): https://en.wikipedia.org/wiki/Dr._Freud_Will_See_You_Now,_Mr...

Can't seem to find any recordings available of the BBC production of it, and BBC doesn't seem to have it available. But you can buy the script here: https://shop.stagescripts.com/categories/plays/full-length/d...
I miss the Internet of the 90s because every page I visit today has a pop-up asking me if I want to accept cookies. It makes browsing the open web a jarring experience.

Why the EU didn’t require an ability to do global opt-opt while forcing web sites to implement this feature is a mystery to me.
Are you/will you be upstreaming fixes and/or improvements to Bhyve?
It must. If it is possible to rewrite `X -> Y|Null` as `X|Null -> Y` without changes to external code, then the `X` type needs to accept `X|Null` and the `Y` type needs to accept `Y|Null`, therefore any `T` must implicitly be `T|Null` and the language is not null safe. Result types are what you get when you require explicit conversions.

I may still be thinking about this incorrectly. Do you have an language in mind that contradicts this?
shuf -n 3 /usr/dict/words will also sometimes generate novel research ideas.
You'll just get less capacity if the cells aren't perfectly balanced, which is fine if you're aware of it- and much better than a useless pack.

That said, they don't specifically show/call out replacing an individual cell.
It's not for unrelated values though. Actually, the real observation is that tags aren't useful once you have a value, they're useful to get to the value in the first place.

In a stack frame, all the local variables have their tags together.

For the fields of an object, all the tags are stored together in the object.
> With, say, Turbo Pascal you compiled your code into a .COM file, copied it to a floppy, and people ran it. Just your program. On their OS. No heaps of layers of infrastructure and toolchains to get knotted into a tangle of failing interdependencies. How the fuck can it be so impossible to build stuff like that nowadays?!?

Go or Java PicoCLI with graalvm gets you pretty close to this ideal. (Now Desktop GUI is a fallen idea and we are talking about CLIs).

Anyway you're blaming the wrong thing. What pipx and venv do in python is fairly simple stuff. It's pretty reliable on standard setups. The problems if any come from C libraries.

The NodeJS Electron stack / docker / kubernetes you can feel free to blame.
Writer's traffic congestion
Variational Inference by Jason Eisner (2011)
>> Can we learn from that and get an LLM trained on all scientific material pre Einstein and post to discover new physics stuff from what we learn from that process?

The parts of an LLM that teach it language is not disconnected from the parts that teach it facts. Good luck teaching it language with only pre Einstein data.
If anything, it's a default to have them on in any reasonably recent project - you get that with all templates, default projects, etc. Actively maintained libraries are always expected to come with NRT support. If this is not the case, it's usually a sign the library is maintained by developers who ignore the conventions/guidelines and actively went out of their way to disable them, which usually a strong signal to either file an issue or completely avoid such library.

Similar logic applies to code that has migrated over to .NET 6/8, or any newly written code past ~.NET 5.
I will bet $2048 that a quantum computer will not factor RSA2048 by 2048.
Is this what the this post is about? I thought it was more read (txt) vs watched (video).

I do really like your .txt style. I started to say you should add a link to the html version then I got to the bottom.
> A third group of students had access to a revised version of ChatGPT that functioned more like a tutor. This chatbot was programmed to provide hints without directly divulging the answer. The students who used it did spectacularly better on the practice problems, solving 127 percent more of them correctly compared with students who did their practice work without any high-tech aids. But on a test afterwards, these AI-tutored students did no better. Students who just did their practice problems the old fashioned way — on their own — matched their test scores.
Very fair point. Thank you for the feedback :)
I see what you're trying to say, but the fact that it is already the default for many operating systems is all the more reason that you should stop tacitly accepting it, not the other way around

the term sideload gives implicit primacy to monopolistic app stores. install does not.

we should be fighting for third party installation to be the default, not to have the scraps of some workaround that developers are less likely to work with.

for 20 years computers managed just fine with third party downloads as the default. developers favoured broad compatibility and users had more power

there are times and places for locked-down devices: children. old people. corporate devices. display models. etc.

however, this should be opt-in. with an optional app store if the OS manufacturer cares to provide one.

using the term "install" favours a world where developers make apps that you can install on your own terms. using the term "sideload" favours a world where developers make apps for an official app store.

I'm not saying stop using the word sideload, I'm just saying stop fighting for sideloading, and fight for (mobile) install rights.
Because I have more trust in ifixit then in pine64 to sell robust, quality tools.

And most of what you are going to overpay (?) for this is going to ifixit, which is also a plus. It's like buying merch from a band you like.
s/time wide/team wide/
You do not need to show a splash screen for unreal. In fact, I believe you need to get permission to do so, even if they’re only go to refuse for porn and shit.

You do need to reference them in the credits.
It’s better to be accurate than fast. Fast would be nice too, but Federal, State and local elections occur simultaneously with all their various offices and ballot initiatives. Elections occur a full two months before the soonest anyone new is sworn into office, so we have the luxury of time if any serious discrepancies occur, as in 2000. Note that after 2000, Florida got really really good at managing their elections, so it’s not been a recurring issue there either.

But hey, if we were to massively cut down on the number of elected positions, force political parties to spend their own money running their own primaries and eliminate ballot initiatives, that would also make elections more efficient. I’d like that.
The Austro-Hungarian Empire and Vienna in particular were an amazing place, a sort of proto-EU that really had a shot at creating lasting prosperity and peace in Europe. I highly recommend Stefan Zweig's "The World of Yesterday", his memoirs of life before WW1. It reads disturbingly like an account of today's world, written just on the cusp of WW3.
I agree, in general, and also agree with iFixit charging whatever they can for it, but $350 is pretty much what I spend on core food for the month, or 3 pairs of shoes, or 2 pairs of climbing shoes, or a plane ticket to visit my hometown periodically. It is to your point also less than the tax on a new computer, and less than each ram upgrade on a MacBook Pro, or a week-long road trip, or a mountain lift ticket. There are different ways to convince yourself it's worth it, and it may be, but it's kind of a huge jump up if you're not already soldering nearly every day. Like $350 on meals and entertainment or $350 on a soldering iron is quite clear, I need to not buy the iron and reduce my spending a bit.
They look poor compared to what? They're more modern looking than the ISS suits currently in use.
Sun.misc.unsafe has almost entirely been replaced by safe public APIs such as Varhandle.
Keeping your eyes on the road is easy with the Engo 2 AR sunglasses
Show HN: GitHub Cost Visibility and Optimization
Hi HN,

I'm Co-Founder & CEO of Vantage: a cloud cost observability and optimization platform. We just recently launched support for Github Cost Support within Vantage to view costs for Actions, Shared Storage and Copilot.

We've heard from people that it's been difficult to view GitHub costs; the billing APIs provided insufficient granularity, and the generated CSVs required manual download and review. Often, people did not track their GitHub usage at all throughout the month, and they looked at their bill only at the end of the month. Lastly some people that used self-managed runners, including those that run on Kubernetes or on virtual machines, found it difficult to associate these compute costs with their overall GitHub spend. Allocating build costs by repository, user, or organization was not possible through the GitHub-provided tooling without time-consuming and manual effort.

Users can grant Vantage access to their GitHub billing data by inviting a Vantage-owned email address as a billing administrator to their Enterprise. This billing user allows Vantage to download the detailed usage CSV for maximum billing granularity for GitHub Actions, Storage, and Copilot. For example, customers can see per-user, repository, and workflow-level billing for Actions builds, as well as the detailed usage report for GitHub Enterprise, which enables tracking the license usage of Enterprise members.

Here's a video to see this in action and we'd love to hear your feedback:

https://www.youtube.com/watch?v=npyZQRlTuGY
Automerge is available for developers.

Potluck exists: https://www.inkandswitch.com/potluck/demo/

Patchwork exists: https://patchwork.inkandswitch.com/

(source code here: https://github.com/inkandswitch/tiny-essay-editor/tree/patch...)

But they are primarily a _research lab_ exploring tools for scientists and journalists etc. The real product they create the essays, and with what they've learned you are now free to go and make the world a better place starting a few steps ahead. Kind of like Bret Victor.
OpenAI Announces O1
I think this is not a bad product, just a bad price.

I agree that changing temperature is generally not done super often but I would have loved to see a ring adjustment for temperature.

Overall, compared to the competition, I am not sure how much people would be willing to pay the much higher cost just for promise of quality and high heating capacity which is not as big of a edge that iFixit seems to think in my opinion.

But I applaud the effort of trying to make something new and different in a crowded and competitive space.
You mean they use Crucible instead of Ceph?
You can make that argument either way. People will always complain about the decisions you make and the ones you don't.

The semantics of encapsulation are sufficient. Anyone who breaks them knows it's on them, and if they don't, they certainly should have. It's not worth sweating all the maybes and what-ifs.
Bunch of winers in the comments. This is totally necessary effort - there's nothing worse than the ground moving under your feet. In the end its no longer necessary to expose internals. Strong encapsulation even aids in disciplined development within the JDK.
Is this for professionals?. I need the soldering iron maybe 3 times a year. I'm ok throwing 100eur for something ok/good. But not 300.