skysight-inc/HackerNews huggingface dataset:
I call them Detroit music's odd couple. I don't know how well known MC-5 and Wayne Kramer are for non-boomers and those outside Michigan. They were my favorite band in high school.

The MC-5 were the first band to have an actual hype man, long before it became a thing in the rap world. A guy would get on stage before the show and in a long monologue would wind the crowd up before the band took the stage.

The MC-5 were the only band to perform outside at the tumultuous 1968 Chicago Democratic convention dealing with tear gas and dodging police batons. Sadly the band still hasn't been admitted to the rock and roll hall of fame although I specifically register to vote for them each year.

One of the most famous Detroit venues for rock music in the sixties was the Grande Ballroom. The building is falling down and numerous attempts of fixing it have fallen through but the city won't tear it down. They painted a mural on the side and it was of the MC-5. They were chosen over other Detroit legends who played there like Alice Cooper, Bob Segar and Ted Nugent.

https://www.atlasobscura.com/places/grande-ballroom#:~:text=....
If as a society we can move away from plastics, the world will be better for it.

They are making more and more engine parts out of plastics which is going to drastically reduce the useful lifetime of cars.

https://www.assemblymag.com/articles/86440-plastics-under-th...

Between that and the subscription shenanigans, touchscreens for everything, and data spying I am not sure I ever want to buy a new car again.
You’re spot on; it’s like saying you can understand the game of chess by simply reading the rules. In a certain very superficial sense, yes. But the universe isn’t so simple. The same reason even a perfect understanding of what goes on at the level of subatomic particles isn’t thought to be enough to say we ‘understand the universe’. A hell of a lot can happen in between the setting out of some basic rules and the end — much higher level — result.
I’m the same way. Hate crowds, hate noise, hate getting drunk.
My hobby of choice is doing outdoor sports like mountain biking, trail running, hiking, camping with 1-4 friends at a time.
Sportsball has basically 0 appeal to me.
On the flip side I am also really into magic the gathering and I can see how others would see that is unappealing as well. Why spend thousands of dollars on cardboard?
For me I think I mostly enjoy being an active participant instead of an observer, which also lends itself to not liking crowds or large groups because it is much harder to participate and usually there is a subset of people who dominate/monopolize the situation in larger groups.
RustPython is interesting in its own right as a WebAssembly target.

https://rustpython.github.io/
How could they possibly be made of antimatter? They can contain antimatter (particularly positrons), but what physical process could possibly create antimatter and then separate it from matter?
In 30 years I have read about 50 pages and looked at all the pictures. Does that count as reading it :-)
Show HN: Small script to scrape YC Companies Directory
I made this mini script because i am trying to collect the details of the existing public YC companies for building a search demo with Trieve.ai.

With Algolia, a search for "cloud storage" doesn't return Dropbox and a search for "bug monitoring" doesn't return PagerDuty, etc.

Thought folks here might find it interesting.
Roguescholar@sbcglobal.net Roguescholar@sbcglobain and and and and and and and l.net
> Anger does literally give a person energy and what can be labelled "courage" beyond their norm.

Getting angry is renowned for leading people to do very stupid things that they would otherwise never do, because even themselves are fully aware it's stuff only an idiot would do.

> That it is still up to the human being with a fully functional brain to figure out whether or not to use that energy (and, if yes, what exactly to do with it) doesn't change that fact.

The original claim was "do what needs to be done" and now you backtracked to claim that instead the idiot who gets angry needs to control himself to not do stupid stuff that angry people do. What point do you think you're making?
Now, it doesn't just work. You need to download the thing, find the right format, get it to the TV in one way or another, hope that the subs are good.

Compared to that, it's the streaming that just works. Except when it doesn't.
Even an “ad-free” Netflix plan is infested with promotion of their in-house productions.
I tend to copy/paste into the console anyway during development, so having to copy/paste into Tampermonkey too doesn't slow me down too much. I suppose it would be nice to have a more integrated workflow though.
You probably know this, but in C, if you wrote the comparison like this

if (password[0] == 'Q'
&& password[1] == 'w'
/* the rest of the letters... */
&& password[8] == '3'
// C strings are 0 terminated
&& password[9] == '\0')
{
...
}

It will probably compile to something like this on x86-64, assuming a "password" is a pointer held in RDI (although I didn't look at a compiler's output):

cmp byte [rdi], 0x51 ; 'Q'
jne false
;; the rest of the letters...
cmp byte [rdi + 9], 0x0 ; '\0'
jne false

The benefit is that the strings utility wouldn't see the string "Qwerty123" anywhere in the binary.

Unicode and bounds checking code probably complicate this generated assembly in other languages.

It would be nice if there were some way to write a macro or an inline function so that you could write a comparison like

if inlineStringEqualP(mySecretPassword, "Qwerty123") {
...

And then it would expand into something like the assembly I wrote above, so that way, the string literal "Qwerty123" isn't embedded in the final binary executable anywhere. I bet it's possible with C++ templates somehow, but it would be messy.
That has more to do with the economy of Portugal at the time than with the PC's.

(Did Portugal also have crazy import taxes for computers like Spain used to have?)
In less well paying jobs it is usually easier to have emotional integration. Less of your identity is at stake, your responsibility is small enough that you don’t have to reorganize your values to work the job.

This is my experience working in factories vs offices anyway. No one is fake in the factory because we don’t need to be. Office people play so many little games and politic around and pretend to be happy even when they’re not.
for my use cases they are very close to ChatGPT4 and I primarily use GPT4 for multimodal prompts and responses. synchronous voice conversations, Dalle3 images, uploading images to it.

they all lean to be agreeable out the box, but the aforementioned two will stick to their guns harder and tell you that you're wrong. you have to ask all of them to take the other side for more insight.

with ChatGPT4, for example, I posted a conversation where I felt that a woman I was dating gave a response to my followup that was way negative and way out of left field. It told me she had a disproportionally negative response to a benign text. Then in another session I posted my post and told it to predict her response, and it predicted a variety of responses some of which were like the woman's and this time it told me why. This means it was being too agreeable and affirming my feelings the first time, unprompted, while actually giving insight in the second session without knowing there was an existing reaction to navigate.

(Analogous to how we have to patch our speech to never blame the victim even though we know there are measures they could have taken to mitigate that scenario. While if the same person asks in advance we would give them advice.)

Dumbfounded that its predictive qualities were better than its affirmation-by-default trait, I told it to act like the woman's friends who have no context of me if they saw my message, I told it to act like redditors on /r/relationship_advice responding to the woman who similarly have no context beyond what OP feels. you have to create outside observers, and you can run all of these alternate realities within 3 minutes. It will begin crafting responses that break the conversation molds you might be more familiar with and get better results, but if all that sounds too much, you can simply tell it to disagree with you.

in LM Studio you can modify the system prompt and change the temperament
> We don’t know where these references originate. Netflix has mentioned it for a while, that’s for sure, and apparently, the use of this language is widespread and subject to rapid global growth.

lol
Wanna see a magic trick ?

These $25M... waves hands gone !
I've never met a single person who likes using a paper straw over a plastic one. They feel weird in your mouth, they get soggy, and they fall apart. I fail to see how adding more paper material would fix the issue.
Memory safety isn't exclusive to Rust. Language designers and implementers solved these problems years ago with safer languages (better type systems, removing pointers) or safer runtimes (jvm, .net etc). Rust is notable because it brings a lot of prior art together in one place and the compiler prevents most problems at compile time. As long as programmers don't use unsafe Rust it can produce safer code without runtime overhead. There are a lot of safer languages than C. Not all are suitable for writing system libraries.
I sometimes wonder if more piracy will lead to more product placement directly in content and other insidious advertising strategies that would make up for the content being scooped up for free. It's still millions of eyes, after all.
Verbal skills are apparently more predictive of programming career success than math scores.

Is Quantum Logic the correct propositional logic?
Is Quantum Logic a sufficient logic for all things?

I'd much rather work with machine-checkable proofs; though Lean is not what I've been taught math in either.

Coq-HoTT is written in Coq, not Lean.

A tool that finds the correspondence between proofs as presented and checkable proofs in a reasonable syntax would be helpful, I think.

If I start with
"Why is 2+2=4?" [in this finite ring], I'm not sure how to find the relevant Lean code in Mathlib to prove my bias inductively, deductively, or abductively
For sure, but I think even if you didn't consider those particular examples to be a part of the fundamentals, if you had a solid command of basic algorithms and data structures (e.g., including your basic trees, including B-trees) and some basic math, you could easily pick up LSMs and figure out how to exploit the S3 cost structure as needed.

The point of the fundamentals as commonly construed is to allow you to quickly pick up novel concepts as needed as they're almost always a slight extension of the fundamentals.
> That's something for littering laws to deal with.

How are littering laws supposed to prevent plastic bags from flying away from landfills?
> But it's literally the opposite of pathetic to elide one's own pathos

...a rather important part of the overall point is precisely that the people in question are not elid[ing their] own pathos.
Low price and no ads were two of the main selling points to ditch cable (along with stream whenever you want).

We reached the point were price is almost as high as cable was (with the standard 4-5 subscriptions), and we have ads. This is not a surprise to most though, the question has always been when would it happen.
Doom released about 1 year after the A1200.

Then it seemed that most of the top Amiga development talent focused their efforts on trying to imitate Doom on the Amiga, with minimal success, rather than making the most of what AGA Amigas were actually capable of.
Then you are shipping some incredibility buggy software then whether you are aware of that or not.

The overwhelming majority of bugs in software are behavioural bugs, which typing does not catch.

If you want to go down the formalism route to catch bugs then at the bare minimum you require Z formal specifications for all your code.

Do you have Z formal specifications for all your code?
I work in making and sending phishing emails for companies and measuring people's response.

Many people will open a suspected phishing link, report it, then open it later in the afternoon...
Yep. This video is played for laughs but I was shocked to learn how much of it was true and not just satire: https://www.youtube.com/watch?v=yvhv7bgmz64

Content being fragmented and constantly coming and going is a massive problem for users. Netflix used to be the go-to to find just about any given show or film, but has become a mystery box where the contents change on a near-daily basis. Piracy is reliable and simple instead, and works like Netflix used to: Just search up what you want to watch and you're golden. It has been and always will be a service problem.
>I trained a small (~10 million parameter) transformer following Andrej Karpathy’s excellent tutorial, Let’s build GPT: from scratch, in code, spelled out

As soon as I learned about Andrej Karpathy's NanoGPT, I trained it on War and Peace (in Russian), and what I found interesting is that it almost grokked Russian grammar despite being just a 3 MB model. Russian language has a complex synthetic-inflectional structure. For example, preposition "na" ("upon") requires the following noun to be in accusative case, which is manifested as ending -a for animate masculine nouns, but as null ending for inanimate nouns, or as -ia for nouns which end in a "soft consonant", -u for feminine nouns, etc. etc. Or the verb "to use" requires the following noun to be in instrumental case if it's used as a tool.

Although it's not perfect and had mistakes, I found it interesting that NanoGPT was able to infer certain complex rules in just 3 minutes of training - and I searched in the texts for the exact examples it generated and found nothing verbatim.

However, despite understanding grammar more-less, semantically, it was complete nonsense.
Damn Pine64 has some fun stuff happening.

Also I noticed DuckDuckGo performed much better than Google with this benchmark.
I don’t really see this as simpler:

1) “identified as risky” seems like it could hide some significant complexity (and room for error).

2) An extension might need to read from the keyboard. I don’t want to OK it every time. If I check once and then mark it as OK, I’d be worried that it could do something evil with that permission somehow, in a far-flung bit of the code.
Do celebrities really need private jets? No, the regular folk need to use shitty straws.
Of course this is 100% the correct reasoning.

When I was a broke college kid I pirated all the things, and at the time wished, when I could afford it, I’d rather just pay. When I could, I did, for years. Now we’re back at the path-of-least-resistance is pirating.
In Australia, New Zealand in recent years we've moved to reduce plastic bags from supermarkets etc.

I haven't actually heard anyone complain about it or get annoyed at some group of people - this whole concept of being annoyed at some group of e.g. environmentalists actually seems completely strange and alien.

Yes, it takes a bit of getting used to, but now it's simply a habit to take a small folded up reusable bag most places when we head out (just incase we end up shopping), or to think ahead and grab some bags when we know we're going out for a shop.

Really not a big deal.
The code name is always displayed in panic and crash logs. For example, a kernel panic on my MacBook would display MacBookAir10,1.

Or do you mean you find the code name itself funny?
> If you're on an os from 2018 you're clearly not really dependent on the latest versions of everything.

I'm on Windows 10 which is from 2015. I want the latest software, but an older more stable OS (not Windows 11 yet).

It's true that Windows 10 has had big updates (builds). But maybe that's the right approach?
No, it absolutely isn't a moral imperative, quite the reverse.

I don't know where you get the idea that the internet was "supposed" to be "free" or why the fact that a global transport network for information exists implies that everything transported over it should not require any payment.

The logical endpoint of your position is that you will get what you pay for: content that costs almost nothing to produce.
Then they shouldn't be C-level execs. We should expect more proficiency from people we pay so highly.
>Can you describe the different subtle mouth feels?

Yes, paper feels way worse to drink out of, objectively.
Building a wall around the Philippines would get you an overnight 10% reduction in ocean plastics

https://ourworldindata.org/ocean-plastics
Exactly....considering the relative harm each causes, I think we'd get a lot more bang for our buck studying neurotypicals like this than autists....and presumably if it was successful, we could then uses the subsequent savings from efficiencies/harm to improve the lives of the autists.
Some such outlets do exist. Its also reminiscent of older style open-air food markets. But globally speaking, the short term charms of plastics clearly won the economic race. The same cheap, low effort, high resistance elements that make plastics such an environmental problem are also the factors which dictated its use.
For one example among many, the original Bendix G-15's paper tape reader (the PR-1) only supported 5-bit paper tape, with the later PR-2 supporting 5-8bit tape.

http://www.bitsavers.org/pdf/bendix/g-15/T29_PR-1_Tech_Bulle...
i read on twitter a while back about some tv writer who was really happy because they managed to find someone who sent them pirated dvds of their work. apparently when disney+ removed the show from their catalog, it was otherwise lost to the world. that is definitely not the promise of streaming services that i remember from when they was first starting to gain popularity.
There’s been some research showing the effect you’re seeing is real.

> We estimate that CGB [carryout grocery bag] regulations lead to an average increase in purchased plastics of 127 pounds per store per month, ranging from 30 to 135 (37–224) pounds for 4-gallon (8-gallon) trash bags.

https://link.springer.com/article/10.1007/s10640-022-00646-5
The streaming space desperately needs consolidation right now.

Every rights holder having their own service has killed a lot of the convenience because you'll now need several different services to go through an entire TV show, for instance. And also because all services other than maybe Netflix have garbage software for your various devices. Because every service also has to support 8 different platforms. Video playback and scrubbing is buggy and laggy, the GUI for finding stuff is sluggish. On one service(I don't even remember which, they all blur together in my head), I tried to watch some House MD and half the episodes were missing the English audio track.
I adamantly believe that software projects should never rely on system dependencies. It’s just a totally broken concept and fundamentally bad idea, imho.
Software has completely automated all of these steps. The only barrier is the initial set up, which a non-technical person can figure out over a weekend.
> authors received monetary support from the American Chemistry Council, a trade group representing the interests of plastic bag manufacturers.

End of the joke.
Not only free and all (most), but less hassle, too. A pirate doesn't need to worry about digital restrictions if they haven't upgraded their TV, HDMI cables, and streaming boxes, web broweswers, etc. to all support whatever BS the the big streaming providers are pushing.
Right, streaming can win on convenience but loses so hard on content that it has begun to cancel out any reason to use it. Netflix really was great back when it was just getting really popular and had both consistent content and a just-works video player, but to stay popular it needed to keep both, and it hasn't.

Piracy can do the other things you mentioned automatically by the way, but I agree that it's less "just-works" for the average person given the setup involved.
More like Blade Runner, with the Voight-Kampf test and that.
Generalizations and platitudes, you can't even argue with this pie in the sky nonsense.
That’s what they did
I have one point which I really feel exemplifies the entire Netflix experience: before you sign up, they do not give you a list of what's available to watch.

Seriously, check out their website. It's basically a landing page which says "give us your money". The prices aren't even displayed.

There is no list of shows, save for a few measly screenshots of featured/well-known titles. There is a search box which lets you search for titles, but nothing like a catalogue of offerings, which is the absolute bare minimum I'd expect to see before purchasing a service.

I really cannot fathom why anyone would willingly give their hard-earned money to a company which doesn't even tell you what you're getting in exchange.
Inferno itself had a plugin for Internet Explorer.
Hardening Apache Apisix with the OWASP's Coraza and Core Ruleset
> The reason is that it currently still is hard and not worth the effort for >99% of software.

That sure sounds like they're delusional to me. Take the vulnerability of smartphones to various vulnerabilities in image codecs over the past few years. That's a solved problem, that's what WUFFS is for, and yet of course Apple doesn't use WUFFS-the-language, or even WUFFS-the-library, they're content that if they can just fix all the bugs in their C++ it'll be fine†. Even Google, which is paying the main author of WUFFS, doesn't use most of it, because hey, they've got handrolled (read, probably riddled with security holes) C++ code... they use his GIF implementation, they might adopt more later, but they haven't yet.

All WUFFS is doing is saying "Oh, if we run a proof checker during compilation we can solve this narrow problem completely" and yet that's apparently too hard. We're not talking about teaching your programmers Coq here or implementing the Principia in Haskell, but what we see over and over is that people would rather cobble together crap that compiles but is garbage and then go home for the day.

† To be fair to Apple their medium/long term plan is to Rewrite It In Swift, but while that's an improvement it is not a guarantee of safety, it's a half measure in some unknowable future.
Well, well, well… its seems we’ve come full circle.
Yes that is the experiment. I think when you do that it doesn’t move at all because the effect is tiny so will normally be nullified by friction? And I think the research used very low friction so they could observe the small effect.
Why not just read it? You can always give up halfway through if you get bored.

I quite enjoyed it, but there's something of the Young Adult Reader about it that sat ill with me. One of those books where (once I'd read it) I found myself slightly wary of anybody that would bring it up. Same goes for Atlas Shrugged, and Zen and the Art of Motorcycle Maintenance.

The dice man book is played too clearly for laughs IMO, but perhaps that one as well.
Yes, the fact that there is no relegation/promotion is strange.
Say we have a Centiville, a conveniently sized community of 100 people. 90 of them want municipal broadband because they like the internet.

That 90% should be allowed to pool their resources, start a "Centiville Fibre" company, build out fibre locally and charge locals a fair rate. Then the remaining 10 don't have to be involved in something they don't want. Or they can pay market rate for it without getting a dividend, which is effectively a penalty.

No government involvement required outside maybe permitting. The people who want it pay, it probably happens faster and all is good.

> And they want their tax money to go to something actually useful for them.

They're going to have their taxes raised to pay for the installation costs. Doing it through the government doesn't mean there is more money (unless they're harvesting resources off people who think it is a bad idea / don't want it / can't afford it which is unfair).