skysight-inc/HackerNews huggingface dataset:
Linear types can only really be used in a single-threaded manner. If multiple threads could access the same linear value, you would lose all compile time linearity guarantees, since it's out of your control in which order the threads will run.

You can transfer a linear value to another thread, but it will consume it (no longer be available) in the thread which transferred it.

If you want something with a bit more flexibility, look into Relevant types. Relevant types behave in some ways like a linear type - they disallow weakening - which means for example, if you consume it in any branch of a selection, it must be consumed in all branches. Relevant types allow contraction - unlike linear types, which means you can use them more than once - you just have to use them at least once - ie, you must ultimately consume them like you would a linear type.

You can treat Relevant types as subtypes of Linear types. If you have a value that disallows weakening, but allows contraction, you can say at any point that you are going to forbid contraction from this point onward - effectively turning it into a linear type via an upcast.

Affine types are the opposite - they allow weakening (so for example, you can use them in some branches, but not all), and in return, you are not forced to consume them - but they also cannot be used multiple times because they disallow contraction. They're use at most once. They can also be considered subtypes of Linear types - but they're a disjoint set from Relevant types.

Have a look at Granule[0], which supports these types and their interaction via a system of graded modes.

[0]:https://granule-project.github.io/index.html
Actually with fans specifically it has to do with legislation that requires them to not be able to mount a standard Edison bulb.
Software developers, unlike many other professions, can be self taught at almost no cost. You don't need a license, you don't need to pass any qualifying/gatekeeping exams, you don't need expensive tools, you don't need any supplies or inventory. Consequently there is a never-ending supply of new young developers who are hungrier than you and will do the work for less or do more work for the same.
> if a process were to expose a mechanism for other processes to essentially proxy keychain queries through it, that can undermine the security of the whole system.

This looks like a case of confused deputy problem: https://en.wikipedia.org/wiki/Confused_deputy_problem

A capability-based design should be able to systematically prevent this kind of problems.
Then there’s chip8 and a chip8 emulator on the gameboy :)
https://github.com/lancekindle/damaged-chip8
I’ve been thinking of approaching “vibe coding” through IDE’s like Cursor or even through the terminal with Claude Code, using microservices… Instead of having one single repo for everything, spreading out the apps workflows through a multi-repo, so this way the context window accessibility is better managed. (I’m no vibe coder whatsoever, just referencing the term)

What do you think about this approach? Any recommendations?
To discuss more about future, I sometimes think about Taiwan and how they are not pursuing nukes at all costs as existential threat. Nothing else could guarantee their independence than nukes and they should make nukes even at the cost of country bankruptcy if they are serious. I think they probably are not really serious about invasion. They tried it last time and some opposition party exposed the secret to US.
> I also seem to recall a type of toy vehicle that was propelled by some compressed gas as it slid, suspended along a horizontal wire/string, but I'm drawing a blank regarding the type of propellant right now. It seemed safe enough to use indoors, especially considering the constrained pathway.

I've heard of using ordinary rubber party balloons for this.
Some could argue that the transistor wasn’t an invention but a discovery: the physical behavior of the semiconductors has existed for millennia, and we discovered that behavior, but we had already invented vacuum tubes before which did the same thing, just a lot less efficiently. Notice that I said “invented” vacuum tubes because the behavior comes from careful engineering and manufacture which didn’t exist in the known universe before that.

But here too, arguing on invention vs discover is pointless because there’s no common truth…
Could you do this with dry corn starch? Shake it up in the bottle and light it before the dust settles.
> That if unionization is so cleary net positive for most workplaces, then it wouldn’t need any sustained agitation campaigns in the first place.

> As any company that unionizes would near automatically gain a huge competitive advantage.

No, your "observation" has a fundamental flaw: There's no general "net positive for most workplaces," because different groups have different interests.

Unionization is a "net negative" for certain groups (managers, owners) and a "net positive" for others (employees, if done right). That's why there are sustained agitation campaigns against it.
Also in general it may well be that nothing on the internet will ever take off in the way we were used to because we've crossed that threshold of "this is new and exciting" and it's taken for granted now (although some of the new technologies are really interesting, like IPFS, or Ruffle), although I think we'd all like to see a little less enshittification (a sane Facebook feed, Google actually showing relevant results again, dropping the ideological censorship and stopping ignoring specified keywords)
Deep Learning by Ian Goodfellow, Yoshua Bengio, and Aaron Courville
As I understand it’s very unlikely to happen anytime soon as the M1/2 GPUs are very similar but M3 has a completely new architecture. With their reduced staff and the GPU in the M1/2 being notoriously simple in retrospect we’re probably years away.
Direct link to the Google translate for anyone else who can't read Korean [0]. This comment is correct, and the English headline is confusing, especially for English-speaking readers of HN who don't have context for who actually made the decision and why it would be controversial that the head of the guard knew about it ahead of time.

> At 8:20 p.m. on December 3rd last year, when Chief Lee searched for the word, the State Council members had not yet arrived at the Presidential Office. The first State Council member to arrive, Minister of Justice Park Sung-jae, arrived at 8:30 p.m. It is being raised that Chief Lee may have been aware of the martial law plan before them. Martial law was declared at 10:30 p.m. that night.

[0] https://www-hani-co-kr.translate.goog/arti/society/society_g...
So either our understanding of nucleosynthesis is incomplete or the universe is older than we think.

Which one is more likely? Are there assumptions or parameters in our model for the age of the universe that could be inaccurate?
DOGE is not a group of auditors. If they had any use for auditors they wouldn't have eliminated all the Offices of Inspectors General where all the auditors routinely work to identify fraud, waste, and abuse of federal monies and programs. OIGs have the responsibility to audit their own agency's operations and results and to make changes to processes in their agencies that improve results. They also have responsibility to audit any individual or entity at any level that receives benefits from their agency programs to insure compliance and root out fraud, waste and abuse. They are the watchdogs that keep things honest and make sure the programs are working according to congressionally mandated guidelines.

DOGE is complicit in fraud. They were never intended to root out corruption or fraud. They are a political tool of a corrupt administration. Once their usefulness has passed they will be tossed aside with few exceptions (those most loyal to the criminals) and offered as defendants in future prosecutions so that those who engineered this massive fraud can escape accountability using them as fall guys.
There is nothing wrong with global software, as long as it is self-hosted open source that you can control and you mitigate the risks by contributing back time and money to the projects you use.

https://lwn.net/SubscriberLink/1013614/e52394a236575047/
It's also more involved to verify operation. Graphics are easier to "measure" and compare. Sound is also much more timing-dependent, e.g. when timers are running on their own all the time. It's disconcerting when sound is slightly off in games.
I’ve only been in tech for 10 years but I’ve worked at companies of various sizes (FAANG, a 50-person startup, and now a mid-sized “unicorn”) and I’ve never had to work crazy hours. Maybe leading up to a launch I’d work past dinner occasionally but mostly my work weeks have been 40-45 hours consistently.

Am I just lucky? I mean obviously I’m lucky relative to the world (tech has been lucrative and interesting during this decade) but are others in tech really working crazy hours all the time?

I have worked with some people who seem to turn any job into a 24/7 thing but they were either workaholics or under-qualified people trying to substitute quantity for quality. And it did not seem to pay off for them.

I’ve always thought that San Francisco was a pretty laid back city. Working until 7 is “late”. My friends in NYC think that’s early.

I will say that I’ve always thought oncall as a concept is odd and somewhat exploitative. Only software engineers and doctors seem to carry pagers. And software engineers (mostly) don’t save lives.
Nifty! I think the readme would benefit a lot from a short video of it doing its thing.
For the purpose of "burn your house down", the energy is usually extracted fairly efficiently from both coal and a battery.
I agree that it doesn’t need wider acceptance, but gen Z seems to be very tech illiterate. Lacking awareness of file systems and more importantly the web beyond 5 different social media platforms.

I don’t want the IndieWeb to just be a place for us 30+ year olds and gen z compsci majors. These kids need to know there’s more to the internet than swiping through instantly gratifying 30 second clips while some mysterious remote farm mines their every interaction.
> React Router is probably one of the most widely deployed JavaScript libraries ever and is the furthest thing imaginable from a project created by grifters to sell online courses.

This is a funny example (to me) because in 2017, one of the two co-creators of React Router (Michael) came to my job and gave a two or three-day in-person training course on React. I think he also covered Redux and React Router. We had a great time getting to know him.

It turns out that Ryan and Michael spent a substantial amount of time and effort on a side business called React Training. It is fair to say that their speaking engagements were a solid revenue stream, but agreed - definitely not grifters.
Does using a global PK (id: serial) slow down concurrent inserts in different tables, from having to reference a single, shared auto-incrementer?
They already did?
> I think the end game is doing SSR of web content inside the RDBMS (e.g., Oracle APEX)

At my workplace our IT department uses APEX a lot for all kind of internal LOB apps. It works great as long as it supports what you need.
EVs are starving states of tax money to fix potholes and build roads
https://brainlenses.substack.com/p/lizardmans-constant
What is there to even search anymore? Almost everything is gated, and whatever remains public is connected a faucet that pumps out AI slop at an ever increasing rate.

The internet consumed itself. Telling someone to, "Just Google it," is now terrible general advice.
LLM Agents Are Graphs
I've found generally the more expensive ones last longer, but I just had a Phillips HUE bulb die on me (the LED is fine I think but it flashes rapidly so I'm suspecting the driver is bad)
Shellcode is just a horrible PL, period. Not only it's weird and unlike anything else out there, there's way too many footguns.

One can learn to use it to the point where it's usable to do advanced automation... but why, when there are so many better options available?
The Barnacle Goose Myth
Show HN: Minimal JavaScript/TS framework that made us 10k in 10 days
I'm such a scatter brained dumbass sometimes. I meant "near 8 figures". I'm nowhere near "three commas" of wealth. I was emotionally responding to these pro-union comments between work and can't simple math.

I still can't fathom the headspace of people wanting to do less and be entitled to more while the rest of the world is catching up and offering a better value. The lasier we get, the less likely we'll be picked to do the work. And this is such a goddamned cushy job. Are we so fucking entitled we're complaining about our career? Seriously?

I also can't reason about why people think this is about money rather than building cool shit. If this is your hobby and you enjoy building, why wouldn't you want to do this? Especially if you pick your problem space?

Why are there so many people like this on a startup forum? Shouldn't everyone here be hustling and working hard? I don't get this attitude, and I don't want people like that on my team to drag me down.
Beyond the environment
> the largest number where all digits are prime numbers

do you mean the largest prime number where all digits are prime numbers?
It's about control and taking away people's autonomy.
State of the Thunder(bird) [video]
Does seem comparable to Tesseract? I feel like the accuracy results are still not significantly improved as a whole.
There's a lot of 18650 compatible flashlights and stuff, but some of them have the battery sealed inside. I have a couple of bike lights and flashlights that have this issue and I've cracked them open to replace the batteries, but it's not a regular person thing to do.
Wondering what made Anthropic to change their stand from saying before that it is not secure to use web with AI models
You know you can just read rfc's right? there is a reason they update the thing, because people use it. https://github.com/remix-run/react-router/discussions/catego...
In fact the indieweb cannot ever take off. Because take off means being used by a large fraction of people. And the large fraction of people only really use services where they consume content from people who produce content for monetary compensation. Since governments work very hard to make sure non-corporations are never allowed to exchange currency without a corporation being involved the indieweb will never appeal to the vast majority of people.
Practical knowledge is the at most important.

Weirdly you’ll get a lot of useful experience as you analyze yourself through 80 years.
This is already the case in China.

You need a mass media license for a website.
The choice really is between React and nothing. React (and Electron) enabled a lot of apps to be written that would not have existed otherwise.
That quote is why security people will always be employed.

Jokes aside firebase access control is a nightmare and all those database as an APi thing have the same problem.
The blogger is repeating (with citation) a claim by Richard Lynn, and by the end of his life Richard Lynn was open about being a 'scientific' racist who believed that different races had genes which caused large differences in average intelligence
This is an interesting.

AI leads to more useless dives down into the internets.
Tetris or Pokemon Red.

Pokemon is actually a really difficult game before modern QOL. No DLC!
No, not custom voices - but voices that can be influenced by a recording. As in, a male voice actor records a part, and the model transforms it to a female part - keeping all the prosody, intonation and timing in the original recording. This would allow one voice actor to do many roles.
"IndieWeb movement". It's just the web, right? Always has been?

Do we already have entire generations of people who never open web browsers and live their whole online life in Apps? Sad.
For example, HTTPS-only in browsers and CA TLS only connections in HTTP/3 protocol libraries. It's near impossible to host a visitable website without getting permission from a third party corporation every 90 days. These things make sense for corporate/institutional/etc sites but make the barrier to entry, and especially mantainence over time, of personal websites much more difficult. To the point it really does keep people from running personal websites. And it also creates central mechanisms of control for those that do jump through the hoops. LetsEncrypt won't remain benevolent forever as it's popularity grows. Just look at what happened to dot org, and what's happening in the USA in general.

HTTP+HTTPS is a fine solution for personal websites.
I learned a new definition of boredom.
FWiW this: https://news.ycombinator.com/item?id=43431834

is completely 100% wrong in every point.

I have zero association with the https://news.ycombinator.com/user?id=gnabgib account and it was I that flagged your run of 15 or more identical comments that you then deleted.

They showed up as one identical comment after another in https://news.ycombinator.com/newcomments and were clearly [flag] worthy.

If you have any issue with my actions please email dang at the HN email address and ask him to check your comments and my flags.

Addendum:

> The user that submit this post depends on sockpuppets to micromoderate Hacker News on an unofficial basis. This is demonstrated by the fact that any posts calling them out on this are immediately flagged.

Given I am not a sockpuppet of the gnabgib account but am in fact the real life person in Australia that manually flagged your multiple comments .. you may want to revisit your "logic".

Or not. There is no point my debating this with you. Again, I urge you to email the HN moderator and air your suspicions.

> Why are you here?

Long story, began more than 60 years past ... more specifically you falsely accused someone else in regard to action I took (flagging your comments) so I commented to set the record straight.

>> Or not. There is no point my debating this with you.

> I agree.

Obviously I also agree given I made the point.

Please email dang if you have an issue here.

You can annexure all your evidence and make a case that someone is running a bot army to do some manner of bad things. They have the logs and access to raw events, IP's etc.
I just came to this thread to say that indieweb considers RSS outdated and suggests hFeed/hEntry instead.
Linux Dictionary (2004) [pdf]
If you're trying to force 1999 into 2025 you're doing it wrong
FWIW there's no reason why you shouldn't be able to put a breakpoint in pipeline YAML. I'm not aware of anyone implementing such a thing, but a DAP adapter that VSCode could attach to remotely should be pretty straightforward.

MSBuild, for example, is all XML, but it has debugging support in Visual Studio complete with breakpoints and expression evaluation.
Thank you for the awesome reply!
https://lockywolf.net/2023-12-05_how-to-make-a-good-feed-rea...
Is it normal for airports to only have sufficient power from one substation? I would have imagined there would be multiple sources for backup power in these situations.

I see headlines online here and there that it might be shut down for several days now.
Owner Touch-up Adhesive update, right?

/s
Most interesting data will be collected in chat rooms and apps. There are over a billion LLM users, they act as human-in-the-loop enhancig the LLM, sometimes testing ideas even in reality. Wondering what providers are doing with the chat logs.
I know. I was just pointing out that flicker doesn't affect me, for which I'm glad. I was a bit concerned before I bought it, due to the complaints about the flicker.
What will your DNS provider say to this? And your hoster after the DNS provider black^W forbidlisted them?

// No practical experience in this field, just wondering
Thanks for clarifying the state of understanding of seafloor processes back then. Of all the stuff I typed in that post I knew that would be the part that would draw a correction from the crowd. I appreciate your input and now that you remind me, I actually remember watching these Sealab cartoons. A lot of water under my bridge since then.
Yeah, I fucked that up [1]

[1] https://news.ycombinator.com/item?id=43431883
This looks like a somewhat redacted thread. Does ChatGPT have the complete version?
The administration is owned by many different bosses: Elon, Putin, Saudis, ... (dunno if there's eight).
Definitely. As long as the videos are uncut, they can be a confidence booster that I'll be able to replicate the result, because I can follow them knowing they won't skip over those little steps that often go without mention. Well, unless they're being sneaky with hotkeys.
I should have patented it! Mwuhahahaha
As someone who appreciates emulator development projects, I'd like to offer some perspective:

Several aspects make every new GB emulator implementation valuable to the community.

Some technical challenges in emulation are approached differently by each developer.

Handling edge cases and accuracy testing requires significant effort beyond basic functionality.

Often the learning process and personal growth are the primary goals, not just the end product.

Languages like Rust bring modern benefits like memory safety and performance to classic emulation.

Emulator development teaches low-level hardware concepts in an engaging, practical way.
Give them a chance to respond.

Breath.

Don't leave money in any payment processor. Someone there sees a large sum of money and takes notice. However, Stripe shouldn't care about $50k.

Hopefully Stripe doesn't get a PayPal reputation and will get this sorted out for you.
I wonder if this would help either .vision pro hasn't done better in any way
Several down-thread comments speculate that the banner is due to recent events. Some form of an HN block or banner has been present since 2023-03-21[1] (well, until about an hour ago[2]).

HN threads about Asahi, while generally positive about the project, also tend to include trans hate and speculation about a pseudonymous developer's identity. Those comments are often "dead", but show up on search engines. This has caused real harm in the lives of Asahi's trans and pseudonymous developers.

[1]: https://github.com/AsahiLinux/AsahiLinux.github.io/commit/a7...

[2]: https://github.com/AsahiLinux/AsahiLinux.github.io/commit/e0...
We need a way to collapse comments on HN
I wonder if there’s any “doers” in that top 100? Or is it all just “discussers” and “deciders”.

I’ve owned Apple products forever. But as long as Pournelles Law of Bureaucracy remains on full display, these shuffling of the titanic deck chairs will continue.

I wish it could be otherwise. I wish a company could introspect on itself and say “hey, our doer/decider balance is out of whack, let’s correct” but that just never seems to happen.
I thought the problem was that he didn’t use Claude. Clearly he doesn’t pass the vibe test.
Quake3Arena The Longest Yard in the Browser, open source, hand coded
Source Code here:
https://github.com/rhulha/Instagib2

You can change the sounds, you can change the sensitivity using the console. Join the same room to play together.