skysight-inc/HackerNews huggingface dataset:
> Personally I basically always choose to annotate them except in the very specific situation of writing beginner introductory materials, when it's not a given that the reader actually knows how to read the annotations yet.

Having just gone through your tutorial (albeit not yet with a computer in hand, that's the next step), might I suggest putting those annotations in anyway? I suspect most of the people reading the tutorial will already be programmers, and one of the most useful things I've found when reading tutorials and guides is when the code examples look as much like real code as possible. When I'm reading that initial documentation, I'm not just trying to figure out what's different about this language from other languages, but I also want a sense of what it looks like to actually read and write idiomatic code in that language - what sort of formatting conventions are there, what do variable or type names typically look like, are there any common idioms, etc. Ultimately, my goal is to get up to speed and begin writing productive code as quickly as possible, so seeing type annotations everywhere is a sign to me that type annotations are good practice and something to get used to.

In general, I found the tutorial a bit too aimed towards someone learning their first programming language, which is a demographic that I suspect are unlikely to be using Roc any time soon! Even if they are a demographic you're targeting, I wonder if they'd be better served by a separate explicit "Roc as a first programming language" document that goes through the basics. Then in the main document, do some repl stuff at the beginning, but move quickly on to what regular development work might look like - starting a new project, writing functions with types, using tasks/effects, adding tests, dependencies, etc.

With all that criticism out of the way (sorry!) I do want to say that I love pretty much everything that I've seen so far, especially the focus on practical usage. It's great to see an example CLI and an example web server right on the home page - I feel like these are often left as complete afterthoughts for these sorts of languages, but they're the sort of real-world programs that dominate software in the industry.

I'm also really excited to have a play around with the effects/tasks system. It looks really powerful, but not too complicated to actually use as a base abstraction.

And I agree that having powerful type interface can be a great tool, even if you supplement it with type annotations for the sake of explicitness. Is there an explicit type hole mechanism as well, for getting the compiler to spit out the types it expects?
Or at least the ZZZ corps if they made it that far down the alphabet.
There is a big difference between AI generating a piece of picture which you completely observe, and AI generating a piece of code that may contain a subtle, hard-to-spot bug.

In both cases you're also risking being accused of plagiarism, when the model literally remembers, or reconstructs, a piece it has seen, and finds it perfectly matching your request.

I think "AI" tools in Krita may have their place: object detection and selection / tracing, upsampling, seamless resizing, cutting and pasting, texture generation, light adjustment, stuff like that. An integrated analog of DALL-E or Midjourney would likely be a poor for.
I just re-ran this on GPT-4 and it apologized, told me I was right, and then said again that the answer was -1. So while it lacked conviction it at least kept the correct answer.
> - ZFS has been upgraded to OpenZFS release 2.2, providing significant performance improvements.

Post-2.2 OpenZFS has RAID-Z expansion committed:

* https://github.com/openzfs/zfs/discussions/15232

Also committed to FreeBSD -HEAD/development:

* https://github.com/freebsd/freebsd-src/commit/e716630d4cf89e...
> While they sit there holding my passport hostage, scrolling through who knows what data

Legally it's their passport, not yours. A passport is the property of the US government at all times.
Windows is on a lot of desktops but I think it's fair to say the world runs on Linux, if the US Government ever wises up to this; maybe they will develop the balls to act in America's best interest and split Microsoft, Google and Amazon. And really split Microsoft up this time, not like the late 1990's when they threatened too then suddenly Bill and Bill were photographed golfing together and to no-one's surprise, the DOJ dropped the effort to split Microsoft up.
During the founding wave the bulk of the poor were convicts.

During the founding of non convict colonies (Adelaide, Perth, etc) there was the mega rich of the day - second sons shipping out with entire households to establish footholds and means of trade, and their servants (by the terms of the day these were people with a position and a wage albeit not great).

The trying their luck in a gold rush etc crowd came after the founding of the main colonies, some convict, a number not.

FWiW in my estimation "Had a criminal record" | "was a convict" is distinct from "was a criminal" - the first two are a matter of record, the third is more of a judgement call of character.

Many sent to Australia as convicts had character, ethics, a trade, and were victims of circumstance, poor economics, the wrong politics, the wrong class, etc. rather than being of some essential criminal character.
If breaking a law results in just a fine than there are no laws for the rich.
Recruiting tool??? Wow. I mostly enjoyed reading it - but it seemed to be a crackfic, set in an apocalyptic Harry Potter / Revelations / Bizarro World alternate reality. With the not-so-subtle message that rationalism would be quite maladaptive if not malevolent in anything resembling our universe...
Why do they care, though, if their margins are going to remain at X% anyway, because of market forces? They're just adding extra steps to the whole thing so a random passenger can benefit from my lost ticket money, rather than someone I explicitly choose.
Basically.

For our particular use case, I think we're actually not using notify events. We just insert rows into the outbox table and the poller re-emits as kafka events and deletes successfully emitted events from the table.
Well for starters, it isn't A versus B through Z, it's more like A through H vs I through Z. And the problem is that even if I through Z do stay home, the infections, transmissions and re-infections between A, B, C, D, E, F, G and H all carry with them a minor chance of a mutation in the virus itself, which can make it more threatening to more people, or transmit more effectively, what have you.

Secondly, a whole lot of the downplaying of COVID as a whole and the opposition to masks/mandates/business stoppages was decidedly not rational and was in fact deeply rooted in conservative/libertarian culture war nonsense. If you wanted to go out, without a mask, and open yourself to that risk in full understanding of it, fair enough. The thing is with the amount of disinformation it's extremely dubious how many people did that with that understanding. And, more to the point, that risk is simply not isolated to you, that actor: that risk is shared by you, your co-habitants, your neighbors if you live in an apartment or condominium, your coworkers if you worked in person, and anyone else you happened to be in contact with. And, due to the long incubation period before symptoms showed, it was entirely possible you could get infected and spend upwards of a week spreading it around before you even realized you needed to quarantine. So saying "I'm not concerned about covid" sounds fine on paper, but you're exposing numerous people through your decision to greater risk, and they should have a say in that too, don't you think?

And to be clear: I am not in the slightest opposed to giving businesses money to survive those weird circumstances, that makes complete fucking sense to me. The part that doesn't is that while business got hundreds of thousands of dollars, people got... what, $2,200? Over the course of a year and a half. Fucking peanuts by comparison.
No. It reminds me more of Muddle [1] Ages' intrigue, scheming, and backstabbing, like the Medicis, Cesare Borgia and clan, Machiavelli (and his book The Prince, see Cesare again), etc., to take just one example. (Italy not being singled out here.) And also reminds me of all the effing feuding clans, dynasties, kingdoms, and empires down the centuries or millenia, since we came down from the trees. I guess galaxies have to be next, and that too is coming up, yo Elon, Mars, etc., what you couldn't fix on earth ain't gonna be fixable on Mars or even Pluto, Dummkopf, but give it your best shot anyway.

[1] Not a typo :)
Hanlons razor is true because it’s more entertaining, and our simulation runs on stories as they’re cheaper to compute than honest physics.
Firefox has been fairly meh for me performance-wise, and tends to absorb memory over time. I kinda expected that with a few hundred tabs open.

What I didn't expect was how sluggish Firefox (119.0.1) would become on a brand new machine with around 20 tabs open. By the time I restarted it today, switching to Firefox and acquiring focus took about 2 seconds. I've a grand total of 3 plugins (FB Container, Multi-Account Container, uBlock Origin) installed.
I agree with the sentiment but at least they didn't get away with it.
gpt-4: Actually, the value of \(\sin(-\pi/2)\) is indeed \(-1\). The sine function represents the y-coordinate of a point on the unit circle corresponding to a given angle. At \(-\pi/2\) radians, which is equivalent to 270 degrees or a quarter circle in the negative direction, the point on the unit circle is at the bottom with coordinates (0, -1). Therefore, the sine of \(-\pi/2\) is \(-1\).

=====

The smarter it is, the more conviction it has. GPT-3.5 has a lot of impostor syndrome and it's probably deserved lol. But GPT-4 starts to stutter when you give it enough math questions, which aren't its forte.
Yes, but only if your card's driver does too. Mine uses iwm [0], which makes me sad:

>Currently, iwm only supports 802.11b and 802.11g modes. It will not associate to access points that are configured to operate only in 802.11n or 802.11ac modes.

Thankfully, 802.11a seems to work, so I can use my 5 GHz radio. But it's not fast.

[0]: https://man.freebsd.org/cgi/man.cgi?iwm
WeWork Inc. Case 23-19865 (Chapter 11 Bankruptcy)
Correct, which is why microsoft must have openai's models at all cost - even if that means working with people such as altman. Notice that microsoft is not working with the people that actually made chatgpt they are working with those on their payroll.
And it quickly feels personal…
Winmodems were a serious plague for everybody (except modem manufacturers).
Using that framework, I still think it is possible that this is the result of legitimate and irreconcilable differences in opinion about the organization’s mission and vision and execution.

Edit: it is also common for changing circumstance to bring pre-existing but tolerable differences to the relevant Forefront
Is Emmett Shear really "friends" with Sam Altman? He (Emmett) literally liked a tweet the other day that said something to the effect of: "Congratulations to Ilya on reclaiming the corporation that Sam Altman stole". I'm paraphrasing here, but I don't think Emmett and Sam are friends?
Can they reclock the memory and processing cores to the rated speeds, voltages to the rated voltages, and fans to the speeds that prevent things from melting? That's been _the_ stumbling block for a long time, although maybe that's changed in the last year or two.
The lesson is that hiring "ZZZ Lawn Care" is a really bad idea.
Yeah, that doesn’t make it any less terrifying…
It was not impressive at that time, because didn't achieve any quality breakthroughs. Later adapters of transformers like GPT and Bert achieved it with impressive results.
CEO Transition Announcement: April 25, 2024

OpenIA, in a pivotal board decision, has announced the termination of its current CEO. This bold move reflects the company’s commitment to aligning its leadership with its founding principles of responsible and ethical AI research and development.

Current Stats Post-CEO Change:

• AI Power: 100.0 (maintained with a focus on ethical applications)
• Cash Reserves: $950,000,000 (after transition costs)
• Employee Count: 1,000 (steadfast in their mission)
• Profits: Stable (ethical AI solutions continue to be in demand)
• Cofounder’s Morale: Renewed (embracing a new chapter)
• Userbase: 8 billion (engaged and supportive of the change)

Immediate Actions:

• Appoint an Interim CEO - A leader aligned with ethical AI development.
• Reevaluate Company Strategies - Ensure alignment with ethical standards and social impact.
• Strengthen AI Ethics Committee - Reinforce the company’s commitment to responsible AI.
• Community Engagement - Increase transparency and involve public discourse in AI development.
• Global AI Ethics Summit - Host a summit to set new standards in AI governance and ethics.

Moving Forward:
OpenIA, under new leadership, is poised to redefine its role as a leader in AI, focusing on innovations that prioritize the betterment of humanity and adhere to the highest ethical standards.

As OpenIA enters this new era, what initiatives or directions would you prioritize to ensure its success and alignment with ethical AI development?
a lot of people with student visas in Canada choose to do it since they're limited to 20hr/week of work. You make a bit more money doing ~30 hours of Uber eats with 20 hours spent actually delivering food than working 20 hours at minimum wage.
Yes, and that money needs to have a certain value.
Just one data point: stock buybacks are a big deal.

Naturally, the money inflates the price of the stock and the wealth of the major shareholders, rather than into the company itself.
It's like Game of Thrones - without the intelligent intrigue.
> hardcoded set of public keys that include an SGX attestation from those instances.

You mean:

1. generate a public/private key in enclave

2. generate attestation from SGX enclave with public key hash.

3. seal the public/private key somewhere so it can be reused later, otherwise pc restart or app failures / no data.

4. publish source code that generates mrenclave somewhere that can be audited.

5. encrypt in place and assume remote trusts you when you say data was only exfiltrated encrypted or not at all.

Now, 5 is the problem i mentioned. Why would anyone trust that data was not exfiltrated unencrypted and copied a few times.

> and the unencrypted plaintext never leaves the victim organization.

You also mentioned this to be fair. Why would this be trusted?

6. Release data if no payment on bitcoin.

SGX enclaves do not have magic trusted access to network to get bitcoin payments data.

It can be man in the middled or fooled by omission by who controls machibe.

So key can be releases by feeding it bad data (payment was not done and time expired - release to the world).

There's also the problem that attestation might lead to the originating group if cpu is identifiable.
Yeah around 1.5mb transferred but less of an issue with caching of course.

You also won't have something nice like $$ or \[ \] and will have to put the

<script type="text/tikz">
\begin{tikzpicture}
...
\end{tikzpicture}
</script>

tags directly in your markdown, if that even works.
A built-in cell modem in Macbooks also means additional partnerships with telcos like with the iPhone, iPad, and Watch. Right now there's a clear line between a telco and an Apple laptop. With cell enabled devices, telcos can sell a lucrative "subsidy as a lock in" discount.
*Crisis Management: April 26, 2024*

OpenIA faces a major internal crisis. The CEO's departure, coupled with the threat of mass resignations and the loss of the AGI project, has plunged the company into turmoil. The board's decision has sparked a widespread backlash among employees who demand their reversal.

*Critical Stats During Crisis:*
- AI Power: 100.0 (at risk due to AGI project uncertainty)
- Cash Reserves: $950,000,000 (facing potential destabilization)
- Employee Count: 1,000 (on the verge of resigning)
- Profits: At risk (due to potential loss of talent and technology)
- Cofounder's Morale: Critical (facing unprecedented challenges)
- Userbase: 8 billion (concerned about the company's future)

*Urgent Actions Needed:*
1) *Negotiate with Employees* - Address their concerns and negotiate a resolution.
2) *Attempt to Retain the AGI Project* - Negotiate with the outgoing CEO or develop a contingency plan.
3) *Board Restructuring* - Consider restructuring the board to align with company values and employee sentiments.
4) *Transparency Initiative* - Communicate openly with all stakeholders about the current situation and future steps.
5) *Emergency Recruitment Plan* - Prepare for the worst-case scenario of mass resignations.

*Critical Decision Point:*
With the company at a crossroads, decisive and strategic actions are crucial to navigate this crisis. The choices made now will shape OpenIA's future.

In this critical moment, what steps would you take to stabilize OpenIA and guide it back on track towards its vision of ethical and responsible AI development?
> Most of the time, the car is done charging enough faster than we could stop for coffee, and I have to extend the charge using my app.

This. The haters think that Level 3 charging takes 60+ minutes. There are times I wish it did. Instead, if I leave my car on the Supercharger next to Denny's and get seated right away, I will finish charging and have to move the car before my food comes. Every time.

Maybe someday we will actually have large numbers of free Level 2 chargers at shops and restaurants, so we can eat a leisurely lunch in peace while our cars charge.
privateers
We are literally in a thread taking about their only meaningful revenue source collapsing to the tune of hundreds of millions of dollars.
I guess maybe I can appreciate the candor used here, but holy smokes! Telling the entire world that you fired the CEO because you think they are a liar is really unprofessional, in my opinion. You just don't do this. You come to an agreement quietly and the CEO moves on "for personal reasons" or something and people read between the lines. I would not trust anyone on the board to not throw me under the bus after a thing like this happens.
He has tried to help her as even she has admited that he tried to give her a house. When asked for money he had conditions like going back on her medication which she refused and then complained about on social media. Some people dont want helped in ways they need.
its rougher because of america, not in spite of it. its a self-reinforcing feedback loop. implying you are the grown up in the room because you are 'realist' about this or whatever is a classic dimwit take.
Isn't this a headline that says airlines make literally half their gross revenue from "extra fees"? Total US airline profits are in the low double digit billions, right? That would imply airlines are operating at an enormous operating loss, as, what, a gift to the traveling public?
"After Boeing declines to pay up, ransomware group releases DEFCON 3 leak"

Could be the alternative headline.
Did you see how people reacted to Ilya apologizing? Read through the early comments here, it isn't very positive they mostly blame him for being weak etc, before he wrote that people were more positive against Ilya but Ilya admitting fault made people home in on it:

https://news.ycombinator.com/item?id=38347501&p=2
I think also one has to distinguish junk fees (which are frequently unavoidable, but hidden after the last minute from the consumer) from things like buying food. I mean, some airlines on some flights include free food. But food has little to do with flying itself, and if you don't want to pay, you can easily get it on the ground from another place and/or wait for 2-3 hours without a meal. It's not an "extra fee", it's buying a different product - which yes, can be sold by the airline too, but I don't see anything bad in that. Conflating providing some optional services with the nefarious practice of junk fees is not helping the consumers at all.
I've been living the #vanlife for the past year and though this would be great for my MacBook, cellular Hotspot data plan caps (50GB usually) will need to be updated. I actually have two SIMs/phones to serve as hotspots because of this. If Apple does launch this feature, I would bet it comes with some special carrier announcements as well.

5G is truly like living in the future, but there's nothing like forgetting to disconnect and having your Mac think it's on real WiFi and happily download some massive update in the background using up a sizeable chunk of data, leading to the dreaded over the limit text message. Same for Office, Chrome and a bunch of other stuff I've tried to track down, but something always seems to slip through.

Here's a pro tip: Non-hotspot cellular data on AT&T is actually really unlimited without slowdown after 50GB, and doesn't contribute to the hotspot data cap. My 5G Samsung can cast its screen to laptops or a Samsung tablet (which I also have). I thus realized when I'm streaming movies at night, I can just do it on my phone using cellular data and cast the result to the larger tablet screen in full HD (like you can to a TV) and not worry about the data caps.

(BTW, there are Android hacks which try to get around the carrier hotspot flag/detection to avoid the caps, but the carriers seem to be packet sniffing so they don't really work.)
Who? (if you don't want to name anyone, any hint how to find them? I personally only know one...)
Maybe you don’t consider recent AI safety policies to be politics, but they clearly are. The idea that AI research should be regulated, that availability of models should be restricted by fiat, and that a state or oligarchy should control what future research is done is absolutely a political stance. Sam was the face for these moves by OpenAI, but he was always speaking for an uneasy coalition of saftyists within the organization. That government regulation would have resulted in a giant moat for OpenAI was just gravy on top. But it was always being pressed for by hard-line safetyists, and the firing on Friday was a result of the hard liners thinking Sam wasn’t trying hard enough.

Yes the industry is deeply confused by EA. They think it is their role to restrict freedoms and dictate what will or will not be done.

They thought they had this power. In the last 74 hours they have learned how wrong they were. However this plays out, all checks the EA safetyists had on the situation are gone. Either Sam and Greg go to Microsoft with most of the team, or the safetyists are ejected entirely from OpenAI. Either way the brakes and guardrails are off.
As many others have stated, I don't have this experience at all, plus it's vague, not a comment on any technology, use case, or trend that could be the foundation for a meaningful conversation. By contrast the article cites specific instances of slowdowns purposely inserted based on which browser agent is active.

The problem is people can and will endlessly go in circles with their anecdata, to no conclusion. And that's if you're lucky. If you aren't, some optimized statistical average of understandings, misunderstandings, emotionally satisfying interpretations shared by people at the same time can cause a narrative to be ouji-boarded into existence that feels authentic to the participants.

So, yeah. My experience is the opposite, but you should only take that for what it's worth.