skysight-inc/HackerNews huggingface dataset:
We don't do nuclear because it's expensive, and that's why it stays expensive. No economies of scale, minimal opportunities to iteratively improve designs.

Solar was expensive until we started building a lot of it (often due to heavy subsidisation)
Didn’t the same thing happen in economics because of a bug in Stata in the 90s?
It doesn't work well though. You can't just stuff your entire codebase into it and get good results. I work somewhere that tries to do this internally
Love the idea! I've wanted to meet fellow HNers to nerd out with for a while :D

Congrats on shipping and good luck
Thr stark difference between Linux and macos is that ONLY macos can filter inbound Ether packets by its destination process ID.

Becasue BSD raw socket rules.

That's how you get Sniffer to be performing waaaaay more intuitively on macos than at all on Linux.
Well, Plasma 6 made it the default. Some things are better with Wayland (e.g., performance), but others are worse (e.g., no session restore so far...).

What bothers me is that I have the impression that when I switched from X11 to Wayland a few months ago, Wayland was a bit more stable when it came to suspending and restoring the pc. But after a few months, I had the same problems (crashes) as with X11. It feels like someone fixed something in the wrong direction.

Maybe it is just bad luck.
>That's not generally true. I attended a state university, and the department simply didn't have the funding to pay for its graduate students.

I mean, maybe? I know a number of state schools, certainly not all of them, but plenty that can afford paid spots for PhD students in the humanities that are certainly enough for someone to support themselves on. It doesn't pay as well, nearly as well, as jobs that humanities student with a good GPA from a good university can get in the private sector, but its not bad at all.
I would love to have a meet tab. Maybe those that want to meet could fill in the zip code and maybe a date range.
Umm, is this true? Tons of worthless technology is better than humans at something. It has to be better than humans AND better than existing technology.
Who needs a garage for charging? I’ve got a 7kWh charger on my driveway but no garage. Over the road there are chargers on the street lamps. Where I live I’ve even seen charger cables run inside gullies under pavements for people with no driveways.
"For example, the arrow keys are small and awkward, and there’s no cover for the function keys aside from the Esc key."

Sounds like it was made for MBP with a second gen Touch Bar after they brought back the Esc key
Repetition is reinforcement. Toil involves repetition.

This is an article on independently "discovering" what education and psychology had already known.

I guess it's novel in that it's not someone rediscovering principles of computer science.
Not a bad idea, actually, especially with all these new tools
Dave's “Games Under NT 4.0” page (1998)
Sure, it has some impact, but we’re not talking about anything too crazy. And that also assumes full total clogging of all pores… which is unlikely to happen. You won’t have perfect sealing and pressure will just equalize.
"Men seem to have an innate tallness ability that is superior to womens'?"

What is wrong with that? You seem to be trying to make some sort of American culture war argument out of something completely uncontroversial.
But they assert whether or not something exists, as an absolute statement. Maybe TCP packets don't exist in a particular situation, but there is still such a thing as a TCP packet in that case.
The important point is, I feel, that most people are not even at the level of intelligence of a "a mediocre, but not completely incompetent, graduate student." A mediocre graduate science student, especially of the sort who graduates and doesn't quit, is a very impressive individual compared to the rest of us.

For "us", having such a level of intelligence available as an assistant throughout the day is a massive life upgrade, if we can just afford more tokens.
Meta: There are at least two later versions of this page in Wayback Machine, but both of those are incomplete and missing the actual list of games:

— https://web.archive.org/web/19990428015713/http://209.240.1....

— https://web.archive.org/web/19990508074344/http://www.nt40ga...
In my experience, Firefox for mobile falls short in several key areas compared to other modern browsers.

- From a UX/UI perspective, its design feels outdated and lacks intuitive features that have become standard elsewhere.

- Features like 'tab previews', 'tab grouping', or built-in 'swipe gestures' for back/forward navigation are noticeably absent.

- While extensions may offer some workarounds, these should ideally be core functionalities, as relying on third-party solutions adds unnecessary complexity for users.

- It would be a significant improvement if Firefox natively supported these features or, at the very least, provided clearer documentation to help users seeking these features.
Could you explain please. I'm really trying to be better.
Then you have a skill issue. 10 million paying are for GPT monthly because a large of them are getting useful value out of it. WolframAlpha has been out for a while and didn't take off for a reason. "GPT couldn't be trusted to flick a light switch on a regular basis" pretty much implies you are not serious or your knowledge about the capabilities of LLM is pretty much dated or derived from things you have read.
Sidenote: your site's SCSS file 404s - https://lorendb.dev/css/main.scss (Firefox, macOS)
I just bought a second hand EV for 4k, cheaper than and ICE of the same age.
Falsehoods programmers believe: the OSI model
Rust's error handling isn't at all like using a monad. The entire point of being able to express the monad for something like the behavior you expect from error handling is that you write code which automatically propagates the error and in the same breadth prevents you from ever being able to see the error. The result is essentially exactly exceptions: you program the happy path and it entirely hides errors from you, as that's the point of the monad, which for this purpose you can pretty much conceptualize as programmatic flow control (or, even more crudely, an overloaded semicolon / statement separator operator).

Rust is using the data structure, but doesn't have a way to express or use the monad, so you have to deal with and manually propagate the error. But like, if you do not have the monad, the data structure is just awkward... the only reason the data structure for this monad even exists at all is to support the monad, and the reason for the monad is to get a syntax similar to exceptions! In a language with a ton of hard-coded syntax for all of these things you'd use a monad for in Haskell--whether it's error handling, asynchronous execution, scope allocation... whatever floats your boat--you should just use exceptions.
So the only way to push all people to buy EV right now is… distort the market with taxes on combustion engine vehicles.
I agreed with you until your last sentence. Solving alignment is not a necessity for solving hallucinations even though solving hallucinations is a necessity for solving alignment.

Put another way, you can have a hypothetical model that doesn't have hallucinations and still has no alignment but you can't have alignment if you have hallucinations. Alignment is about skillful lying/refusing to answer questions and is a more complex task than simply telling no lies. (My personal opinion is that trying to solve alignment is a dystopian action and should not be attempted.)
In the CUDA example [1] from carlini's "how I Use AI", I would guess that o1 would need less handholding to do what he wanted.

[1] https://chatgpt.com/share/1ead532d-3bd5-47c2-897c-2d77a38964...
Wasn't there a recent post about many research papers getting published with conclusions derived from buggy/incorrect code?

I'd put more hope in improving LLMs/derivatives than improving the level of effort and thought in code across the entire population of "people who code", especially the subset who would rather be doing something else with their time and effort / see it as a distraction from the "real" work that leverages their actual area of expertise.
Honestly postal code is better. There are many cities with the same name in the same state. Generally postal codes are logical boundaries.
Some departments have money, and some don't. Simple as that.

I find it very odd that people are trying to deny my experience here.
Been saying this from the beginning. Let's look at comparitor of a human result.

What is the likelihood that a junior college student with access to google will generate a "hallucination" after reading a textbook and doing some basic research on a given topic. Probably pretty high.

In our culture, we're often told to fake it till you make it. How many of us are probabilistic-ly hallucinating knowledge we've regurgitate from other sources?
Could be worse.

I remember when a bunch of WSO2 contribs broke off, made their own (AGPL) ESB, and created a 'ESB Performance' website that cherry picked specific scenarios to make WSO2 look worse than their product.

This was made funnier because the 'consultant' (really a buddy of management that used us as an experiment for all sorts of things, at least the code was readable, learned lots of languages fixing things lol) wound up having us go with the AGPL product, and it wasn't until I said to the team 'hey, lets try using the WSO2 docs as a cross reference' before we got productive.

I do miss the 'dramatic readings' of UltraESB docs, learned a colleague understood Pashto [0].

[0] - After a specific 'verse', the colleague pointed out one of the odd phrases in the docs that prompted this practice, was a colloquialism in that language.
Just as an example, this guide suddenly assumes that "yay" is installed. Even though AUR helpers like yay aren't officially recommended by ArchLinux and also aren't trivial to install.
He kinda moved to a farm life I think.
It was a gatekeeping strategy. Opening the gates means opening them for the people you like and the people you don't. Ultimately, it's the hackerly thing to do. Knowledge wants to be free.
I'm using Nix package manager on Fedora and it's OK.
TN: Tennessee. No mention of swamps on its wikipedia page. There are three bloody great major rivers mentioned and mountains, so I'm thinking hydro powered cattle prods, weights and a river.

You should be able to sell a carbon credit or two on that basis.
Maybe in the late ‘90s it may have been appropriate to use shell for this (I used Perl for this back then) sort of TUI, but now it’s wrong-headed to use shell for anything aside from bootstrapping into an appropriately dedicated set of TUI libraries such as Python, Ruby, or hell just…anything with proper functions, deps checks, and error-handling.
My work frustration with excel is not so much excel itself, but that people will destroy / delete / not understand formulas (or think they’re improving them…) and then the end result of their edits is garbage. However this is my fault usually for not using the protect / lock features well enough. I do know that notes explanations get overlooked. I’ve mitigated this slightly by almost always having in our shared a blank start, that’s just a backup to start from, and then the actual one to be used.
> LLMs are pretty good at giving you what you ask for. Not so good at telling you that you're asking for the wrong thing.

So they're comparable to rubber ducks. I would like to see data from a comparative study with rubber ducks, LLMs, and a control group.
I don't know when that narrative started, but it was not what I heard (high school in the 90s). I at one point thought out loud about majoring in Art in university, and everyone, parents, teachers, guidance counsellors said, "Buddy, not if you want an actual career! Major in engineering or something." Maybe the later generations got the bad "Major in anything" advice but I sure as heck didn't.
Two not insignificant earthquakes (3.4 and 3.5) were triggered in two attempts to drill for geothermal power plants in Switzerland. Switzerland is a seismically active area and it should theoretically be possible to generate significant power but these man made earthquakes set back projects for many years.
I think you may have a bit of hindsight bias. The internet was not immediately recognized as useful. One of my first jobs was at an e-commerce startup that folded in the dot com bust because (1) investors did not believe that our target customers would favor online shopping over ordering from physical catalogs, or (2) foresee how online sales might impact business operations or the viability / scalability of business models - such as drop shipping.
The "value of a degree" means the employment prospects for the degree holder.

Which is going to zero if the optimistic predictions are correct, so the optimistic professors should warn their students.

I understand the motivation for pure math quite well. It is about beauty, understanding things and discovering things for oneself. If computers do the work, the discovery part is gone and pure math is ruined.

For the non-research part, the AI zealots will want to replace all human labor with software.
[This video](https://www.youtube.com/watch?v=68z11VAYMS8) was a godsend when I first got started and I recommend it for anyone installing arch.
> Exactly - 12 years of education to get children ready to be citizens and not single class on how to manage a bank account, or even the most basic education about investments or actual wealth building.

I kind of disagree with this. At least in my high school this was definitely taught, but at the time we were all dumb 14-17 year olds who didn’t care about any of that stuff we just wanted to know what is needed to get an A and then forget about it, and that was the good students!

A problem about teaching life stuff in schools is that I don’t think many of the teenagers in high school are in a place where they can absorb that stuff long enough for it to be relevant many years later.
How did I miss your comment? I'd normally claim great minds think alike, but mine clearly isn't!
In addition, you must complete a four year degree in whatever before going to medical school.
Not a heresy at all. I went to two of the top 5 CS schools in the US and I barely recall anything I learned in there, almost everything I know ended up being self-taught later in a much more efficient manner than being student n.200 in a class taught by a researcher who barely speaks English and doesn't want to be teaching. The main upside was associating myself with those two brand names which later got me jobs and cofounders, but that's about it.
If people want Arch with a GUI installer I would recommend EndeavourOS instead of Manjaro. EOS offers a much more native/close-to-Arch experience while Manjaro has many more of its own repos/packages/OS modifications (and issues) and is more of a Linux Mint to Ubuntu situation.
Sure if it's online and multiplayer it's similar. My comment is not google over Microsoft but shared/multiplayer docs for tracking changes and reaching agreements in minutes for something that used to take (and for many still does take) weeks or months of manual reconciliation of printed paper documents
You can get exactly once processing, but not exactly once delivery.

https://bravenewgeek.com/you-cannot-have-exactly-once-delive...
My thoughts and prayers :-\ Wish you a quick recovery!
He mentions that he posed to O1 the same challenge he posed to a previous GPT (which he also previously blogged about), so I am wondering how much O1 benefited from potentially "seeing" this discussion in its training set (which probably contains a very well recent snapshot of the world wide web).
The phone doesn't have the memory/compute/cooling/or power budget to be a meaningful replacement for a desktop device which in turn doesn't hold a candle to the power or economy of doing it on the server side.

Herein privacy and utility are clearly in tension. The only sane thing to do is do it on the server but if you ARE going to do it locally doing it on a computer on the clients premises is the only way to actually do it because mobile devices power/compute/cooling/power budgets are so anemic whatever a synthetic benchmark says a device can do in the space of a moment or two.

I'm presuming that the ultimate strategy that a lot of players are going to actually follow is all server all the time wherein companies who are terribly concerned about privacy will rather than doing it locally do it on a server that they own.
Technically, you are right. Donald Knuth still doesn't use e-mail, after all.

But for the global "we" entity, it is almost certain that it is not going to heed your call.
I've commented on this before, but in this case I think it starts to fall onto the laps of the individual employees themselves by way of licensing, or at least some sort of certification system. Sure, you could skirt a test here or there, but then you'd only be shorting yourself when shit hits the fan. It'd be your license and essentially your livelihood on the line.

"Proper" engineering disciplines have similar systems like the Professional Engineer cert via the NSPE that requires designs be signed off. If you had the requirement that all software engineers (now with the certification actually bestowing them the proper title of 'engineer') sign off on their design, you could prevent the company from just finding someone else more unscrupulous to push that update or whatever through. If the entirety of the department or company is employing properly certificated people, they'd be stuck actually doing it the right way.

That's their incentive to do it correctly: sign your name to it, or lose your license, and just for drama's sake, don't collect $200, directly to jail. For the companies, employ properly licensed engineers, or risk unlimited downside liability when shit goes sideways, similar to what might happen if an engineering firm built a shoddy bridge.

Would a firm that peddles some sort of CRUD app need to go through all of this? If it handles toxic data like payments or health data or other PII, sure. Otherwise, probably not, just like you have small contracting outfits that build garden sheds or whatever being a bit different than those that maintain, say, cooling systems for nuclear plants. Perhaps a law might be written to include companies that work in certain industries or business lines to compel them to do this.
I had plenty of… fun, trying to write a mix config file from scratch. But I also didn’t know a thing about the language when I got started. :)
English is the global lingua franca. It’s how we interact with and transmit information, including ideas about accounting, engineering, etc.

It’s very fair to argue about the ROI of the average undergraduate English degree given the outrageous prices that universities are charging for them. But if you cannot see the tangible value in English language expertise, I don’t really know what to tell you.
But if you actually do know what you are doing, you know to set the cell type appropriately.
I don't think there is pressure to move F# teams off to C#. It's probably unheard of, but there is also a fact that few companies use it.

The bigger problem is that F# is even more affected by a problem that .NET suffers from in general, through no fault of its own: there is a degree of bias in the industry against .NET outside of its ecosystem (and even within it, some just skill to appreciate the tools they have) so perfectly capable and performant applications, the teams that own them are sometimes pushed to migrate to Go/TypeScript/even Java - all of which constitute a significant and equally frustrating downgrade. The most recent big example of that is Walmart forcing all ex-Jet.com teams to rewrite their F# codebase in Java, where the latter just faced with lack of understanding from Walmart's architects what their stack can even do or what it is.

Another factor is F# sometimes pushes just ever so slightly over the budget for "unconventional" - it's different enough from C-family of languages that it takes some getting used to, and has a learning curve. This combined with the fact that C# itself is very flexible and has been leaning into its functional side for a long time put F# in an awkward spot - it's not the kind of upgrade to C# that Scala or even Kotlin are to Java.

I think what will help F# is the growth of .NET adoption in the industry itself - it's just hands down better offering than most of the competition by sheer existence of ASP.NET Core and EF Core alone in the business domain, and is also a straightforward and fairly open core kind of an ecosystem - companies that use F# would likely find it much easier to contribute to F# itself or .NET runtime than companies that use Scala or Elixir or what have you. In a way, it really is just a marketing issue.
sysops. devops are prey!
well if you stand by them, do you plan to present actual evidence of the alleged conspiracy or are you just making these statements to troll?
Anything other than metal will be a big win. It's just a non-starter for developers of desktop quality games. Mobile ports sure.

But Apple has never really cared about gaming. During the powerpc era they had a short phase of paying aspyr to make some ports (most notably CoD 4 modern warfare and some battlefield ports) but it was over within a year.

Then about a decade later they had a phase around the 320M chipset where they promoted game releases. And again within a year they dropped the efforts and also let their OpenGL go totally stagnant. This caused for example elite dangerous to drop support.

Now we're stuck with metal. Apple is just too small in gaming for desktop game devs to bother with metal. Not sure if Vulkan will be best but metal surely isn't. And the added complexity of building for arm doesn't help either (arm on windows is non-existent on any hardware aimed at gaming)

I don't think Apple and Mac gaming will ever really become serious. I'm sure that if they do partner with studios like the last few times they'll just abandon the efforts like they always have.

I think the biggest problem is just Apple's total lack of interest (save for the few half-hearted efforts above) to make Mac gaming real.
... sorry, customers.
An annoyance with spreadsheets that deterred me from ever using them in teaching is that they've perpetuated a arithmetic order-of-precedence bug. ("Bug" in the sense that it contradicts long-standing mathematical convention.) If you type

-3^2

in a cell and press ENTER, the spreadsheet tell you it's "9". It should be "-9"; in math, exponentiation has precedence over unary minus, so you square 3, then negate the result. For instance, if you tell students to graph "y = -x^2", they should draw a parabola opening downward.

I don't have a recent copy of Excel to check this in, but this was the case in the '97 version. I just tried it in the current LibreOffice calc, and it returns "9". My guess is that one of the early spreadsheets messed up the order of precedence, and everybody after copied it for compatibility.

On the other hand, I just tried maxima and python and they both give "-9".

I wonder if this particular problem afflicts people who copy formulas from (say) math books into spreadsheets.
Perhaps it could be rescued by rephrasing them as "is always" versus "is never"?
I had a similar issue just two weeks ago at $DAYJOB. I was scraping a log file and I had written an awk script to convert the HH:MM:SS.uuuuuu timestamps to nanoseconds since epoch for ingestion by another tool. Little did I know that awk uses floating point for numbers internally, and so my conversion function was incorrectly rounding the result, which messed up my later analysis in arcane ways. To add insult to injury, I had the same problem again when paging through the data in Visidata, but there was an easy workaround I don't exactly remember.
> They're in agreement with each other

Oh. Oh! This is a confusing thread. Apologies all!
https://en.wikipedia.org/wiki/Shridhar_Chillal

Long nails have more serious problems.