skysight-inc/HackerNews huggingface dataset:
ChatGPT, for all its amazingness, _never_ follows instructions. It just appears to, as it generates likely text. This is incredibly important to understand — it isn't a generalized AI.

Larger and more sophisticated models will do the party trick more convincingly... but actually following instructions will require a different approach.
Shorts are good for discovery and a form of it’s own bite sized content.

In a way a commercial for the content except it’s a lie roof the content.
says the person who never had to get to work on time across town with public transit...
This sort of idea is why I sketched out pdv [0] in Zig. Even extremely simple type systems can handle arbitrary invariants when you are allowed to compute with those invariants at compile time.

[0] https://github.com/hmusgrave/pdv
I wish you had written the essay, as that aspect about class status is coherent, but not found in the section at hand. All I get from the author is disdain, with a hint that it's centered on the subject's lack of ambition.

Of course I have other critiques, but to borrow a strange phrase from the movie JFK, is it worth picking gnat shit out of pepper?
After reading through the article, I was wondering if something like the Coca Cola depiction of Santa is an example of this? Or Elf on a Shelf?
It was pretty shallow and typical to me. There was very little nuance to both the characters and the story. I don’t really understand the reputation this book enjoys.
pretty cool idea
Wind turns out to be pretty reliable. It gets built in places that blow regularly. It is also more reliable offshore where they are building new capacity. Also, we will definitely need short-term storage to fill in solar into the evening and night. But night time usage is small, and things like charging cars can be delayed.

Overbuilding means that can use solar and wind more of the time. Partly because wind and solar are anti-correlated, partly because you build them in different spots, and partly because there is some energy being generated. 3x means that only need a couple weeks per year need backup. 5x means that couple days per year need storage.

The generated fuel production would already exist because need them as fuel. Repurposing natural gas storage should work for hydrogen and there is lots of that available. The power plants would need to sit around but should be able to convert natural gas to hydrogen.
They need roads and other public services to operate. They are basically taking a free ride on the backs of the tax paying population.
Hm, when you are solo coder doing a product, discord is super valuable. You get to interface with your customers in casual way + you get a bit of free knowledge/quirks base. Also if something is wrong with cloud provider, I can broadcast easily etc. All those functions can be ramped up separately, but the goal for me is to code and deliver on a product. As everything it has tradeoffs, but I wouldn't make snap judgements that discord is just a lazy excuse. Its a great tool for comms with low friction.
Even spouses of Googlers suffer from this malady occasionally. I have a close friend who has a wife working for Google as a tech writer, and every time the subject of Google's decline in search quality comes up he passionately defends them as light years ahead of the competition, untouchable, always on the edge of innovation, etc.

I really don't get where it comes from, it's just a company - not a religion!
> ChatGPT, for all its amazingness, _never_ follows instructions.

Yes it can, with robust system prompts.

The webapp is a misleading representation of ChatGPT's capabilities.
Is the population of single car families that require a car but don't drive very far in it big enough to give a damn about?
Italian food is full of stuff like this https://archive.ph/4gwGh kind of a combination of facism era mythmaking then postwar recovery era mythmaking
freelance is not scalable, not good to have any passive income, and, you stop working your income stops, there is not even any PTO to take a break. I have been doing freelance on and off over the years, and I believe using all the free time before next project to build some sellable products is the only way to become more financial independent.
Lots of those things still maintain what is basically the “DOS interface” for things like PXE boot.
How else will digital sinners learn only to trust corporate streaming services if they are not shown that the alternatives are OBVIOUS ROADS TO DAMNATION?

And we all mocked Chick Tracts: https://www.chick.com/products/tract?stk=1054&ue=d
> Growing up poor-ish and coming to a high income later in life (nearing 40 now) I believe growing your income is almost a prerequisite to accumulate wealth.

Your income is your number one wealth building asset. Love him or hate him, but he has some solid advice at times: "Ramsey says that your income is your biggest wealth-building tool. I'd argue that it's actually the gap between what you earn and what you spend. That's the cash you can use to become more financially secure. If you're unsure of where to start, take a look at where your money goes each month." - https://www.fool.com/the-ascent/personal-finance/articles/da...
Yeah, I've got nothing. On the other hand, I'm not into putting effort into understanding the output of stochastic parrots.
I'm not afraid of not having the hardware for running my Linux desktop, doing my developer work, reading Wikipedia and HN. But imagine banks ("security"), chat apps ("spam"), youtube and maybe even common websites (to enforce no adblockers) requiring a remotely attested smartphone and WEI.
Hey guy, I can tell you that a friend recently visited India and was told by the staff at the counter in the airport that the prepaid UPI wallet barely works and to not use it. Also since he landed in the night (like most flights from the West will), the counter was officially "closed" for this purpose and he had to haggle with the people at the counter to even get as far as he did.

UPI is a great system for Indians, but it is still hostile to anybody visiting without an Indian identity document. India's reliance on SMS for OTP codes is also super bad imo. There is no need to be defensive about UPI. It's good, but it can always be better.
Again, it’s just your preference. No one is forcing you to use such software. It’s not the moral issue you’re framing it as.

We also don’t have “decades of data”. Almost all large scale software systems leverage some form of telemetry/monitoring. Would you run a factory without quality control on the process? A more interesting question to me is which large software systems don’t use telemetry? Linux maybe?
One of my favorite novels of any genre.
Google wins hands-down for local results, but I use Maps a lot to find restaurants so it might be just me.
Oof:

> From the 1920s until the 1970s, the Swiss government had a semi-official policy of institutionalizing Yenish parents and having their children adopted by members of the sedentary Swiss population.
I'm not an american, I live in a small EU country.

I've seen wikileaks, and I know what US did and can assume that they did a lot more and worse after that... and the NSA catalog was a fun thing to read too.

And on the other hand, we have speculations ("not too far fetched") about russians doing bad stuff on a massively-used search engine, in english, about malware that will be detected, dissected and analyzed in a matter of minutes by pretty much every government agency of every nato country...

I'll take my chances. And also, i'm pretty sure UK wouldnt extradite a russian journalist if they posted about yandex doing bad stuff.
> it's not going to be long until we don't need anyone controlling it and for us

We’re realistically (many) decades away from this in the earliest case. AI is cool, but literally giving one a scalpel and allowing it to excise a tumor is so far beyond both what our present technology and regulatory safeguards will realistically facilitate within most of the lifetime of anyone alive.

I do admire your optimism, but I can’t help but think it’s a little misplaced. We have collectively billions of miles driven for self-driving cars and they still can’t reliably distinguish a red light in suboptimal conditions. And somehow a machine is going to slice us open and perform a surgery than even our most skilled surgeons are not reliably performing (let alone generating training data for). Not to mention the human body is an insanely complex, variable, and messy environment where even little mistakes can be life ending.

I understand that exponential growth in AI is difficult to comprehend. But fully autonomous surgery is just likely not on the bingo sheet for this century. It’s several orders of magnitude more complex and high stakes than just about every other task AI can take on.
NASA image shows likely lunar crater caused by crash of Russia's Luna 25 mission
Always on video or in person interviews would become the norm.

Otherwise, it would be too easy to cheat by feeding the questions to ChatGPT.
public transit simply cannot go in the direction everybody needs it, when they need it in a straight route. It used to take me approx 3 hours a day, sometimes more to get to an from a job that was a 25 minute drive away.10 hours more time for myself a week is freedom to me.
That's a much better article than you make it seem with that quote, and that its headline writer made it seem with that title. I read it and quite enjoyed it. Thanks!
I was not wrong to say that the statement quoted from the paper is in-line with scientific consensus. Your assessment of how some rank their lists doesn't make the statement wrong. Most scientists who look at the numbers agree that animal agriculture needs to be addressed to help combat climate change.
As other people note, a lot of those seem to be local aliases defined by the author.

But the most important thing to understand about Coq is that it's meant to be read in an IDE. The IDE will show you, at each step, what has been proved and what remains to be proved. The "tactics" you see above basically mean, "At this point in the proof, we can make progress by substituting Hv. And in context, this will make sense.

But without being able to see the proof state at each step, Coq can be incredibly cryptic.
As someone who has been deeply interested in this type of manufacturing technology for ages, my jaw is on the floor. Kudos to the person that made this. I'm so impressed.
The cutesy-wootsy icons add insult to injury. I only recently learned that it is called Alegria or Corporate Memphis[0]. Whatever it is called, the bloated semihumans make me long for the timeless design of Mr. Paperclip.

[0] https://www.youtube.com/watch?v=lFb7BOI_QFc
Anyone have any recommendations for other classic spy novels like le Carre’s? I’ve read some Greene and Deighton, which were both mentioned in the article, so I suppose I should revisit those, but would be interested in any other works with a similar scene and setting.

One of my favorite le Carre tidbits - apparently in the UK and US versions of “Tinker, Tailor,” a character in one version takes a ferry in Hong Kong, but takes a tunnel in another version.

Apparently after the original UK release, one of the readers asked le Carre why the character didn’t just take the (relatively recently opened) tunnel between Kowloon and the mainland, le Carre went white in the face and promptly rewrote that part in the forthcoming US version for its subsequent release and had the character take the tunnel instead (as anyone would have done in those circumstances, given the two options).

Terrific writer and storyteller. Must have had a hell of a life.
Sony Takes on Disney and Mukesh Ambani in India with Zee Merger
https://archive.is/Hyz1Y
The one-handed backhand is on the way to extinction
There are some nice Chrome extensions which erase Youtube Shorts from the desktop experience. Highly recommended. I use "Youtube-shorts block"
“The biggest Ponzi of all time”: why Ben McKenzie became a crypto critic
https://archive.ph/YfptC
Agreed that as a whole, we do need more public benchmarks (both transformers and RWKV), with much longer sequence length.

I view this as a case of the "benchmarks" and "datasets" not keeping up with the current progress, as the vast majority of benchmarks presumes the limit of up to 2k tokens. Which was cutting edge last year, but isn't today.

Internally we do have some benchmarking for how the decay over time affects lossy memory, and we are making major improvements in this direction for v5, and aim for no loss within the 8k to 100k and beyond context sizes. And hopefully with time, there will be more formalised standard benchmarks for larger context sizes.

Edit/PS: I believe until we get a sponsor for the compute required to build on similar scale and dataset compared to LLaMA2, so that we can have that "showdown" - we would be stuck - in its non threatening status. As there will always be that shadow of doubt, if it can scale to the next milestone that transformers have already crossed.
I'd argue value was added by removing an integration to an unreliable platform
All true, but worth mentioning that if you used distilled water and keep the humidifier clean, all of the listed issues no longer apply. The real issue is the aerosolized minerals, not the humidifier per se.

(not trying to argue at all, just providing additional context)
Obligatory plug: http://nil.csail.mit.edu/6.824/2022/schedule.html

MIT Distributed Systems course where Raft is implemented as a class assignment (assignment 2). The test suite around the assignment is incredibly valuable and !will! find bugs in your Raft implementation. The assignment is broken up into distinct steps to help people not get stuck when doing everything at once. It is still very challenging to implement everything, especially to get the performance tests to pass.
More people are dying with unnecessary precaution because we keep humans behind the wheel.
Greening would be a darkening of the albedo, compared to the light blue of Caribbean waters, helping to absorb light and increase global warming... wouldn't it?
If I'm someone who's watching Shorts, I'm probably viewing 10-30 videos in a 10 minute span. That's 10-30 creators who are getting a view out of me.

If I'm watching proper long-form content for that same 10 minute window, then maybe 2-3 creators are getting a view out of me.

Multiply that across the millions of users of YouTube, and it's pretty lucrative to make content for Shorts. Your dollar-per-view is likely lower, but the massive amount of views you pick up end up working out in your favor.
I said to counter the “Harvard researcher” points this article got. If you want to go on merit don’t name drop
Two types of work: crunchy and squishy
Comprehensive Review of Liquid Air Energy Storage (LAES) Technologies
https://camelcamelcamel.com/blog/amazon-eu-covid-19/
The Claremont Institute is a conservative think tank based in Upland, California. The institute was founded in 1979 by four students of Harry V. Jaffa. It produces the Claremont Review of Books, The American Mind, and other publications.

The institute was an early defender of Donald Trump. After Joe Biden won the 2020 United States presidential election and Trump refused to concede, Claremont Institute senior fellow John Eastman aided Trump in his failed attempts to overturn the election results. The institute publications in recent years have frequently published alt-right and far-right opinion pieces.

<https://en.wikipedia.org/wiki/Claremont_Institute>
These attempts to rewrite history to fit a narrative happen all the time. For example, I see constant attempts to deny that the Wrights' 1903 Flyer was the first powered, controlled flight. The evidence presented is always a pile of fanciful conjecture.

This rewrite occurs with modern events, too. For example, the narrative on the 737MAX crashes. I've posted about it here many times. On a recent trip, I ran into a 737-800 captain on layover, and struck up a conversation. I chided him a bit about remembering the stab trim cutoff switch. Well, that opened the floodgates. He told me in no uncertain terms that those accidents would have never happened to him, because he knew how to fly the 737. He told me one way they could have recovered the airplane was the one I mentioned here many times - trim to normal and turn off the stab trim system. He said there was another way. The EA airplane was operating at full throttle. The overspeed warning could be heard on the cockpit voice recorder. The pilots ignored it. Overspeed is a very dangerous situation, as the air loads on the airplane exceed design limits. All the pilots had to do was just pull the throttle back. Then they could have manually retrimmed the stabilizer, which they tried to but could not because of the overspeed.

He added that all the 737 pilots he knew knew about this, but were afraid to speak up.

Remember all the narrative about the pilots could not have diagnosed stab trim runaway? This infuriated him, because when the trim runs, it spins two wheels right by the pilots' knees, making a loud and unmistakable clack-clacking sound. Something I was told about by Boeing engineers, but it was nice to hear it from a captain.

I suspect that the reason the single point of failure design of the MCAS went through is Boeing simply assumed that the pilots would just turn off the stab trim system if it misbehaved. And this is exactly what happened in the first MCAS incident - the crew turned it off, and continued the flight normally and landed safely.
Aw, salty sally got butthurt.

Your lord and xavior is never going to notice you. get the fuck over it.
If the ambulance is in the right lane - do I still pull over in front of them? Every lane is blocked besides the right lane - do I block it or line up behind another car already at the light? The real world isn't so black and white.
Usually a taxi/lyft/uber has the doors locked and if someone tried to open them the driver would drive away.

In this situation of yours it sounds like anyone can just walk up to a AV and open the door and get in.
It was constructed, just somewhere else, and we still paid for it, I believe
I can see how array programming helps with certain memory errors, but I don't think it helps with race conditions. Whereas eg Rust ownership, borrowing, and lifetimes eliminate one class of race conditions (data races) in safe code.

Type systems also enable optimizations that do make code faster. Eg monomorphization. Consider that JITs makes untyped code faster by inferring types at runtime. See also this comment https://news.ycombinator.com/item?id=37376010

I honestly can't make heads or tails of the idea that type systems don't help make code more expressive? They allow you to express your precise intent in a way that's legible to both humans and the compiler.
I wish somehow they'd also embrace anonymous accounts. I don't really want to give my full name and potentially photo ID to a random company to create an account to host $3 of content.

Anyone have any feedback on the recently discussed https://incognet.io/?
reminds me a little of eiffel's design by contract. it looks really promising
Ditto. I must have spent 10 full minutes clicking all through my bank's website before I finally realized their phone app provided the only possible way I could make a Zelle transfer.

My HOA started mandating Zelle as the only way they will accept payments. So now it appears that I have no choice but to use a device that supports my bank's app if I want to avoid getting a lien put on my house.
Cloudflare’s blog is among my favorites. https://blog.cloudflare.com/
I wish Vim, when started in Ex mode, wouldn't set current cursor line to lowest regardless of whether the cursor is already on it. It wastes screen, making backscroll unusable. I researched ways to configure Vim not to do that and didn't find any one that works well together with Vim's terminal support. This is the only obstacle to using Vim like ed.
Thanks, and sorry for my impatience; I've seen that claim in enough places (from many other people) that I got frustrated. The absence of a clear proximal host certainly isn't proof that SARS-CoV-2 arose unnaturally, especially since the PRC's preferred origin story (imported on frozen food) would require them to cover that up too. It's not what anyone expected though, since it's different from SARS-1 and MERS.
Your intuition is right. Liquid (refinement) types, design by contract and Hoare logic have, essentially, the same expressiveness.

Personally I find refinement types more promising than dependent types, but time will tell.
> Because I had none of that, I'm a software engineer making hundreds of thousands of dollars a year. In no world would I be where I am today with those limitations.

You've commented plenty throughout your replies. But this bit uses very concrete, casual language. I'm not sure how you could possibly know such a thing and therefore write the statement you wrote. So much of your success as a hundreds-of-thousands-of-dollars engineer is luck, timing, and other things that are not so clear in nature.

I otherwise agree with most of what you wrote.
That image (if it's the one circulating on twitter) is from years ago and not this event.
Which security risks are you talking about specifically? Malware can only run if you download and execute it locally, otherwise yandex is as bad as any other site in my book. The only thing I’m relatively concerned with is tracking, but it’s much more of a risk for russian citizens rather than for non-russian.

Your comment sounds like it’s a website or some hacker who decides if you’re secure and not your browser. Which is obviously wrong and smells of fringe security ideas.
2) I agree with you but normally a car is locked from the inside and random people (firefighter or not) shouldn't be able to just open it via the usual methods. Police still have to bust out windows to extract people all the time. They don't get a special unlock button.

I agree with you in general. I'm sorry you have to go through things like that.
Oddly enough, PLCs are another example of a dataflow programming being intuitive for regular people -- the others being LabVIEW and Excel. Of course I'm exaggerating a bit by putting all 3 of these tools into a single category, but I also don't think it's outrageous to make this claim.

Indeed, PLC's originated with GM calling for a programmable controller that could be used without having to completely re-train their large workforce of control engineers and technicians, who were already familiar with relays, mechanical timers, switches, and so forth.
If "fragrances" could improve older folks' cognition by 200%, it would be better than any of the $20,000/year drugs recently approved to treat Alzheimer's.
As a user from the early internet forum era, I do find it a step back as well.

But unfortunately, the people as large has kinda spoken, and voted by their usage. And ultimately for community engagement, their decision is something I have to accept as well.

Better to have a messy growing discord with active users, then a forum with little to no engagement.

For better search indexing, and making things more accessible, I help constantly move links / items from the discord into the more public github wiki : https://wiki.rwkv.com/

(PS: our discord is fully public for anyone to signup/access)
The translation of the Iliad used in the Gutenberg Project[0] refers to deep blue seas twice.

[0] https://www.gutenberg.org/files/2199/2199-h/2199-h.htm
Quite strange, from the report it seems like traffic was moving smoothly in the adjacent lane, including another ambulance. Perhaps a robot ambulance would have handled the obstacle better than this human did? Perhaps the patient who was hit and killed by another human driver would have survived… ah but yes we need to get these AVs off the road before they kill more people!
Love celebrating my long family history of Festivus. Lore tells of my great-grand poppy, Jedidiah, and his feats of strength. He won his first Festivus at 8 and didn’t lose again until he was 93.