skysight-inc/HackerNews huggingface dataset:
Here's an overview of the data Tesla gathers from a crash: https://www.notateslaapp.com/news/1272/the-power-of-data-a-l...

I recall they have changed the timing of triggered events that happen when the system has detected an imminent crash, and the timing of events that occur when a crash happens. I can't find the reference right now, however.

ChatGPT-4 uncovered this:

https://electrek.co/2021/10/12/tesla-unveils-new-crash-safet...

Advanced Airbag Deployment: The data enables Tesla to detect the type of crash within 10 milliseconds and deploy airbags optimally, considering the exact seat position and steering wheel position

Also, the crash data is used to create more accurate crash simulations, which goes directly into changes to the vehicle structure. Going off of what Sandy Munroe says about the rate of changes and improvments, this happens at the time scale of 1 or 2 months.
GitHub has been significantly less reliable since Microsoft bought it and Actions has been a disaster of an experience.

Linkedin has not improved its problems with spam or content quality since Microsoft took over.
The fact that these people aren't currently willing to "rewind the clock" about a week shows the dangers of human ego. Nothing permanent has been done that can't be undone fairly simply, if all parties agree to undo it. What we're watching now is the effect of ego momentum on decision making.

Try it. It's not a crazy idea. Put everything back the way it was a week ago and then agree to move forward. It will be like having knowledge of the future, with only a small amount of residual consequences. But if they can do it, it will show a huge evolutionary leap forward in ability of organizations to self-correct.
Tell HN: HN cannot handle the ongoing 'AI nerd drama'
"In any case, Starship began flying off course, and its flight termination system activated."

Is it me or is it weird they build in a self destruct system?, wouldn't it otherwise just burn-up or explode on failure?
they realized 4 weeks ago they wouldn't ever attain AGI. they released Laundry Buddy. the board wants to go off the hype cycle and back to non profit research roots.

MSFT wants to double down on the marketing hype.
> Sorry, our server is struggling to stay afloat just now,
so we're having to disable more requests than usual.
Things should be back to normal soon.
Are we aware of a timeline for this? E.g. when will people start quitting if the board doesn’t resign?
making up your exercises is part of that fun journey of creating your own toolbox of functional programming in your language of choice!
With or without interest?
Not exactly exercises, but there's https://smlhelp.github.io/book/docs/ which supports the course and explains each of the concepts as well as library documentation at the official class site, http://www.cs.cmu.edu/~15150/resources.html

It looks like their current workflow keeps exams and homeworks off the internet effectively, but there's a 6-year-old codebase at https://github.com/zhengguan/15150-1 with 10-year-old homeworks and such.
How do you look at models like temporal.io (service in front of DB) and go-workflows (direct to DB) in comparison? It seems like this is more a step back towards that traditional queue like asynq is, which is where the industry is leaving from to the model of temporal
They've been doing this for years. This can be done using semantic search which has been around since the dawn of AI. Using LLM's for this is just overkill and way too expensive.
Glad you've been enjoying Software Unscripted, thank you for the kind words!

> 1. Whether they'll support macros,

The plan is not to support macros. A major reason is that macros tend to conflict with editor tooling, and I definitely have big plans for Roc's editor tooling!

> 2. Whether their decision to build a whole new IDE will take away from the work that will go into an LSP (it will take a lot to pry away neovim from my hands).

The IDE project has been deprioritized a lot (e.g. I don't expect any work to be done on it in 2024) because we realized there's a way to build the editor plugin ecosystem we want to build in a way that works across multiple editors.

There already is a preliminary language server, and there are instructions in the VS Code extension for how to get it set up [0]. I assume something similar should work for neovim!

EDIT: I just noticed that while I was typing this, the author of the Roc language server responded too...hi, Ayaz! Thanks for all your excellent contributions to Roc!

https://github.com/ivan-demchenko/roc-vscode-unofficial#conf...
Wikipedia didn't destroy my education personally, that's for sure. But kids did use it to cheat on their homework, and all the other things you wrote were written about it, to no serious negative effect as far as I can tell.

I do know what the OpenAI board fear, because they talk about it, sign open letters, etc'.

They believe that "Mitigating the risk of extinction from AI should be a global priority alongside other societal-scale risks such as pandemics and nuclear war." This was signed by Sam, Ilya, Mira and Adam as well as Hinton, Bengio and most other luminaries of the field.

https://www.safe.ai/statement-on-ai-risk

They don't mean "before we give it access to electricity" the same way any smart historian wouldn't advise the Aztecs that mitigating the risk from European settlers should be a priority only if they are given access to the Aztec stockpiles of swords, maces and knives.

Intelligent autonomous agents that don't share your interests might be very dangerous, and OpenAI is publicly trying to build intelligent autonomous agents, are closer to success than anyone imagined we would be in 2023 (0-1 breakthroughs away, I'd say, for breakthroughs of the size we see once every five years or so), and publicly has no solution to the "don't share our interest" issue.
Not a fan of the usage of backslashes \
It is statically typed, there's a lot of depth to that side of things (Curry-Howard isomorphism)
Thanks! One new thing I learned after multiple iterations of: "That's great, but can you change this, or that". Once I was happy with the result, I asked it to produce the AI prompt that I could give next time to generate the same output, and that's what I put in my previous comment.
This whole thing is bizarre.

OpenAI was the one company I was sure would be fine for the forseeable future!
Montenegro uses Euros (always did) and they seem to be doing just fine.
U.S. won't say no because for U.S., it means in effect getting a no-interest, indefinite duration loan from Argentina (free money).
>is just not happening any time in the next 30+ years if you ask me

How accurate do you think your tech predictions from the early '90s about today were?
Yep, thinking days ahead is sooooo long term! We need high frequency strategy!
Their app was timing out like crazy earlier this morning, and now appears to be down. Anyone else notice similar? Not surprising I guess, but what a Monday to be alive.
we all remember "monopoly" is in MSFT DNA
...and yet not a single picture of the blood of any of them.
> it's impossible to tell how close Tesla actually are.

Isn't this true of all the other players as well.
Easyjet went through a period of putting the return date the month after. Caught me twice! One completely missed till I tried to return and the 2nd I saw before flying so could change. Proper dark.
If your point is "the standard is correct as judged by the standard" your point is accurate and meaningless.
It seems like underselling the successful part and overselling the part about not being the founder, but I can see it's a slang term. Thanks.

And yeah I'm wrong about it being the same term, though I did imagine a different use, I was also thinking of smooth operator, apparently I was unfamiliar with the term in tech.
Unfortunately, it does not. These lectures are "mine", in the sense that I developed all of them myself, but the homeworks and lab exercises are the combined efforts of generations of TAs and instructors from the past. It wouldn't be right for me to give them away. (they are also reused from time to time, so there are academic integrity concerns with that also)
I can read the words, but I have no idea what you mean by them. Do you mean that he says that in order to benefit humanity, AI research needs to be done by private (and therefore monopolising) company? That seems like a really weird thing to say. Except maybe for people who believe all private profit-driven capitalism is inherently good for everybody (which is probably a common view in SV).
Right from the launch of ChatGPT, many have seen OpenAI as the MySpace or AltaVista of this new wave of generative systems -- first to break the market open but probably not suited to hold their position at the top.

It's exciting to see what they've productized in this first year, but the entire landscape of companoes and products was already sure to look different in another few.
The loss here might be that the brand is a bit damaged in terms of stability and people are more looking for and investing in alternatives.

But as long as ChatGPT is and remains ahead as a product, they should be fine.
>I've never heard of anyone having an X11 security problem in the last 20 years.

Here's 6 CVEs just from last month. Check the mailing lists and you'll see many of these going back for years and years.

https://lists.x.org/archives/xorg/2023-October/061506.html

https://lists.x.org/archives/xorg/2023-October/061514.html

And before you say this is not what you meant, the X server and X client libraries do very little anymore besides parsing untrusted input and passing it somewhere else. That's its main purpose and it's completely bad at it. And because it's X, this input can also come from over the network too so every normal memory bug can also be an RCE. This is probably the single biggest attack vector on a desktop system aside from the toolkit. It's the exact wrong thing for anyone to grant access to every input on the system.

This is not just my personal opinion or me giving anecdotes either, this is paraphrasing what I've heard X developers say after many years of patching these bugs. But that's not even the whole problem as I'll explain shortly.

>But for actual computers you control it just isn't (a problem). Wayland for "security" is cargo culting smartphone user problems. It's not actually a real issue.

Yes it is a problem and no it's not cargo culting. Practically speaking the X11 security model means every X client gets access to everything including all your passwords (and the root password) as you type them, and subsequently lets every X client spawn arbitrary root processes and get access to your whole filesystem including your private keys and insert kernel modules or do whatever. If you actually think this "isn't a real issue" then you should just stop using passwords, stop protecting your private keys, run every program as root, and disable memory protection: because that's what this actually means in practice. No I'm not exaggerating. The security model of X11 has no idea about client boundaries at all. This is completely unacceptable on any other OS but for some reason it's become a meme to say that only smartphones need to care about this. Really? Come on.

>I use the keyboard/mouse sharing in X11 (via synergy) and I have for 20 years. It is vitally important to my workflow. It works on dozens of different OSes including linux. But not the waylands linuxes. Any graphical environment that can't do this is useless to me.

X11 can't do it securely so I would say that's as useless as not implementing the feature, if you have to compromise your security in order to get it.

The feature will be implemented in Wayland eventually when the design for a secure API is finished. There are people working on it now. In comparison, X11 is probably never going to gain a secure way to do that.
Great. Now is the consumer allowed to compare prices in a meaningful way? Let's say I visit the site, close my browser, clear my cache and cookies, and then navigate to the site again. Should the price change?
The board might assume they don't need those employees now they have AI
"Pretty much" implying there are exceptions, yes, but it's not the norm in the US for list prices to be inclusive of all fees and taxes.
supposedly capped-profit, though if a non-profit can create a for-profit or a capped-profit, I don't see why it couldn't convert a capped-profit to fully for-profit.
The thing this most makes me think of is Ottertune, that the Carnegie Mellon DB group came up with several years ago for MySQL, https://github.com/cmu-db/ottertune, and eventually commercialised https://ottertune.com/ for MySQL and Postgres.

I keep thinking about this from a JVM perspective, there's so many settings you can tweak that can have such a drastic impact on performance, depending on your workload, that it seems likely there's some value in automated tuning. The main difficult there (from my probably naive perspective) is figuring out the right feedback loop.
He humiliated himself when succumbed to pressure and tweeted that apology.
I think you're going to have a tough time with Chromium seeing as how the likes of Microsoft and Canonical are contributing to the project. You're also going to have a tough time showing anti-trust when Google is working with Apple. I'm old enough to remember some famous anti-trust lawsuits where the plaintiffs had a much more solid case and still lost. In this case Google is literally working with the industry's largest companies. You're going to have a really hard time with that.
Big O is about the eventual behavior for large enough N. An algorithm is O(N^2) is for sufficiently large inputs the running time is < c * N^2, for some fixed constant c. That's a really weak guarantee for practical purposes -- it allows an algorithm to take stupidly long amounts of time on all practical inputs, so long as eventually it's got a running time with the given bound.

The colloquial use of big O as a general growth factor doesn't hold up to its definition, if you want to be sure it's valid for small inputs too.

I'm in agreement that saying algorithms on computers are all O(1) doesn't make much sense. In a finite memory model, it's impossible to solve big problems, so the running time function becomes undefined for big enough inputs, so big O becomes completely inappropriate in this situation.
LLMs cannot find reasoning errors, but can correct them
tbh if I were in a class taught by someone who had JUST finished their bachelor's degree, I'd take a lot of it with a grain of salt
And bad for users. Skype went downhill fast and Teams… well we all know what that’s like.
The value of purely functional programming languages, as opposed to functional programming languages like lisps, is that you get referential transparency, which means that when you define `a = b`, you know that you can always replace any instance of `a` with `b` and get the same answer. This is a very natural property in mathematics (algebraic rewritings are basically just this property writ large) and so it helps to draw nice parallels between the familiar notation of functions from mathematics and the "new" and "confusing" notion of functions in functional programming and other declarative languages.

As other posters have said, strong typing is also a nice property for lots of reasons, most notably it gives a platform to talk about ad-hoc and parametric polymorphism.

(I lecture on Functional Programming at the University of Warwick, where we use Haskell.)
I had understood that the delimited continuations stuff was more like performance optimisation for the (slow) free monadic effect systems than a fundamentally different theoretical foundation for modelling effects in a pure language?

fwiw we also have fast effect systems in Haskell these days that are more like fancy type sugar on top of the ReaderT over IO style of things (effectful seems to be the most popular).
I found copilot most useful as an code editing assistant. A smart `sed` of sort.

Moving code around a loop, extracting a series of variables etc.

Like a sibling comment I also find it useful to complete the end of the line.

As for writing code, it mostly produces very convincing looking code at a glance, but full of shit on a second look.

But as a smart completion and local refactoring tool, I really find it useful.
>Here is the story of the Grangemouth bricks as I understand it. Please let me know if you have any additions or corrections.

https://www.flickr.com/photos/111441268@N03/16031532919/in/a...
Daisaku Ikeda: Influential Leader of Japan's Soka Gakkai Buddhist Group Dies
Is this guy big enough on the totem pole to know what Ilya wants?

Or, is he just bitter that his millions are put in risk.
You know Don, what touched me about this wonderful story of the charming visionary from SV —- thanks for sharing — is that his reach is as wide as his heart is big! Here you were, a mere fisherman somewhere off the coast of Maine, and here this hero of the age, this charming tower of visionary insight, coming over all the way from California to ‘shave your butt’. (Oops, that was a typo.)
Does Eukleides integrate with MathJax?
Small amount of residual consequences? The employees are asking for the board to resign. So their jobs are literally on the line. That's not really a small consequence for most people.
>It's not a virtual certainty. Not even close. The rate of homelessness in the US in 2022 was 0.18%. https://endhomelessness.org/homelessness-in-america/homeless...

I don't get it. Is your argument that because the homeless rate is 0.18% in the US, that if you had no income and drained your savings, that the probability of you ending up on the streets is minuscule? How do you think you'll acquire housing if you don't have any money?

>And if you're willing to work "BS jobs for random spending money", as the OP said

Are we reading the same comment? Here's his previous comment:

>there's no chance I'm working anything but BS jobs for random spending money
This looks like a great effort and I am looking forward to trying it out.

I am a bit confused by the choice of the LGPL 3.0 license. It requires one to dynamically link the library to avoid GPL's virality, but in a language like Go that statically links everything, it becomes impossible to satisfy the requirements of the license, unless we ignore what it says and focus just on its spirit. I see that was discussed previously by the community in posts such as these [1][2][3]

I am assuming that bgentry and brandur have strong thoughts on the topic since they avoided the default Go license choice of BSD/MIT, so I'd love to hear more.

[1] https://www.makeworld.space/2021/01/lgpl_go.html
[2] https://golang-nuts.narkive.com/41XkIlzJ/go-lgpl-and-static-...
[3] https://softwareengineering.stackexchange.com/questions/1790...
For all that Booking.com has lots of annoying patterns like telling you how many people looked at a listing and that there's only two rooms (currently) available for those dates, I do like the fact the price I first see in the ranking is what I pay. Not least because the AirBNB fees usually seems to be how much more it costs to book with them if they have a listing for the same place.
Stop letting your imagination run away.

> we could probably get rid of >50% of all cars on the road. ... If cars could be operating full-time 24/7, ready to be dispatched anywhere as needed

Wow, you really don't get it, do you?

No one wants to get in their car to find it a mess from an inconsiderate customer. No want wants to deal with the extra wear and tear. Most people drive during rush hour, so assuming you need your car to get you to and from work, your car won't be doing chores for you when you don't need it.

Really, robotaxis may cut down on lower-use cars. IE, if you live in the city, and don't use your car everyday, you might prefer to use a robotaxi. It might even be "worth it" if you live where parking is sparse. (Or not, because your self-driving car could park itself 15 minutes away.) Robotaxis might make it so that multi-car households can cut down on the cars in their household.

But turning every car owner into an entrepreneur who rents out their car when they don't need it? You're letting your imagination run away!

And here's the problem: So many people are letting their imaginations run away regarding self-driving cars and robotaxis that it's actively hurting development. The pie-in-the-sky promises like yours never come true; so the people who need to believe in self-driving-cars to keep investing loose faith and cut funding.
I glanced at the example code and it looked like it allowed side effects, but maybe I was wrong. I haven't had much time to mess with it and seemed to be able to hard crash the repl doing some testing so it's something i'll have to look at later.
Everyone has their moments no? In person Richard seemed like a super nice guy and the many lectures he did for Elm really showed a passion for helping improve the day to day experience for developers. He was also super active on the forums and slack helping people out.
far more than a handful are thinking of quitting, and the open invite from microsoft makes this a very different animal from a typical upheaval.
> Nothing permanent has been done that can't be undone fairly simply

...aside from accusing Sam Altman of essentially lying to the board?
Building things that nobody was waiting for without a sound businessplan. Grossly underestimating required technical knowledge and investment being a close second.
Great information - this is one of the first processors which has me seriously thinking about upgrading my desktop from an i7-6xxxk. The latest chips from AMD are screaming fast for compile times!

Minor sidenote: I wish the article wasn't spread over 14 pages. It was.. a lot of clicking.
“Deeply” regretting a decision he made 72 hours ago? And this is the guy who is supposed to have the forethought to bring us into the next frontier of AI?
Here is the specific Google Flight I selected: https://www.google.com/travel/flights/s/yYPhNC6aXX4VP5cj8

Here are the screenshots: https://imgur.com/a/X923fSo
Yes, a charity can sell assets to a for-profit business. (Now, if there is self-dealing or something that amounts to gifting to a for-profit, that raises potential issues, as might a sale that cannot be rationalized as consistent with being the board's good faith pursuit of the mission of the charity.)
It's probabilistic and not factual and so everything it outputs must be treated as something the actual answer might sound like and needs to be counterchecked anyways. If I am researching the actual answer already then why bother?
Absolute cinema
(but I have thought of developing my own exercises independently to go with the lectures, to post on my website. This is generally a lot of work, though, so this might take some time, depending on how much people would benefit from it.)
HN RSS (https://hnrss.github.io/) includes feeds for:

- posts above vote/comment threshold
- replies to user
- posts/comments/favorites by user
- posts/comments by keyword
- new/best/active threads
Fingers crossed! I hope the new leader gets someone smart at finance to sort things.
Market Basket.
> given the overall low-quality state of the JS ecosystem back then

As opposed to now?
It will be wild to see all of these employees leave to work for Microsoft (or turn OpenAI into a for profit) and in the process hand Sam and a few other CXX folks a huge chunk of equity in a new multi billion dollar venture.

I'm guessing Sam will walk away with at least 20% of whatever OpenAI turns into.
Currently, there are shareholders petitioning the board of Tesla for him to be suspended due to the antisemitic posts. Maybe this will be the week of the CEO's... :-)
Isn't Microsoft essentially acquiring OpenAI at almost zero cost? You have IP rights to OpenAI's work, and you will have almost all the brains from OpenAI, and there is no regulatory scrutiny like Activision acquisition.
he was said to start the whole mess and indeed he announced Sam's firing,,now he plays the victim, even movies can not switch plot this fast, keep some minimum dignity please
Not sure what you're implying. Why would the price change in that situation.