skysight-inc/HackerNews huggingface dataset:
I tried a problem I was looking at recently, to refactor a small rust crate to use one datatype instead of an enum, to help me understand the code better. I found o1-mini made a decent attempt, but couldn't provide error free code. o1-preview was able to provide code that compiled and passed all but the test that is expected to fail, given the change I asked it to make.

This is the prompt I gave:

simplify this rust library by removing the different sized enums and only using the U8 size. For example MasksByByte is an enum, change it to be an alias for the U8 datatype. Also the u256 datatype isn't required, we only want U8, so remove all references to U256 as well.

The original crate is trie-hard [1][2] and I forked it and put the models attempts in the fork [3]. I also quickly wrote it up at [4]

[1] https://blog.cloudflare.com/pingora-saving-compute-1-percent...

[2] https://github.com/cloudflare/trie-hard

[3] https://github.com/kpm/trie-hard-simple/tree/main/attempts

[4] https://blog.reyem.dev/post/refactoring_rust_with_chatgpt-o1...
Sustainable eating habits that can help the environment without taking over life
Spins me out that a storage and archive company didn't think to make regular copies (if I read the article correctly and they, rather than the client, were at fault)
Argo CD Architecture Redesigned
If you prefer to learn by video, here's an excellent talk on the same subject by Rob Pike that I link all the time to people

https://www.youtube.com/watch?v=oV9rvDllKEg
Release the files to the fans?
u can enter 'notepat twinkle' after tapping notepat in the corner to actually run through that melody
> Or am I overestimating.

Ahh, sweet summer child who has never seen these kind of legal fees.

I do hope Gino gets socked with their legal fees.
Some more info

https://github.com/whistlegraph/aesthetic-computer
https://www.youtube.com/watch?v=S-7UszmI1K4
https://aesthetic.computer/handtime
https://digitpain.com/
A difficult to guess fraction of all of these results are training to the test in various forms
How to Generate and Use Synthetic Data for Finetuning
Hmm, native Americans were in America before Columbus? Crazy
The firedancer team at one of the better HFT firms wrote an AVX512 optimized implementation of ed25519 and X25519 that’s significantly faster than OpenSSL.

https://github.com/firedancer-io/firedancer/pull/716

Ditto for sha256: https://github.com/firedancer-io/firedancer/pull/778

And sha512: https://github.com/firedancer-io/firedancer/pull/760

If you’re an optimization nerd, this codebase is wild.
The failure is in how you're using it. I don't mean this as a personal attack, but more to shed light on what's happening.

A lot of people use LLMs as a search engine. It makes sense - it's basically a lossy compressed database of everything its ever read, and it generates output that is statistically likely - varying degrees of likeliness depending on the temperature, as well as how many times the particular weights your prompt ends up activating.

The magic of LLMs, especially one like this that supposedly has advanced reasoning, isn't the existing knowledge in its weights. The magic is that _it knows english_. It knows english at or above a level equal to most fluent speakers, and it also can produce output that is not just a likely output, but is a logical output. It's not _just_ an output engine. It's an engine that outputs.

Asking it about nuanced details in the corpus of data it has read won't give you good output unless it read a bunch of it.

On the other hand, if you were to paste the entire documentation set to a tool it has never seen and ask it to use the tool in a way to accomplish your goals, THEN this model would be likely to produce useful output, despite the fact that it had never encountered the tool or its documentation before.

Don't treat it as a database. Treat it as a naive but intelligent intern. Provide it data, give it a task, and let it surprise you with its output.
I have the exact same question, I don't get it. A reasonably recent ESD soldering iron like a Hakko or a Metcal has never (outside of stupidly small pitched chips) caused me to think "this sucks, I need something better...if only it was webscale."
From Network Engineering to Application Networking with Marino Wijay [audio]
Yes, a gazillion of them. Someone in a scrabble Facebook group made this entirely with ChatGPT: https://aboocher.github.io/scrabble/ingpractice.html
You realize you can change the default memory stack on go routines right? I mean, I’m just going to ignore anything you say going forward as this stalking of you is beyond silly, but at least get things right.
I think a deterrent to that are all the cameras on the car
A galaxy is so large (e.g. the milky way is ~ 1 billion billions km in diameter!), and bodies are so far from each other that it is far from intuitive that there should even be a magnetic field, and it's even neatly aligned along the arms!
I just started using Cursor a few days back, so still need to get a hold of all the keyboard shortcuts properly.
This does not match my experience.

If the root query lets you query a user of type User, and the User object embeds an array photos of type [Photo], then there are two possibilities: either the resolver for user is loading the photos and letting the default resolver return them, in which case you know about it and can check permissions for them, or there's a resolver defined for photos, in which case you can check permissions in that second resolver.

Think about it. GraphQL won't go retrieve rows from your database without either a) you installing some other library to do the magic, in which case we should talk about that library instead, or b) you telling it to query your database, in which case you know what data you're querying in each resolver you write and can check that the user has permission to see it.
90% of the way is still good enough for me because I can manage to think up and get through the rest of the 10%. The problem for me was that the 90% looked so overwhelming earlier and that would shy me away from pursuing that project at all.
Boeing workers vote to strike
It’s M-of-N erasure coded and periodically verified.

So yes, they copy it to new media, after it has failed.

Math is crazy.

Glacier might also have a heuristic for media lifetime, but ehhh.
I don't think they can promise. But in a formal process with so many steps involved, you know what else is left to be done. And if there's nothing left, you assume "very soon" completion.
Also Apple's announcement was kind of a pressure put on the gov: "hey, enough, unless you want everyone angry at you".
yeah, I know, that's the only reason I'm even thinking of using it. but tbqh I don't really install many things, as you can see...
Ouch, TIL there's a distinction between the two.
I failed to adequately convey the degree of uneconomicalness involved. No such simple fix would save the idea. The magnetic rings would have to be _larger around than Mars_. A ring around Mars’ equator would do the same job while being smaller!

Plus there’s the slight problem that the atmospheric loss rate on Mars is too low for us to really care about. Mars with an atmosphere as thick as Earth’s would lose about 1% of that atmosphere after a million or two years. If it will take us less than 10,000 years to build that atmosphere up then it will be much cheaper to just top it up every so often.
Yes I agree this tracks with the long history of NYC, certainly a fascinating rabbit hole but quite nasty to live through
NYC was once a political powerhouse and a bastion of corruption, using unfettered illegal immigration as a lever to manipulate votes and outcomes - see: https://en.wikipedia.org/wiki/Tammany_Hall
This argument of "Usenet vs Reddit" has a kind of anachronistic feel to it. There was over a decade between Usenet being passé and Reddit gaining popularity. Alternatives to a Reddit at the time of its emergence were other relatively new "social bookmarking" sites like Digg and del.icio.us, and the old standby forums mostly running PHPBB and vBulletin. I came of (internet) age during this time in the early 2000s and never used Usenet; nobody I know did, but we had online communities before Reddit. Many of them even had point systems and badges and other little gamifiction elements that were often idiosyncratic and tailored to the specific community.
> (GPT2 -> GPT3 -> GPT4) have meant significant improvements

These were all train the same way. It's fairly clear that o1 was not.

> Maybe we will have to wait for GPT5 for that :)

There will be no GPT5, for the simple reason that scaling has reached a limit and there is no more text data to train on.
https://www.washingtonpost.com/business/2024/09/13/boeing-un... ("Boeing workers vote overwhelmingly to strike in defeat for troubled company")
I'm interested. Could you use a LLM function call to decide whether or not to respond instead of randomness so it feels more intelligent?

Also, I have no idea what the use case for this would be but making it work sounds cool and kinda fruitful.
HP did license out the manufacture of 12cs at some point so if it's not a counterfeit it is almost certainly a manufacturing error by some licensee. Note that the 12-c is one of a legendary "voyager" series of HP calculators which have that landscape form factor and are highly prized by collectors. There is an HP15-C scientific calculator equivalent and a 16-C which is supposed to be for programmers so does the sorts of things we programmers do all the time like converting things from hex to octal etc. It has built-in support for bit twiddling and shifting operations too. If you ever see a landscape-style "voyager" HP calculator in a junk shop or whatever and it's not a 12-C (because they are quite common) it's quite rare and may be worth buying and reselling if it's in usable condition.

I have 2 HP-12c calculators which I bought while I worked at Goldman. One was always on my desk at work and I had another at home. I can certainly confirm they were common in finance back in 2000-2009ish. That said even back then they were being replaced by non-RPN calculators for a lot of people and only people with nostalgia and the hardcore had a 12c.

They're incredibly robust - famously a zookeeper once used an HP12-c to calculate proportions for animal feed, dropped it into the mix and it passed through the digestive tract of a hippo. It was still able to calculate the yield to maturity of a bond after cleaning.

In addition their batteries last forever. Even though the versions I have use the "weak" newer battery tech[1] they are both still on their original batteries and as I say mine are about 20 years old and at one point I used one of them every day. Having a slow cpu means they just run forever.

I now additionally own two other RPN calculators which I bought because I needed a scientific calculator and have a nostalgia for HP calculators because I used to write little programs for my dad on his. The 12c and the like don't have trig functions in particular so I own an HP35s and a swissmicros DM42[2], which is essentially an HP42S emulator with a faster processor and some enhanced capabilities based on Thomas Okken's "Free42"[3]. I would strongly recommend the DM42 for anyone who likes HP-style RPN calculators and wants a more powerful version. It's a fabulous calculator. Pretty much the only way the HPs are better is the feel of the keys which is too stiff on the DM42.

The HP35s is a great calculator also. Not as powerful as the DM42 but with that lovely classic HP key feel and a bit more usability for some things at the expense of being much worse to program, much slower and only having a 2-line screen. It does have a nice built-in set of physical constants though (which I never use).

[1] The original battery tech uses some sort of legendary toxic battery that is no longer permitted due to hazardous chemical regulations.

[2] https://www.swissmicros.com/product/dm42

[3] https://thomasokken.com/free42/
Has anyone tried asking it to generate the libraries/functions that it's hallucinating and seeing if it can do so correctly? And then seeing if it can continue solving the original problem with the new libraries? It'd be absolutely fascinating if it turns out it could do this.
It's relevant because you claimed if these people didn't get sucked into games that they would just be degenerates in other walks of life. I don't think it's all that debatable that people are addicted to their phones. Most people that are addicts wind up there out of casual exposure. And, hey, it's unregulated and the one tech company that has your back is making it so easy to do.

I had an iPhone before IAP. There was a marked shift in the type and quality of games once IAP took hold. I suppose we can argue that the app store was in its infancy, but as a consumer I've never liked IAP. It was pretty clear to me it was a very easy way for company's to not be forthcoming with their pricing. Sometimes they want to exploit the sunk cost fallacy. In the mobile gaming space, it's often more nefarious. And we know it's by design because these companies hire psychologists specifically to find new ways to get people to part with their money.

The fact it's so easy and you never have to open a wallet also makes impulse purchases way more likely. And, unlike physical goods, there's no room for buyer's remorse. No returns, no refunds. You can try to do a chargeback, but say goodbye to the rest of your Apple account and enjoy owning a brick. Sure, for some people making instantaneous digital purchases it's a way to shave 30s off an infrequent activity. For many people it takes away their ability to consciously push back on impulses.

I don't think it's a given these sorts of games would have just happened without Apple making it so easy on devices people are already addicted to. We've had decades of popular video game consoles of all sorts -- computers whose only purpose is to play video games -- and this was not an emergent phenomenon. It seems to be pretty unique to mobile phones. It hasn't stopped game publishers from trying to port similar tactics to consoles, but it also largely hasn't taken root there despite their best efforts.

Undoubtedly, some people spend hundreds on skins and it may not be money they have, but I'd argue even that digital good is better than P2W mechanics like needing to buy hearts just to beat a level. A level that's impossible to beat otherwise, but the game will waste your time and build up your frustration thinking you might be able to do it. I think it's ugly and unethical. Apple makes a boatload of money from it and it's one area where Apple really hasn't stepped in to protect their customers. Meanwhile they've fought hard against alternative app stores and sideloading under the guise of protecting their customers.

FYI, Google's not immune from any of this criticism. They just were followers in the whole thing so I fault Apple. Google failed as a competitor to provide a better alternative and settled into also raking in 30%, enjoying the privilege of a duopoly.
Most boilerplates like shipfast and others focus waaaaaaaay too much on the landing page, leaving you with abysmal SaaS functionality. Yes you can "launch fast" but what are you launching exactly?

If you're serious about building a web app (not landing page with some gimmicks) check out Achromatic.

Website:

https://achromatic.dev

"Acme" demo:

https://demo.achromatic.dev/

Packed with essential features (~40k SLOC) and updated frequently with a focus on quality over quantity. It's built with Next.js 15, React 19, Auth.js 5 and shadcn/ui - fully embracing RSC and server actions. Besides that I'm adding regularly important application components like TreeView, ColorPicker, RichTextEditor or InputPassword:

https://achromatic.dev/docs/components

It's fairly new, I've launched it less than 3 weeks ago, but already got over 40 customers in that short amount of time. I run a SaaS myself and took quite a lot of components from there and also help customers/partners getting their SaaS started via Google Meet. Also there are 4 freelancers in the US, Germany, India and France who use the boilerplate for their client projects. The license is very business-friendly and allows unlimited developers and projects.
Weren't BD-R M-Discs never really M-Discs? The retention only applied to DVDs?
https://www.sim.de/ German provider
Yes, coming soon
Want longer? Seems like MS has a solution?

https://youtu.be/-rfEYd4NGQg?si=QoCve6CAPajmmBiX
Oh interesting. Let me store this DNA sequence that is occasinal the sequence of the spanish flue...
If not now, when? Reclaim your life-time
Boeing spent $43B on stock buybacks between 2013 and 2019 while paying their CEO ~$30M/year.

> To support its share price, the company under McNerney poured billions into stock buybacks instead of investing profits into the kind of research and development needed to stay competitive. McNerney decided not to spend billions of dollars building a new plane to replace the 737. Instead, Boeing tweaked and updated the existing model and called it the 737 Max, outfitting it with larger, more efficient engines for increased economy. Compensating for the resulting instability was a secretive automated system called MCAS that would adjust the plane’s pitch without input from the pilot.

> McNerney also fought to deeply cut costs. On his watch, the company opened its first non-unionized aircraft production line and initiated a program called “Partnering for Success” that pushed suppliers to cut their prices by 15 percent or more. Many feared that squeezing suppliers would harm the quality of their components, but McNerney was determined to recoup the cost of the 787’s development; if the subcontractors complained, they could find their work taken away from them, as happened to landing-gear-maker United Technologies Aerospace Systems.

> McNerney retired in 2015, handpicking his successor, president and COO Dennis Muilenburg. Over the next three years, Boeing’s stock price more than doubled as it sold new planes the world over. (As Bloomberg News reported, Muilenberg and McNerney “had personal reasons to emphasize productivity and cost-cutting” because their compensation was tied to share performance. Together they took $209 million in total pay over seven years.)

https://nymag.com/intelligencer/article/boeing-planes-proble...
I think it's fantastic that now, for very little money, everyone gets to share a narrow but stressful subset of what it feels like to employ other people.

Really, I recommend reading this part of the thread while thinking about the analogy. It's great.
I think openai introduced the o1 model because reflection 70b inspired them. Getting them needed a new message to fill the gap for such a long time
It is a remnant of medieval public entertainment, but in some cases, it acts as enough of a deterrent. For example, Singapore's action on drug smugglers. Also, I too believe that it should be sparingly used, except for the most brutal of murders and rapes (where you have those special remorseless psychopath nutjobs), or for terrorists after they've outlived their usefulness.
The drug is a shim until gene therapy is proven safe and effective. We are patching a bug in the human wrt the peptide hormone mechanism in scope. It is, very broadly speaking, a reward center defect. Morally speaking, we should show the human grace and attempt to assist humans with this buggy reward center at scale via bioengineering.

https://www.fractyl.com/fractyl-health-demonstrates-signific...
There was days where a complete bunch of cloud users lost all their data. So, no, this will not succeed too.
> So IMO level right?

What?
> It knows english at or above a level equal to most fluent speakers, and it also can produce output that is not just a likely output, but is a logical output

This is not an apt description of the system that insists the doctor is the mother of the boy involved in a car accident when elementary understanding of English and very little logic show that answer to be obviously wrong.

https://x.com/colin_fraser/status/1834336440819614036
What you also can do is starting with just a single node, incredibly easy to install with e.g. https://k3s.io/. You still have to invest the upfront effort to understand how it works but you can already reap a lot of benefits with a lot less complexity.

Kubernetes does not force you into the distributed systems hell, you can go that route later, or never.
Learning is always worth it, but you dont need to pay for a 2nd certification for that.
Disclaimer - I did an MSc in Bioinformatics 20 years ago. I've been working in the software industry for 30 years. I contemplated doing a PhD, but up until now, there has just been multiple firehoses of free information online to absorb (plus many good books).
Let's Verify Step by Step (2023)
f3(f2(f1

This is still backwards?
There are high density binary microfilm optical formats on archival grade film stock that should be stable for several hundred years. Although tbh I'm an M-DISC guy.

https://en.wikipedia.org/wiki/Optical_tape -- https://en.wikipedia.org/wiki/Write_Once_Read_Forever
Counterquestion: How much money do they lose when you notice in 50 years that your data are gone? And how much money you payd until then?

So, it's just simple math that you can use to calculate your answer.
Keep in mind that the system always chooses randomly so there is always a possibility it commits to the wrong output.

I don't know why openAi won't allow determinism but it doesn't, even with temperature set to zero
He's literally building a type system for Elixir. What the hell are you talking about?
Ive known a maybe a half a dozen of born into money types who have technical obsessions. Imagine the Duke of Montrose still hacking his own lisp while VCing on the side to compliment his hobbies. (The guy who built the titan sub also comes to mind). Plan was to lasso some type of liminal nerd, approximating weirdpro gentlemen scientists of our neoEdwardian age?

(BTW)

most distinctive part is that the first gen, and maybe the 3rd gen*, take time out to consider whether things are still working in theory. But i suspect you only care about the practice.

*https://www.youtube.com/clip/Ugkxapm9Ekdz3_kiyvo_14pOzNY_cga...

(Another “lazy” response)

An insanity inducing game that i’ve sometimes had the misfortune of playing is when I try to discern whether a particularly hard-to-parse paper by people i only know in passing in my subsubsubsubsubdomain (classified by dot product of tags) in a highish impact journal is spam or advertising. Wondering if that feeling approximates what you feel when encountering Yarvin. (Luckily, these havent ever appeared on the HN fp - but there were a few close calls)
Many of my PhD and post doc colleagues who emigrated from Korea, China and India who didn’t have English as the medium of instruction would struggle with this question. They only recover when you give them a hint. They’re some of the smartest people in general. If you try to stop stumping these models with trick questions and ask it straightforward reasoning systems it is extremely performant (O1 is definitely a step up though not revolutionary in my testing).
>According to the data provided by OpenAI, that isn't true anymore

OpenAI main job is to sell that their models are better than human. I still remember when they're marketing their gpt-2 weights as too dangerous to release.
Sorry, no opinion, I just copied these from the article and it works fine enough for me.
Neither Fusion nor SolidWorks mention supported operating systems on their respective homepages. That doesn't seem to present an issue, eh? :)

As for your other points, FreeCAD's homepage does explain what this software can do. It says what this software is right on the first screen. You can scroll down past the first screen to see more info. Even more info is on the Features page that is right in the main menu at the top.

I mean, we can argue about the amount of information, but the basics are all right there for you, in very obvious places, no?

Incidentally, a new (and better) website is in the works.