skysight-inc/HackerNews huggingface dataset:
What a stupid title.

"The LLMs we tested couldn't find reasoning errors but can correct them" is accurate. Trying small language golf experiments on existing models just tells you about their training data.

It's quite likely that a transformer model could successfully be trained for this task.

Also, many of these models get new capabilities each release.
Correct. Sorry to disappoint, but we're very early stage at this time. We'll be releasing more info as we develop the product and collect feedback.
From the guidelines:

https://news.ycombinator.com/newsguidelines.html

"On-Topic: Anything that good hackers would find interesting. That includes more than hacking and startups. If you had to reduce it to a sentence, the answer might be: anything that gratifies one's intellectual curiosity."

It's not really about being "newsworthy", but what tickles your grey matter's fancy.
The main issue I see now is that the SEC should charge himself for not bringing clarity in the space beyond all the scams and frauds.

It is ironic that now when you try to use some of the crypto services it asks you if you are in Iran, North Korea, US, etc... I don't think all they were in the same list before.
I’ll believe this when I see an AI model become as good as someone with just ten years experience in any field. As a programmer I’m using chatgpt as often as I can but it still completely fails to be of any use and often proves to be a waste of time 80% of the time.

Right now, there are too many people that think because these models crossed one hurdle, all the rest will easily be crossed in the coming years.

My belief is that each successive hurdle is at least an order of magnitude more complex.

If you are seeing chatgpt and the related coding tools as a threat to your job, you likely aren’t working on anything that requires intelligence. Messing around with CSS and rewriting the same logic in every animation, table, or api call is not meaningful.
The 6 million figure includes fasteners. Half of the parts of fasteners and there are only 75k engineering drawings. Engineering drawings rarely run more than a few pages per part.

https://www.boeing-747.com/fun_facts_from_boeing.php
It very may well be. I don't own any BTC and I had limited awareness of Blockstream until you mentioned it. I feel that this would make a stronger case for it being considered a security, though, no? And yet on September 27th 2023 Gensler reiterates Bitcoin is not a security:

https://www.forbes.com/sites/jasonbrett/2023/10/01/sec-chair...

I feel we're getting a bit into the weeds, though.

Is your stance that Bitcoin is a security and that remarks made two months ago by the Chairperson of the SEC are misguided?

Or is it that Bitcoin is not a security, but Ethereum is? If so, is that for technical reasons or just due to how it's discussed and marketed?
Or maybe some kind of longer term mission to the moon. But yeah - space really, really wants to kill us and it seems like we don't have a great handle on how to prevent that, reliably.
Airplanes presented here looks like those in private jet category. So these are probably aiming to replace those first?
Genuinely, great distinction.

Would you also include in “AI ethics” a considered rollout of automation to maximize its benefit to everyone? Because there is real benefit. The kind of work AI can automate is shit work and it would be to the theoretical benefit of society for it to be automated… unless all the benefits accrued to the owners of the tech instead of the people whose (stupid) jobs are being replaced.

Is that “AI ethics” or still a third (anti capitalist?) thing?
Give us a hint: was it legal pre-1965?
This analysis I agree with. How could they not anticipate this outcome, at least as a serious possibility? If inexperienced, didn't they have someone to advise them? The stakes are too high for noobs to just sit down and start playing poker.
Microsoft CEO Signals Willingness to Have Altman Rejoin OpenAI
Just your daily reminder that there is no value without labor.

The board has come off looking awful here regardless of the merits of their actions. That alone is reason why they should be replaced.
I'm not sure that's accurate. Most companies use "AI safety" as a shorthand for "brand safety", i.e., making sure that your LLM can't be trolled into praising Hitler or denying climate change. Basically, do what needs to be done to avoid bad press.

There is definitely that second and more abstract take - AI doomsday safety - that Altman liked to talk about to get favorable regulation passed. But it doesn't seem to be much of a real field. "Hard" AI doomers think that superhuman AI can't be reliably constrained and we should just stop. "Soft" doomers think we need to solve "alignment". But we don't really know what's going on inside an LLM, so we test for alignment by asking it what it thinks about Hitler. In other words, back to brand safety.
It's "partly" funny to see all the grandiose plans of the past that never came through. Humanity reacts short term but when you take some distance you realize most of ideas in the air are wrong somehow.
the security law regulates transactions, that is sufficiently enough to cover cryptographic tokens and the ways they are settled, and thats not where the SEC loses

they lose because they cant articulate when they are securities and when they're not securities

their theory does play into a trap you pointed out, in that there are plenty of non crypto products that function the same way - limited supply runs sold by corporate issuer where a ton of speculator collectors hope the price goes up based on the actions of the issuer - that the SEC never bothered with. Either they're all securities or none of them are. The SEC has been asked to explain the difference and fails. People on this forum played devils advocate on a supposed legal difference just because they dont like crypto, but their arbiter - the SEC - fails to find those points strong enough to argue its position at all! the courts and the senate are like “wait, you don’t have an argument at all? good lord”

but like an abusive spouse it just keeps circling over the same word salad of “you’re supposed to know what I want, its been sufficiently clear the entire time” instead of articulating themselves using their words, to the shock of the couples counselor who already had a bias towards the spouse but can’t come up with anything to help their ridiculous case
All the Music – Every Possible Melody
As if Oban invented anything, like queues on RDMS is not a new concept at all. Oban is 4 years old, do you know how many queues baked by DB were created in the last 10years?

I don't see Sidekiq credited on the main page of Oban.
You are overlooking the politics: If you don't sign, your career may be over.
Taking the role would be like backstabbing YC. It would feel wrong.
Wasn't Altman trying to form another startup with Saudis to build AI accelerators?

At this point people need to come clear on the reason, because Saudis are number one reason ATM.
The first sentence: "Some investors in OpenAI, makers of ChatGPT, are exploring legal recourse against the company's board, sources familiar with the matter told Reuters on Monday, after the directors ousted CEO Sam Altman and sparked a potential mass exodus of employees."

It sure sounds like "Microsoft has a legal department", translated through three layers of PR-speak into a headline with no basis in fact whatsoever.
Right now a lot of people without any history of whistleblowing have the same story
None. A CEO with >95% approval rating is unheard of, even considering sole-proprietorships
The upcoming 1.4 release of quarto is going to have support for Typst as an output format (https://quarto.org/docs/prerelease/1.4/typst.html).

As capable as it is, Latex is just too damn complicated unless you're using someone's carefully maintained template and never trying to deviate, even slightly, from the template. Too many brain cells have been sacrificed to LaTeX. It's time to move on. Hopefully Typst can pull it off.
Briefly, maybe? The thought may have crossed my mind and I dismissed it, as I prefer Firefox and don't like Microsoft software or practices.

One of our work computers runs it because a co-worker prefers Edge, so I have incidentally used it during tech support. It's fine, just not my cup of values-tea.
lol of course he says that.

“Wolf thinks sheep shouldn’t be cooped up in secure pen”.
How do we tell whether a human is safe? Incrementally granted trust with ongoing oversight is probably the best bet. Anyway, the first mailicious AGI would probably act like a toddler script-kiddie not some superhuman social engineering mastermind
Magnesium + boron + K2 make calcification a non-issue if you take moderate doses per day (2.5-5k IU, or even more).
I use a ~Nreal~ Xreal Air as my secondary monitor. When I don't want people to look, I simply lower the brightness of my primary laptop monitor to be a black screen.
Yeah, that was surely an error. The value most definitely would have changed.
Kraken continues to fight for its mission and crypto innovation in the US
Every regulation comes from some past scam. Clearly there must have been enough "oopsies" in the past attributed to commingled assets that regulators said "no more".
Undersea robots will harvest metals from the ocean floor
Can somebody explain to me, succinctly and without the slippery slope nonsense immanent in this link, why facial recognition is seen by some reasonable people to be a problem? I’m not interested in why anarcho-fascists or tinfoil hat libertarians or Luddites think it’s a bad idea - I’d like to know why your average reasonable man would have a problem with this. As somebody with both a law and a science degree, I just can’t understand the outrage. We already have to take our photos for passports and our IDs - how the fuck is this substantively different? I get the sense this a situation that proves that rule that somebody, somewhere will always find a way to be outraged about everything in 2023.
I would guess (really, just a guess) that

1. government IDs have photos but not all contain fingerprint data.

2. facial recognition can be done at a distance. In the future, you could be verified walking the building.

3. (tin foil hat) People associate giving fingerprints to the govt with criminals moreso than they do pictures.
They don't have such a license...Stratechery didn't read his own source.

https://www.wsj.com/articles/microsoft-and-openai-forge-awkw...
Interesting. So you are saying that this power might come from contracts that were biased in favor to Microsoft by someone that might be or might be not hired by Microsoft? People should have learned more carefully from the Nokia case if this is true.
With his personal trajectory over the past several years I would have been surprised if he didn't.
Cyberthreats reached a new high this year, with AI playing a major role
Tech-company is building photorealistic models of cities around the world
Scientists discover new form of magnetism
And that people only need to work 20 years before retiring? Tell me more, though it's far too late.
That does not mean yolo switching to dollars is sensible
Kinda scary how many times I flew with those in 80s.
GSO improves performance because you can send a ~64kB "datagram" through the stack, and then it will be split up either by the network card (if it supports GSO) or by the kernel. This is a lot more efficient than sending a pile of 1500 byte packets through the stack. It also saves a lot of context switches with the kernel.

By way of comparison, when you send data over TCP, the system call interface lets you write very large chunks, so a single system call can write gigabytes of data.
I worked at a place where the person in charge of hiring for that department passed on a great candidate that was black, not because he didn't like black people IMO, but because he said "if were wrong about him being great, black people are way too hard to fire". That was the only openly crazy racist statement I've really ever heard in a corporate environment.
Thanks, will consider it
True, there is not a built-in feature for billing. It'd be necessary to build on top of apisix, using itsmetrics (via prometheus) and consumer groups
If this is her last rodeo, it'll be quite a ride. Hope her package is excellent.
Thank you for the feedback! We're still very early stage right now, and we'll be releasing more specifics around security in the coming days.

RestEasy will operate by forwarding your customer's request to your endpoint, so there will be two keys used to secure the API call. One from your customer to RestEasy, and then one to your service. We'll be doing a detailed writeup on that in the next several weeks.

The domain will be white-labelled, so the API calls will still be going to a subdomain of myawesomeAPI.com
For context: https://news.ycombinator.com/item?id=38356361
Like what approx dosages for each respectively
How many people would stand in front of their boss and the rest of the world and say that they don't support him? That's what this open letter is equivalent to.
Deportation often amounts to a facto extradition.
You could let the balance fall below $30 in your example because it’s a loan (“borrow”), not a deposit.

If you’re claiming to hold the funds on their behalf and do otherwise (like “investing” them in your less than arm’s length hedge fund), then you’re breaking your fiduciary obligations.
Ouch. The truth hurts.
> MS has a CEO.

Sam Altman replacing Satya Nadella as CEO of Microsoft would certainly be a twist!
Not quite: while the 10 hours spent waiting in between orders is not as good as free time, it is not as bad as working (in this case driving) time either. You can read a book, watch videos, browse the Internet, etc.
Which is fine, the hardcore fans can have Windows, from the few I know they don’t play other games anyways.
That. That's exactly what made me dislike Elon Musk. I address this message to him:

Stop whining. Please Elon, stop whining. People don't respect you as much? It doesn't matter, just, stop whining, and stop lying to justify your whining. I don't care that you've done mistakes. You're allowed to as long as you're accountable.

Stop whining. This is becoming old. Organize meetings, art expositions, do some shit, play role-playing games, idk, but please, people do not really care. At most I'll read stuff like that for the drama, but really, live your life and stop whining.
I see lots of people trying to prompt with incomplete sentences, not capitalizing, using slang, bad grammar, imprecise terminology etc. And it still works. However, I find that you get a noticable a
quality boost if you use proper English and treat it more like a human.

"i want a python app that calculates a roadtrip for me"

vs

"Please write me a Python program using a map API that measures the distance between two locations as a car would drive. Think carefully about the program architecture and be sure to use a human readable Pythonic style. Please show me the complete program in it's entirety."

The former game me a high level overview with a ton of explanation and didn't write any code. You can try to walk it through the process of all the steps it needs, but it will write "confused", albeit working, code after a few prompts. The latter just wrote working code on the first response. Moving forward, the context is just so more concise and correct that everything after will be of much higher quality.

I rarely go past 5-10 responses due to what I'd call "context poisoning". If it makes a simple syntax error or something small, I'll shoot it the error and let it correct itself. But as soon as it invents a function or otherwise hallucinates, it gets copy pasted into a new prompt saying "here's some bad code, fix this" and it is far more likely to come up with an elegant solution rather that rewriting everything or making huge changes to solve a one off error or something it's previous context was preventing it from grasping.

What you're saying is almost the meta of using good grammer and context, and I completely agree.
This just makes me way more curious about Sam’s behind the scenes behavior that pushed the board into firing him. Satya being an obvious liar makes me far more inclined to believe that they had very legitimate reasons for this. Wouldn’t surprise me if they’re staying vague to avoid the possibility of defamation suits if it ends up being a he said/she said situation without hard evidence. The whole OpenAI and Microsoft relationship stinks of anticompetitive behavior and a planned monopoly.
My company Preamble markets ourselves as an AI Safety company so I’ll opine on what I think is a reasonable middle-ground definition. We interpret near-term AI safety to mean solving the problems that already exist today but will also exist in AGI.

As a key example, we were the first team to discover Prompt Injection, which we responsibly disclosed to OpenAI leadership in early May of 2022, four months before it was independently rediscovered by Riley Goodside.

(See the citation at the bottom of this page https://github.com/OWASP/www-project-top-10-for-large-langua... )

Prompt Injection is a perfect example of what we consider a near-term “AI safety” issue: it’s a real issue that affects current systems, and it will also affect any instruction-based AGI systems if a solution is not found by the time AGI is reached. There is currently no known general solution to Prompt Injection, and it’s #1 on OWASP’s recent list of the top vulns in LLMs. (See link above. This vuln is designated LLM01.)
Bittrex Global has decided to wind down its operations
Closure of the PPP Detective Website
An explicit goal of Rust is to be "low level", which is an admittedly vague phrase. While you could certainly write a Rust library that clones linked lists left and right, and maybe someone would prefer that, someone else should be able to write a library that does in-place mutation with that delicious imperative goodness (badness?). To GP's point about environment variables, I think that's more of an issue with the fact that Rust tries to be compatible with existing C conventions in the OS. I don't think Rust can do much about it, since it can interface with C libraries that don't care about any Rust constraints on environment variables.
Could the last one out of OpenAI please hit the lights?
Former boss.
>>or the fact that ads are appearing next to the hate speech?

This part is manufactured. Have you never been on facebook tiktok instagram or any other ad saturated SV invention?

think a bit beyond the media and the associated lies man. nick you must be at least somewhat intelligent if you're hanging out here, think.
Given the board sees winding down the company within its mandate, they may just keep playing this game of chicken.
But I’ll bet the Earth is closer to a sphere than this thing.
Withdrawals – No deadline has currently been set for customers to withdraw funds from Bittrex Global after the suspension of trading on 4 December 2023. However, we strongly recommend that customers withdraw funds as quickly as possible, as a withdrawal deadline may be set by the liquidators at some point in the future.
> But (while you're at home) you control the WiFi access point and so can still ultimately control the traffic

Is this meaningfully true for anyone? Most people can’t view activity at all or block anything, but even people who have some of the skills aren’t going to be able to keep up with the flood of activity on a household network.

This is also a fool’s errand if you’re worried about the OS vendor. They have a ton of ways to bury the data (would you know if time.apple.com was getting your data one packet at a time?) and could subtly compromise other things (is this connection to an ad server snuggling out data in the TCP source port or cookies?). I think your last sentence is really the final word here: auditing can help, regulation can help, but I don’t think traffic monitoring is giving more than false confidence for this kind of advanced attack.
It could be a real security issue, depending on the kind of data.
More than just theory of mind. I guess this gets into the alignment problem.

It seems to me that LLMs do not keep on thinking, "I'd better get this right, or I'm going to lose credibility." They have a theory of mind, but it stops there at simply having one. It's not like they're thinking about the 2nd and 3rd order implications.

To put this into perspective: Imagine interacting with another person, who doesn't value Truth at all. Or perhaps remember an occasion when such an interaction happened. In general people don't like these interactions, and they react with distrust and even hostility towards such people.
Elon Musk's X Sues Media Matters for America
I fly a lot. I always opt out, usually in Atlanta but I think in other airports. There are signs up they say you can opt out.

This is both in the precheck security line and when boarding international flights.

It was an issue once with a Delta employee who didn’t know I could opt out. And once with border control in Ireland (where ICE has a presence). There, the ICE employee manually verified me but still insisted I get a photo taken.

Otherwise, it’s not been an issue to opt out so far. The staff might be a little annoyed, but it goes just as fast.
All makes sense. I currently use the Hatch for bedtime light and noise. Don't feel any need to replace it.

I'm picturing this as more a daytime thing. Kiddo is likely too young to appreciate the "choose yourself" aspect of it, so I'll revisit around age 3-5.
Like a company, a nonprofit should be willing to cease operations if that will further its mission more than not doing so.
Seems like companies will happily ignore Sec-GPC header. You'd likely get a larger benefit in terms of privacy by disabling WebAssembly in the browser entirely.
I feel like this won't end up going well for the SEC. This whole methodology of telling exchanges "I don't know, you figure it out" when they ask for clarity and then turning around and suing them for not figuring it out is extremely shaky legal ground.
Oh definitely go deep into monads. If you use the ST monad to do mutations, some people think Haskell provides nicer syntax to do imperative programming than traditional imperative languages like C. But of course such nicer syntax only comes from understanding and using important abstractions like monads, foldable, or traversable. Then there are niceties like automatic SoA/AoS transformation using type families.
We are not really targeting the private or business jet market (though if someone wanted one for this purpose we wouldn't turn them away!). There is another impressive YC company that is that you should check out, Beyond Aero https://bookface.ycombinator.com/company/26134
We are really targeting a low cost commercial market - moving people and cargo. The smaller size is driven in part by the technology - with 50 seats being a good size to capture a large proportion of flying traffic - and partly that it will be faster and cheaper to certify and get a smaller aircraft into the market.
Thanks for the feedback! And yes, we're charging a 22% revenue share, which represents the all-in fee (no additional processing fees on top of it). I hope you'll find the final product worth it :)
Check out the public pool in Kleinmachnow during the summer - far fewer crowds and very nice water.
It’s fairly unusual that a CEO getting fired would put a company’s ability to continue to operate at such high risk.

I’d take it less as a signal of approval in the ordinary sense (though some of it’s probably that!) and more one of perceived dependence. Altman = Microsoft = big piles of cash.
Demand $100000

Why sue for billions when you could sue for dr evil pinkie to mouth hundreds of thousands?

LMAO:

Media Matters therefore resorted to endlessly scrolling and refreshing its unrepresentative, hand selected feed, generating between 13 and 15 more times advertisements per hour than viewed by the average X user repeating this inauthentic activity until it finally received pages containing the result it wanted: controversial content next to X's largest advertiser's paid posts