skysight-inc/HackerNews huggingface dataset:
"Lisp" is pretty broad. Whilst it was inspired by Lambda Calculus (the core of most FP languages), a lot of Lisp code is quite imperative (loops, mutable variables, control flow separate from data flow (e.g. exceptions/errors), etc.).

Scheme (and its dialects/descendants) tend to stick to a more functional style (although they also like to do stack-gymnastics with continuations, etc.). Many courses are based around Lisp.

One of the main features of the ML family is static typing, with algebraic datatypes, pattern-matching, etc. (i.e. the stuff that new languages like to call "modern", because they first saw it in Swift or something). That gives a useful mathematical perspective on code ("denotational semantics", i.e. giving meaning to what's written; as opposed to the common "operational semantics" of what it made my laptop do), and having type checking and inference makes it easier to do generic and higher-order programming (dynamic languages make that trivial in-the-small, but can make large systems painful to implement/debug/maintain/understand). This course seems to take such abstraction seriously, since it covers modules and functors too (which are another big feature of the ML family).

NOTE: In ML, the words "functor" and "applicative functor" tend to mean something very different (generic, interface-based programming) to their use in similar languages like Haskell (mapping functions over data, and sequencing actions together)
A lot of people don't run multiple at a time.

It can make it more expensive if that option becomes popular.

But I think in most cases batching is actually the biggest _improvement_ in terms of cost effectiveness for operators, since it enables them to use the parallel throughout of the graphics device more fully by handling multiple inference requests (often from different customers) at once. (Unless they work like Bard by default).
Carelessness for who? Alman for not refilling the board when he had the chance? Others for the way they ousted him?

I wonder if there were challenges and disagreements about filling the board seats. Is it normal for seats to remain empty for almost a year for a company of this side? Maybe there was an inability to compromise that spiraled as the board shrank, until it was small enough to enable an action like this.

Just a hypothesis. Obviously this couldnt have happened if there was a 9 person board stacked with Altman allies. What I dont know is the inclinations of the departed members.
I would hardly call it "solved".

Your argument is based on ignorance of how sales tax/VAT codes work. Believe it or not, but tax people and businesses have been dealing with these issues for over a century now and they've mostly figured it out.

It is ostensibly a luxury for the well-off.

No, even for the well-off it is still a medicine.

Parmigiano Reggiano DOP aged 48 months is arguably a luxury, but generic parmesan cheese isn't.

In places where it matters, the sales tax codes can get as granular as they need to address this. They don't need a dedicated bureaucracy to make these determinations: it's either handled by the legislature or a very small team, since determinations like this are infrequent and don't require dedicated staff.

In this particular case: both DOP and regular generic parmesan are classified as foodstuffs by CA and neither would be subject to sales tax.

but it leaves much to be desired from a "fairness" perspective

Someone buying a budget car should be taxed less than someone buying a luxury car, regardless of the wealth or income of either buyer.

It's not like they buy 100x more luxury items because they make 100x more. Most of their money is spent on investments, not consumption.

Indirect taxes are not consumption taxes. They are transaction taxes, and investment transactions can be taxed under a sales tax, GST, or VAT regime. Some jurisdictions do tax investment transactions. In the U.S., taxing investment transactions has been proposed many many times over the past few decades. Wall Street have managed to beat off that proposal through profligate lobbying but every time the proposal pops up it gets more support...
Can't share the thread because of the images, and ran out of GPT usage by Day 20 - but The Torment Nexus is going to change everything:

Day 20, December 9, 2023

Description:
The VIP reception prior to the launch of The Torment Nexus is a dazzling affair. OpenIA's team and key stakeholders are in high spirits, mingling and discussing the impending launch. The reception is a perfect blend of high-tech allure and startup vibrancy, setting the stage for what promises to be a groundbreaking event in the AI industry.

Stats:

AI Power: 0.0045 (the excitement is fueling development)
Cash Reserves: $320,000 (investments and sponsorships flowing in)
Employee Count: 15
Profits: $0 (but the launch promises great potential)
Cofounder's Morale: Euphoric (proud of the journey so far)
Userbase: Soaring (VIP reception adds to the hype)
Capriciousness and board membership are not compatible. The firing of a CEO of a massively successful company is something that requires deliberation and forethought, you don't do that just because you have a bad hairday. So their reasons matter a lot.

What I think is happening is that the reason they had sucks, that the documents they have create more liability and that they have a real problem in that one of the gang of four is now a defector so there is a fair chance this will all come out. It would not surprise me if the remaining board members end up in court if Altman decides to fight his dismissal, which he - just as surprising - so far has not done.

So there is enough of a mess to go around for everybody but what stands out to me is that I don't see anything from the board that would suggest that they acted with the kind of forethought and diligence required of a board. And that alone might be enough to get them into trouble: you don't sit on a board because you're going off half-cocked, you sit on a board because you're a responsible individual that tries to weigh the various interests and outcomes and you pick the one that makes the most sense to you and you are willing to defend that decision.

So far they seem to believe they are beyond accountability. That - unfortunately for them - isn't the case but it may well be they escape the dance because nobody feels like suing them. But I would not be surprised at all if that happened and if it does I hope they have their house in order, board liability is a thing.
Probably the only real take-away from all of this.
Official announcement on 20 Nov 2023 21:03:17 UTC:

* https://lists.freebsd.org/archives/freebsd-announce/2023-Nov...

* https://news.ycombinator.com/item?id=38354918
The dark pattern here is that you don't actually have to choose a seat. You can click they disabled-button-colored continue button, click through the warning about not choosing a seat, and avoid paying for the seat choice cost (on each leg there and back).

As a solo traveller, you may not care. As a family you really don't want to be seated away from your kids. If you don't pick seats, will you get seated together? Who knows. Depends on if enough other people who want to pay to pick seats leave enough seats together for you... on a popular flight, that's doubtful.

So it's not just people choosing to pay for a luxury, it's a tax on people who don't know they can skip the step, and on families who may know, but can't roll the dice.
AI embeddings support for SaaS use-cases in Postgres
The 8088 has a four-byte instruction queue, and at times when the data bus would otherwise be idle the bus interface unit will prefetch the next instruction byte. So fetch and decode/execute are already overlapped.

What really slows down the 8088 is that each 8-bit transfer on the data bus requires four clock cycles. That means simply fetching the two-byte instruction requires eight clocks! Instruction fetch is so slow on the 8088 that it's virtually impossible to achieve the published instruction timing.
No problem. Unfortunately every TV company has its own name for it (Anynet, Simplink, Bravia Sync) which doesn't make it obvious it's a proper standard.
Given how bad the current Github UI is (and how sloppy the rollout was) I'm quite content to attribute it to incompetence rather than malice, but:

Type a long blurb into a text input widget e.g. a comment on a pull request. The text just bounces up and down as you type. I've noticed this with whatever the extended support version of Firefox (macos 10.14) is and with the current Firefox (macos 14.1). To be fair GH renders widgets partially off screen with whatever version of Safari comes with macos 10.14 There is no more static text on GH so if you go back further than that (or have javascript disabled) nothing renders at all.

There's no issue tracker (because why would there be?) but there was a discussion thread. Last I saw someone posted detailed steps to reproduce a search bug and the GH response was to lock the discussion thread.
Do you if any of the course material is available online or as a MOOC?
Well, first, I'd expect Boeing already had some idea of the scope of what was compromised simply by investigating their own systems. After all, they knew enough to declare there was no impact on flight safety.

And second, even if a company has no idea of the scope, the hackers would somehow want to prove at least privately what the scope was, else their threat is not as manipulative as it could be. On the other hand, the hackers can't credibly bluff and inflate the scope too far beyond reality because the company can just say "prove it or I don't believe you and I won't pay." And the hackers want to get paid.

It's a business deal after all. A really crappy one involving criminals. But at the end of the day, the company must have already assessed the value of the leak in order to reach a decision.
Size of the dump means nothing, on one extreme it's a single 45GB video file of a security camera looking at nothing.
I think a lot of the work for serving 800Gbps of TLS encrypted traffic from Netflix landed on FreeBSD 14.

Cant wait to see if they are doing 1600Gbps.
Sam was sitting on the board, obviously not independent of the CEO.
As if the FTC are intelligent or equipped or motivated enough to do anything other than chew popcorn like the rest of us.
Which I take full advantage of when the output is like 90% correct but the "fix" requires a bit of refactoring, I just tell it what I want and presto. Faster than doing it by hand.
But it does cast a pretty dark shadow over the AI community.
It's a lot like SEO optimization and the chicanery that goes on there: Airlines know that customers (a) are using ticket comparison sites like Kayak and Google Flights, (b) customers sort by price, from lowest to highest, and (c) as with Internet search results, customers tend to click on links on the first page w/o scrolling.

"Unbundling" options permits non-ultra-budget airlines to move toward the top of that list, and then make the money back by offering extras during the checkout.

Now, if sites like Google Flights and Kayak would give customers the ability to tick checkboxes saying, "I want a ticket with these unbundled extras," and sort according to the final price, that could potentially re-arrange the field, but who knows? The airlines would probably find another dodge around it.
Nit: it’s an impasse, not an en-passe.
You're assuming it's their real name...
As the paper suggested, the LLM cannot identify their own mistakes yet though.
And they can only fix their mistakes if the mistake location is given.
I think that's the future Apple sees and I agree with it. WiFi is an outdated technology with security flaws. Cellular is encrypted and maintained centrally. For indoor access all you need is an AP repeater and daisy chain that, unlike Wifi which needs to be configured, goes down, etc.

Wifi is in the same boat as the 3.5mm headphone jack
I've also noticed LLMs seem to lack conviction on the correctness of their answers. As the paper notes, you can easily convince the transformer that a correct answer is wrong, and needs adjustment. Ultimately they're just trying to please you. For example with ChatGPT 3.5 (abbreviated):

me: what is sin -pi/2

gpt: -1

me: that's not right

gpt: I apologize, let me clarify, the answer is 1
I worked with Delphi for many years, and from what I saw Borland dug their own grave. I did commercial work with Turbo Pascal last century, and I can say that even that far back Borland was run horribly. And they've gone a long way downhill since 2000 (I have a friend still using Delphi and Embarcadero is terrible). Microsoft with VB spanked Delphi 2 (a Borland highlight) back in mid 90s.

I really think you don't know what you are talking about. Delphi 7 was released in 2002 and you were "in high school in the early 2000s". We all love a good narrative, but yours has no base to belong to.
Silicon Valley lore is way too complex at this point; needs a reboot. I'd rather start One Piece from scratch.
Do the recent developments of around 700 in 770 people calling for board resignation answer this in your opinion?

I am genuinely asking for your view, not trying to sound sarcastic, as you may consider that this is just a vague threat and doesn’t count. To me it does, although obviously I wouldn’t say 700/770 is that fraction. The fraction of people feeling strongly about him in particular is a subset of this. It must be lower, but I’d say still quite significant — definitely above 20% of the company if I had to bet!!
every time my food delivery driver is on a moped, I get my food 3x faster than by car, and often half of the estimated delivery time. haven't seen an e-bike driver yet.
Carelessness from the perspective of those downstream of the board's decisions. Boards are supposed to be careful, not careless.

Good primer here:

https://www.onboardmeetings.com/blog/what-are-nonprofit-boar...

At least that will create some common reference.
For this exact reason I have in my backpack an always-on portable Huawei 4G Wi-Fi hotspot[1] plugged to a Power Bank. I can't wait to get rid of it.

[1] https://consumer.huawei.com/ie/routers/e5577/
Indeed. perhaps it is an example how a small change like the departure of the first member can cause things to spiral out of control.
Introduction to Gorilla LLM
>My flippant response

The word you are looking for is disingenuous. Sam has a history of this, Ilya does not.

But in an industry deeply confused by EA, the stance is of course an unpopular one.
In the case of ITAR, not exporting means limiting access to US persons only. I suspect this could be a violation, even if unintended.
> But (while you're at home) you control the WiFi access point and so can still ultimately control the traffic

Most people cannot do this. Also an increasing number of people don't have wifi at home but just use their phones.
Because half the time companies can’t be trusted to even admit there’s a leak, let alone the severity of it.

Groups that leak are likely to want to inflate the severity of the leak to ensure they get paid.

The larger a leak, the higher the probability there’s sensitive information in there, and the better opportunities/more time attackers had to exfiltrate it.
Finally FreeBSD has fast WiFi?

"WiFi 6 support has been added to wpa (wpa_supplicant(8) and hostapd(8)). c1d255d3ffdb 3968b47cd974 bd452dcbede6"
https://www.freebsd.org/releases/14.0R/relnotes/
I was intrigued to find a green-cover US passport on that second site; I had one (they were issued in April 1993 to March 1994 for the 200th anniversary of the US Consular Service).

Finding out why it was green was suprisingly hard at the time.
The conclusion is very much true: “The book has to be a book that people actually want to read,”.
It takes a particular perspective to tell a (presumed) human being "you are not special" and implying that a stochastic parrot has the same level of personhood.

A statistical model of language patterns is not a person. A statistical model of language patterns is not a living thing. Please go touch grass.
The AI Proxy from the post is for using multiple local and remote LLMs over the OpenAI API (along with API key management apparently), while LocalAI is only for using local LLMs.
And judging by the comments in here, most people are OK with it because we shouldn't demonize an "effective" form of identification.
A for profit company can simply be the vehicle required to take investments that the non profit was forbidden. I doubt the non-profit parent company board ever intended the sub to be a runaway profit maker and anyone going to work for a sub of a non-profit would probably be aware that the potential there was capped compared to traditional for profit corps.

I say this as someone with 20 years of Mozilla employment, the first couple in the non profit Mozilla Foundation and then about 18 years in the taxable subsidiary. The sub is technically taxable, so "for profit" but it was never created to make people rich, but rather to allow Mozilla to reap some profits and grow it size and influence, which it did, reaching about 30% browser market share.

The structures were similar but likely different in material ways, as there was zero equity at MoCo, nevertheless, if you go to work for an arm of a non-profit, expecting to get rich, you're probably not reading the fine print carefully enough.
Let's just skip to the part where the board is gone and Altman back, shall we? It's inevitable at this point.
> good corporate governance absolutely demands that the board be independent of the CEO

CEOs and subordinate executives being on boards are not unusual, and no board (especially a small board) that the CEO (and/or subordinate executives) sits on is independent of the CEO.
Given that Apple has struggled to get modems working (while avoiding qualcomm's patents) this is still pie in the sky, much as I would appreciate this.

I have hotspot on my phone and it’s handy, but has some friction. Computer and ipad go into “limited data” mode when using it. Also, unlike my phone data, I am only given a finite allotment and when used up additional amounts are quite expensive (USA - AT&T).

A couple of months ago I was on a trip and signed up for mobile service for my ipad, for these reasons. It is so much more convenient that I renewed the subscription. I’d do the same for my computer just for the low friction, if I can get an unlimited tariff like I have on my phone and watch.
Unless D'angelo has some expensive eight figure lifestyle, he's not going to a poorhouse anytime soon.

> He was chief technology officer of Facebook, and also served as its vice president of engineering, until 2008.

> D'Angelo was an advisor to and investor in Instagram before its acquisition by Facebook in 2012.
the entire US economy it seems is contingent on not doing anything properly, including paying reasonable wages
I want to love FreeBSD, but there are some things I wished were easier. Like getting the firewall pf set up. When I install Debian with ufw I get a really nice starting ruleset that works well with IPv6 and good ICMP filtering etc. With FreeBSD I was confused for awhile about how to get IPv6 working with (the very powerful) pf, which you have to write a config file completely from scratch for. I was left with a lot of suggestions and snippets but struggling to dig through the man pages and set all the complex rules for which types of ICMP messages to filter, etc. I wish there was an easier way to get going with the firewall with a good ready-made pf.conf file for a web server that works well with IPv6. Yes the power and easy customability of pf is great. But for many users who aren't network experts, some nice, accepted starting templates would be great.
Drug harms in the UK: a multicriteria decision analysis (2010)
I don't know why you're being downvoted, because the answer is mostly yes.
If I were building an API service, I think I would want control over the security around the API and the site doesn't describe in depth how the actual customer's data is secured, just "assign a random token".

What domain would this white-label admin interface reside on if a sales/signup page and my actual API endpoints are on my domain for example? Wouldn't customers find it jarring to be going to "myawesomeAPI.com" to signup and then the domain for actual API calls ends up on "resteasyapi.com"?
Full release notes at:

* [1] https://www.freebsd.org/releases/14.0R/announce/
Maybe it's because I use Google Flights, but all of that information is front and center. I've never had to dig for it.
> So please tip your delivery rider. I always did before, but now I tip even better.

Better yet, tip partly/fully in cash so the app doesn’t know the true value of their earnings (especially with inevitable lawsuits and settlements that may deduct tips when doing minimum wage calculations).

Personally, I don’t like tipping in advance of receiving a service.

I’m in Canada, so it’s a good way to get rid of my $1 and $2 coins (and some minority of quarters).
> come with curiosity

Indeed, and I was curious as to your answer. There were a number of people a couple days ago, who were talking about the mission, and how its a non profit, and that it was important to stay with that mission.

And I was curious to see what those people think now.
Or at least say what the 45GB (for this example) of data compromises. As you say, if it were video files, that would add up pretty quick, but if it were 45GB of emails, then that's a hellalotuvdata. That would be the equivalent of a hostile law firm dumping a truck load of banker boxes on a smaller law firm to bury the lede.

Kind of like saying I have 10. 10 what? As my math/science teachers always said, don't forget to include your units.
You better pay up or we'll delete all of Marge and Victors email backups!
> Boeing sucks as it's primary business is now hyper focused for defense purposes

This is a childish 2000s take. The world is rougher, Pax Americana is over, we need effective defense contractors because the world is full of assholes. Grow up.
That depends on the amount of damage you cause.
[Maybe disregard this, as I'm not your requested audience, and I realize this is a tech/biz post to HN and you are deep in the details of confronting the unknown, but...] I think for pitch-deck/public communication, as soon as you say "hydrogen aircraft", immediately address or at least acknowledge "what could possibly go wrong-Hindenburg" and "why not batteries" (not para 3).

EDIT you could defer the issue with "Fuel cell electric aircraft"

BTW The first solar+battery electric aircraft world-circumnavigation got hardly any publicity, which puzzled me https://en.wikipedia.org https://news.ycombinator.com/item?id=9824570/wiki/Solar_Impu...

EDIT Since I'm already downvoted, I'll add: I wonder about fuel cells for powered paraponts/paragliders, where battery-electric are available, but aren't quite there yet vs petrol, esp for range.
Will you use electric motor from your previous company magnix?
how do those motors compare to this other YC company h3x that is making electric motors for planes? https://news.ycombinator.com/item?id=26224709
I think a lot of us reach for Jinja-style templates so it feels a little more like we're writing bare HTML. But they're of course still just templates, and they need a build step before they become valid HTML.

So it's true, if you're willing to use a DSL embedded in your server language (like JSX), then you'll have the full language tooling available to you. And this probably isn't giving up much over language-specific templates.

A JSX-equivalent for the Rust server-side rendering world would probably be maud [1] or leptos [2].

[1] https://github.com/lambda-fairy/maud

[2] https://github.com/leptos-rs/leptos