skysight-inc/HackerNews huggingface dataset:
I don't know why people even use libraries in those languages - assuming you stick to a database engine you understand well then the (main)-database-as-queue pattern is trivial to implement. Any time spent writing code is quickly won back by not having to debug weird edge cases, and sometimes you can highly optimize what you're doing (for example it becomes easy to migrate jobs which are data-dominated to the DB server which can cut processing time by 2-3 orders of magnitude).

It's particularly suited to use cases such background jobs, workflows or other operations which occur within your application and scales well enough for what 99.9999% of us will be doing.
>If all goes well, perhaps in the future we'll be able to compare this transition to Chile under Pinochet

Pinochet was a fascist. Do you seriously feel okay endorsing his aims and goals?
Why would they use a Lisp dialect instead of Standard ML? It looks ugly, it looks different from math, and different concepts have the same syntax. Standard ML looks nice, it looks like math, and different concepts have different syntax.
The folks that are the real losers in this are OpenAI employees who have had equity-based comp. packaged given to them in that last few years and just saw the value of said comp. potentially slashed by a factor of 10
Hey Brandon, thanks for posting this. Off-topic but maybe consider serving up thumbnails on that page instead of the full-size pngs https://brandonspark.github.io/prologue/lecture01.png
Wow. I wish I had known about this ...
> nobody ordered a plane out of the sky, but several countries (suddenly) excluded a plane from their sky

Suddenly withdrawing permission for a plane to fly through your sky, after it has already taken off and does not have enough fuel to take an alternative route, has the same effect as ordering it out of the sky.
They don't have equity in openai though right. You mean from reputation loss?
Maybe will be signed by 110% of the employees, plus by all the released, and in training, AI Models.
I've never understood the "it's not a problem because it's also a problem elsewhere" mindset.

And I'm skeptical of your implication that there is just as much awful content on platforms that at least try to police it as there is on the one that doesn't.
I dunno, it's always been the other way around for me. Firefox is fast and light, while Chrome hogs RAM and CPU like a beast.

Both on laptop and desktop (although my desktop is way beefier and doesn't mind).
Shipping broken product is a typical strategy to gain first mover advantage and try to build a moat. Even if it's mostly broken, if it's high value, people will do sign up and try to use it.

Alternatively, you can restrict signups and do gradual rollout, smoothing out kinks in the product and increasing provisioning as you go.

In 2016/17 Coinbase was totally broken. Constantly going offline, fucking up orders, taking 10 minutes to load the UI, UI full of bugs, etc. They could have restricted signups but they didn't want to. They wanted as many signups as possible, and decided to live with a busted product and "fix the airplane while it's taking off".

This is all fine, you just need to know your identity. A company that keeps talking about safety, being careful what they build, being careful what they put out in the wild and its potential externalities, acting recklessly Coinbase-style does not fit the rhetoric. It's the exact opposite of it.
That's because their training source is human output. Human In Human Out (HIHO).
Show HN: Unconventional C library and web app server
If you want to write web apps in C with mainly server side html, this might be the project for you!

I've been using/developing it for a project to sell photos/videos at surf camps.

test site: https://beta.fluffyspork.com

Highlights:
* builds to a single AppImage for deployment
* all code included that's not a standard linux library
* mostly don't have to write html, generated with code

There are many things in the currently private project that aren't yet moved to fu due to time.
Greater equality is not a "punishment". It's simply a necessity for a functional, just, compassionate society.

In any case, we are all beneficiaries or victims of the past. Children don't start from equal positions. "average per capita wealth of White Americans was $338,093 in 2019 but only $60,126 for Black Americans" https://www.minneapolisfed.org/article/2022/how-the-racial-w...

As stated by the linked article, this is actually a vast improvement from 150 years ago. But let's not pretend that the existence of the racial gap wasn't the result of historical factors. Arguing that we're all equal now would just be sticking one's head in the sand and pretending that history didn't exist.
Not an employment, just a freelancer arrangement.
A "conflict" or false opposition can also be used in a theater like play. Maybe this was setup to get Microsoft to take on the costs/liability and more. Three board members left in 2023 that allowed this to happen.

The idea of boards might even be an anti-pattern going forward, they can be played and used in essentially rug pull scenarios for full control of all the work of entire organizations. Maybe boards are past their time or too much of a potential timebomb/trojan horse now.
It's a little funny to me that the response to "these notifications don't need to be realtime" is "let's make RSS realtime"
> You could pull this trick on any tech company: Google, Facebook, etc.

Part of Musk's response included stating that pro-Hitler posts are allowed on X. Does Facebook allow pro-Hitler posts?
If the news article contains "... caught on video" there's like 50% chance there will be video in that news article.
Well, a good example is given by Yanis Varoufakis (which is, ironically, an economist himself) in his book "adults in the room".

In this book, Varoufakis, which was Greece Finance Ministry at the time, explains how he was tasked to negotiate with EU institutions and IMF to alleviate Greece debts. While he proposes restructuring plans after restructuring plans, nobody even try to argue with him on the plans. They all say that there should be a strong austerity, it is the way to go. At one point, he managed to get a glimpse of what is presented to him as a very complex economical model that he (phd in economy) could not understand and, by looking into the code, discover that it is utterly stupid: the whole agenda of austerity is based on the fallacy that you could raise taxes without affecting consumption.

You could say that my example is only saying that there are good and bad economists and that things go wrong when politicians listen to bad economists.

Well, it turns out that politicians only listen to bad economists (because that’s what they want to hear) which make any influential economist a bad one (because you can’t really make a career as a good one who say things like "give more money to the poor" or "tax the rich").

Varoufakis is an exception here but not so much: he was quickly removed from office once people understood that he would not agree to become a bad economists to stay in power.
NASA has good resources:

https://standards.nasa.gov/sites/default/files/standards/NAS...

https://nepp.nasa.gov/files/27636/NS87395A.pdf

https://nepp.nasa.gov/index.cfm/5511

nice links there:

"Workmanship Problems Pictorial Reference"

https://nepp.nasa.gov/index.cfm/14257

"Links To Required Workmanship Standards"

https://nepp.nasa.gov/index.cfm/5544

which has the two PDFs I linked above, and more
What's the Future of Books?
They only tell you about the second extortion attempt after the success of the first. As I understand it, each gang operates differently, but most are consistent in their approach (e.g. x will always double ransom, but y will never).
That's normally true in a "This is an official statement" point of view, not from a "People have been gossiping to Kara Swisher" point of view. Not even off the record are the board leaking the information, and considering the pressure they're under you could understand why they'd leak it if they could.

This points to 2 things - First, it really is only the board who know the details because anyone else would've leaked it. Second, the board has lost faith in the reason because if they thought it was good they'd have leaked it by now.
I mean they did. Later on, they test all sorts of scenarios. From instructing not to perform illegal activities in general to instructing not to perform that specific illegal activity (insider trading). Both scenarios make this behaviour less likely but still guarantee nothing. The latter (calling out every specific illegal behavior) is also not feasible or realistic even if it did guarantee alignment.
I think I might actually like televised books. I also love cbs or USA type procedurals. Shows like psych or bones or person of interest where you really got to know the characters over 24 episodes and those characters lived in a real fictional world and you knew that the next season was only a year away.

I haven't really been able to enjoy the netflix 8 episode model. Feels like you get 8 episodes of people on plot rails every 2-3 years and half of them get cancelled on a cliffhanger.
Not yet, but I'm curious if that would be a good improvement. Would it really benefit you to gray out one subreddit, and not the rest? Maybe it'd be better to add exceptions instead?
It's not. Ancapistan is basically a small scale absolute monarchy.
AITRON is an abbreviation for Artificial Intelligence for Text and Images Responder ONline. It's a powerful language model created by Anjy's Intelligence, designed to assist with a wide range of tasks, including answering questions, providing explanations, and engaging in discussions on various topics. If you want to know more about Anjy's Intelligence visit https://anjy-intelligence-4091595d8f44.herokuapp.com/
OK.

There's a whole level of carelessness that never occurred to me as a teenager who grew up with CDs.
you shouldn't trust Trust Wallet

there have even been private key exposing bugs in it after the Binance acquisition too

but yes, the conversation is about whether crypto wallets have been approved before in the app store, and that's true, its a seemingly tenuous relationship though
What kinds of costs (time/$) is FAA certification projected to add? I assume there's going to be a lot of scrutiny around a new (for flight) engine tech.
Is there anything "useful" in this dump?

The article mentions citrix and emails, but that could be anything
Yes, this is indeed a replacement for the proprietary driver. However, Vulkan 1.0 is the most basic version of Vulkan. Right now we are at 1.3, plus there are many Vulkan extensions which need to be implemented aside from the core version.

In other words, this is a good start, but with only Vulkan 1.0 you won't be able to use something like DXVK, for running DirectX games with Proton/Wine.
There's almost certainly ITAR-subject data in a Boeing data dump of this size; I'm curious as to whether not paying a ransom counts as releasing it.
This is the Silicon Valley's boy's club, itself an extension of the Stanford U. boys club.

"Meritocracy" is very impolite word in these circles.
>> What do you mean precisely? Removing @inbounds should never leads to OOB access. The @inbounds macro disables the boundscheck.

Oh, that explains it. I thought it enabled a bounds check that somehow allowed code to run rather than fault. So it is a promise to the compiler that the code is correct and doesn't need checking. Composition with arbitrary bounds silently breaks that promise. Go it.
Customers care if your business is in security, especially b2b. Though the biggest downstream effects are probably from security tightening making it more difficult to get anything done.

Source: my company was hit a couple months ago
As I mentioned in another comment, it was very interesting experience for what we had back then, as a full single user graphical workstation OS.

Outside of its original environment, isn't quite the same.

Thanks for sharing your experience.
I wonder if separate LLMs can find each other’s logical mistakes. If I ask llama to find the logical mistake in Yi output, would that work better than llama finding a mistake in llama output?

A logical mistake might imply a blind spot inherent to the model, a blind spot that might not be present in all models.
Actually, the way this timeline is going, I am not sure it won’t somehow end up with Donald Trump as OpenAI CEO.
Yes: https://twitter.com/karaswisher/status/1726599700961521762
They wrote Sutskever as a sort of reverse Bighead. He starts out at the top, actually has tech competence, and through a series of mishaps and random events becomes less influential and less popular.
What product do you think I am buying? A promise that they might find a seat for me if I show up at the airport?

It puzzles me how many people at HN are so eager to defend dark patterns.

If you look at the screenshots with more attention:

1. Google tells me that the free seat selection is included

2. Delta tells me that if I agree to this price, I will be able to reserve the last available seat on the flight (for this price)

3. Once I confirm the price, Delta tells me that I can’t select the seat, it’s not available. I can still buy the ticket, but the offer has changed. Sure, since clearly I need to get on this flight (booking it last minute) - I would rather pay a bit more to make sure I do have a seat.

This is what dark patterns are all about. How is that so hard to understand?
I consider this to be the answer to "cultural appropraition" which people seem to have made up because their hobby is being offended: https://rumble.com/v3wx1mz-is-this-outfit-offensive-students...

I've seen similar videos with Japanese garb too. The offendatrons hate it. The actual Japanese people love that you're enjoying their culture.
CodeWhisperer surprisingly effective as a CoPilot in VSCode—quick, too—and this looks quite useful. Especially the text-to-shell tool, looks frictionless.
Just a reminder they tried the same political hit on Elon at this exact time last year. This is pure party politics. They see him as a threat to their power.

https://jonathanturley.org/2022/11/17/clinton-linked-dark-mo...
I think SML isn't purely functional (although it naturally encourages a purely functional style).
ublock seems to be able to do anything :P

That's good, but I still much prefer a simple toggle, and I'd like to expand it with more complex features as well.
> This is what happens when free market capitalism and anti-competitive rules are absent from your system.

No, this is what happens when technology progresses. Developing technology is an inherently centralizing force. What everyone calls capitalism is merely side effects of technology, it is the primary force shaping human societies.

Read some Ted Kaczynski.
Feels like they're not on board with taking the whole "non-profit, for the good of humanity" charter LITERALLY as the board seems to want to do now.
I played Zelda BOTW, installed the sound system for our home cinema, prepared the room for our future twins, spent time with my wife, made a pear chocolate cake together, had a friend over. It might not be very interesting to you but it was a pretty good weekend for me.
Stop spreading these lies. This cannot be done on any major airline (one large enough to be on a GDS). Airline pricing may be complicated but the way fares are constructed is public.

You may be witnessing:

* An ota changing their markups (which immediately asks the question "why are you paying the markup")

* Differing currency conversions and fares if you're changing the country you're issuing from (but this will reset itself once you actually try to pay)

* Fare class availability (somebody might have just bought the last ticket at that price)

If what you are claiming is true, there'd be far more evidence for it, and ITA Matrix (and hell, OTAs) wouldn't exist as a product. Given how well this is documented, it almost seems like you're disingenuously trying to sell VPN products (especially with your name-drop of a specific product)
> Pro-USD: USD is already more widespread in South America and actively being used in Argentina right now. This advantage is very practical and concrete right now and trump's all else

this needs to be repeated. USD is already the way of doing business in the ARG, and this is essentially just calling it what it is.

this is also seen as a way to stabilize the back-and-forth economic choices that make the currency terrible.

makes sense in theory, but they're an export economy, and a strong USD will make it hard sell beef and mining products.
That doesn't matter. Even the members of the board of a non-profit are liable for all of the fall-out from their decisions if those decisions end up not being defensible. That's pretty much written in stone and one of the reasons why you should never accept a board seat out of your competence.
How do you know what ASI will value?
Freedom of movement doesn't mean freedom to operate any kind of machine anywhere you wish however you wish. Denying you a driver's license isn't denying you the ability to go between the states. Sure you can go from CA to NV, go take a bus or the train or fly in a plane or have a friend drive you or bounce over there on a pogo stick or roll in on a unicycle.
4 billion and continue being an inflation sink (dollar destruction) and the deal with the US gov lets the scam continue.
on the contrary, i think FP (Haskell at least) gives you more & better tools to represent and wrangle side effects
> And tax payer has to foot the ever growing bill…

You might be put at ease to read all that debt is a hallucination humanity has no obligation to pay.

Also after decades in IT hearing about one lapse in security after another (including entire iron mountain trucks being robbed back in the day) yet society seems capable of shrugging them off, it’s hard to take the anxiety seriously.

It’s possible the CEOs are not the only people in IT inflating the value of their contributions and ideas.
If they already have the IP, what access do they have to lose?
Data ransoms have existed for a long time before "ransomware" was even really a thing - there's just never been a market for ransoms for the "stolen" data. Once it's out you can't put that genie back in the bottle.

The reason ransomware worked was you didn't have to trust the group long-term - just enough to give you a copy of your data back.

It's the difference between you making a copy of my car keys and stealing them. Yes, I will pay for "a" key back - I only have to trust you enough to hand it over.
> it was also the name of an innovative (at that time) operating system

it was also an example of a complete system (from hw through os + dev tools to apps) which had been developed by only two people.

I thoroughly enjoyed Wirth's excuse for an FPGA re-implementation: "no commercial machines would talk to my favourite mouse —given to me as a parting gift from my Xerox sabbatical— so I built a workstation that would"

(He once gave a slideshow of the workstations he'd designed over the years, and although the displays got bigger, and the cpu and storage got smaller, the mouse remained the same...)
Yes, this is the letter: https://twitter.com/karaswisher/status/1726599700961521762
strictness!
Something tells me one would have to read the article to understand why the headline is like that, as opposed to take it as a literal statement. But this is HN, and we neither read past the headline nor allow for non-literal interpretation of things, so I will just sit here and nod in agreement.
I want to know the following:

How affordable is a house today vs 5 years ago vs now? How about rent?

How affordable is college 5 years ago vs now?

How affordable is healthcare? Daycare?
Just plain old draw.io:

https://www.drawio.com/doc/faq/math-typesetting
Which is super unfortunate since the other 3 might vote out Ilya now.
I don't think in the case of airlines we have the option to care. We are just kind of stuck with whatever the government-backed airline oligarchy chooses to do. The airlines would be the ones to have to care for it to matter. When the 737-MAX crashes occurred many frequent travelers, including myself, flat out refused to fly 737-MAX even after we were given assurances by the regulatory bodies. But after a while it just didn't matter. Life goes on, your company will book you on the plane that's the cheapest or part of their plan or whatnot, and you just get stuck being a cog in the wheel again.
Diversity Taxes? Not aware of that on my paycheck. Maybe time to check out alternative sources of information than what you typically ingest.
that makes sense, both Paypal and Cash App offer buying, selling, depositing and withdrawal of crypto with great ease

be careful what they wish for though, Apple may solve this by accelerating the more obvious reality of integrating crypto payments and balances in Apple Wallet directly

but that's how crypto works, it always gets more resilient upon challenge. everything slightly harder about crypto that builders were willing to ignore, suddenly become no brainers when faced with a challenge.
> 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!

I disagree! I've been working on a macro-heavy Rust project with both proc and declarative macros and the tooling makes them better. I'll add that there is immense value in turning repetitive code into "spreadsheet" style tables of data as well as being able to combine const expressions to get user controllable compile-time errors.
Lol, thanks. I'll check it out. But, is the license such that you need to give permission? I see that you have a "commercial license" but it seems like that wouldn't apply to me anyway. I don't know much about software licenses tbh so some clarification would be nice.
Comments moved to https://news.ycombinator.com/item?id=38348671.
Being in the air force I have the dubious privilege of getting to maintain some old ass-technology. Radar being amongst my favourites. We've since upgraded to comparatively modern technology (digital!) and gotten rid of most of the vacuum tubes but I still have a special dark place in my heart for the old mixed signal system running on CRTs, wire wrapped boards, tapes, and core memory.

Interestingly while the new system is much nicer to work with, much better resolution and features I didn't think were possible. The old system had power, and lots of it, and sometimes power is what you need.
I’m still waiting for the site to go down. After Musk laid off 80% of the staff, HN and Reddit were adamant that the infra was far too complex for the remaining employees and a few Tesla/SpaceX engineers to figure out and keep running for more than a few months.

Any day now…
Well, they're almost certainly 'not profiting' right now.
I doubt it's human ego but purely game play. The board directors knew they lost anyway, why would they cave and resign? They booted the CEO for their doomer ideology, right? So, they are the ethics guys and would it be better for them to go down the history as those who uphold their principles and ideals by letting OpenAI sink?
There are circumstances where it's a perfectly valid solution. For example, suppose you're trying to acquire the lock on something to destroy it. It can be the lesser of two evils just to leak that memory instead of just waiting forever/a very long time to acquire that lock. You just need to ensure that you aren't leaking memory too quickly for whatever your constraints are. For example, most programs wouldn't care about a 1kb/day leak of memory because that would take a very long time to actually become noticeable. Furthermore, there's pretty much always some degree of memory growth just due to heap fragmentation (at least if you're using a language like C which can't do memory compaction via GC).
— If you don’t give me 10k$, I will tell the authorities that you have paid a ransom of 100k$.
— Ok, here’s the money.
— Thanks. If you don’t give me 10k$ more, I will tell the authorities about our previous deal.