skysight-inc/HackerNews huggingface dataset:
It's trivial to spin up a PG instance on an AF_LOCAL (Unix domain) socket, create the DB, populate it with schema and test data, then run your app's tests. If all the tests have different non-overlapping data then you can even share the one instance for all the tests.
The one thing I greatly appreciate about Rspec (in RoR apps) is its ability to fully test the data layer. I maintain several such apps and database mocks are completely unnecessary, even going so far as to doing complete db setup and teardown between cases. Other apps I work on don’t really have this paradigm, so we resort to a combination of unit testing (JUnit) — which does involve significant mocking — and behavioral testing (Selenium) which of course indirectly tests database interaction. In the end, both methods accomplish the same goal of database testing but ideally you want “all of the above” to uncover edge cases, especially with critical infrastructure apps.
Google doesn't pay them to be competition. Only to appear as such to keep regulators distracted.
Wanted to try with o1 and o1-mini but looks like there's no code available, although I guess I could just ask 3.5 Sonnet/o1 to make the evaluation suite ;)
Hope this is using Pantone copyrighted colors, because otherwise a yearly subscription with no perpetual fallback license is rather ridiculous for a theme. /s
There are similar superstitions around proprietary software, I hope one day you are able to overcome it before you waste too much of your precious time
> Firefox is buggy as hell

Don't you worry, I'm sure their new AI Assistant will generate a ton of bugfix code!!11 AI gonna take all teh jobs, or so I hear

But, as a more serious contribution: the sentiment "At this point Firefox needs to die and something new and manageable" is the same one which generates the infinite JavaScript treadmill akin to: "I don't like all those bloated JS frameworks, I want one slim and fast and manegable ... well, except this one other feature ... and this other ... oh, shit, this needs to die and have something new and manageable take its place ..."

It's not that I think Gecko is the bees knees, but I do think it has stepped on more than its fair share of real life landmines, and the Great Rewrite Theory means someone needs to spend all that time re-discovering them
Many times the web browser works, but there are some cases where it doesn't or is just a much worse experience. Or even some apple-specific stuff, like my mom enjoys calling me via facetime.

Having the second device just opens up more chances that you have something that works.
I've been using Zen recently - it's a fork/skin of Firefox that includes vertical tabs.
My cheap and dirty way of dealing with bots like that is to block any IP address that accesses any URLs in robots.txt. It's not a perfect strategy but it gives me pretty good results given the simplicity to implement.
No. You completely missed what I said. I differentiated between unit tests and integration tests. Your imperative shell is not testable in the context of unit tests. However you must test it via integration tests.

Mocks are a utility for unit tests hence the topic of this post. We are talking about unit tests and mocking aspects of the unit test that can’t be tested via unit tests.

Integration tests are another topic. With integration tests or end to end tests you test everything. You don’t mock. Mocking is not really a valid concept in the context of integration tests.
I'm currently posting from a Dell Inspiron 3505 which has an 8-core AMD CPU and 6gb of ram. I got it new for roughly $300 and from quickly looking on ebay can be had for under $200 used.

I'm waiting on the mail for a $70 Chromebook with 8gb of ram and a 2-core/4-thread CPU to replace this laptop because of a half-damaged charging port. I picked a Chromebook for the 10+ hour battery life, the same reason you chose a Macbook that costs 10x as much.

I use a terminal text editor to write code and I use a web browser for everything else. If it wasn't for browsers being so bloated and desktop applications made with electron, I would be happy to settle with a laptop that had even just 4gb of ram.
>> This is all weasel words, and you've misspelled "Schroedinger"/"Schrödinger". That sort of comment might be fine for the pub, but on the internet you don't have to say anything and if you do it may as well have some substance.

> ... I can't invalidate your sense of awe.

Actually, yes. Yes, you can.

And so could I, or anyone really, given sufficiently focused vitriol.

For example, your sentence fragment "This is all weasel words" is incorrect English. "This is" should use the plural form "These are" as the subject is "words" and not "weasel", as well as the modifier "all" emphasizing plurality.

The irony of your subsequently pointing out a spelling error and then chastising the OP for same has not been lost.
Elt – Web UI lib based on Observable pattern and MutationObserver in TypeScript
What a horrible web site. My eyes hurt. I'll need Orbit to summarize it.
Desktop Linux market share speaks for itself. It's basically 0 or close to 0.

I know I know it's been around 2 or even 3%. It's laughable. And 99% of its users are hackers (programmers/developers/engineers/scientists/etc).
I might be stupid but I've been looking all over your docs and still can't figure out how to setup the Job itself or what are the specs for the running job (cpu, memory, etc...)
Based on what, China is too successful as it stands? Maybe they need to handicap themselves to appear less threatening?

The contribution that the finance people in the US made was to - accurately - identify that if they moved all the investment overseas then the US wouldn't need to work as hard. They were correct. The result has been massive leaps and bounds in Asian prosperity and living standards. Which is good for the world, but probably not the sort of strategy that the US wanted to adopt. Typically countries are supposed to promote the interests of the people living inside the borders instead of build up competitors. I dunno, maybe it was intentional but it'd have been cleverer to invest more in the US.

There is a pretty good chance that China implodes because of the authoritarian and bureaucratic streak their government has. But the US's financiers are, if anything, one of the key ingredients helping it revert to the mean from an economically dominant position.
And I can actually build and package it from source in about 2 hours, unlike the other monstrosity, which surely must lower the barrier to contribution. Almost as much as Bugzilla raises it, I guess :-(
Don't forget the option for sane, standard behavior with shift+tab. Chrome refuses to let you customize shortcut behavior like that
Is it desktop Linux though?

Or it's a gaming handheld? Only why would you call it a desktop OS then?
I think stable means both. I actually meant it in the second sense - Manjaro is significantly more likely to go wrong in ways that require fixing.

I should have used a less ambiguous term in this context though.
I’m adjacent to some people who do AoC competitively and it’s clear many of the top 10 and maybe 1/2 of the top 100 this year were heavily LLM assisted or wholly done by LLMs in a loop. They won first place on many days. It was disappointing to the community that people cheated and went against the community’s wishes but it’s clear LLMs can do much better than described here
And who are 'the people'? It's an open source product, developed by a non-profit organisation. You want the government to release a browser? I can tell you how popular that will be...
China has something like 35 years of coal reserves, based on current estimates and assuming mining holds flat.

Given the ~50% of their energy mix that's coal [0], that becomes a fix-it-ASAP problem for their economy.

[0] https://ourworldindata.org/grapher/share-energy-source-sub?c...
You get regular dark mode for free, but if you want the "none more black" Spinal Tap version, you'll have to shell out.
> It is the Win32 API and DirectX.

Linux is great at emulating something. Yeah.

Mind the word "native" though.
Browsers are a means to an end for other major providers excluding for Opera. They can be loss leaders even, as long as they do their job of steering users towards proprietary ecosystems
That's been the case indeed. Thanks a lot.
From the Tables page:

Important update: The Beta program is now closed
Tables is no longer accepting new users for its Beta program
I always took that opening scene as establishing how tough and capable the 3 waiting gunmen are. How hard would it be to catch a fly inside a gun barrel?? But this guy does it first try. Seems to imply incredible reflexes.
Solving TSP: From Heuristics to a Potential Polynomial-Time Breakthrough
I badly, badly wish Obsidian had some kind of database/spreadsheet feature. I'm limping along with LibreOffice spreadsheets for privacy, but it's a pain having my notes in two different formats. And I miss grep.
Core Principles for Productivity
Only within the confines of web usage, unless you know something about Firefox Sync injecting passwords into Android apps or environment variables

Also, like it or not, I think Passkeys/WebAuthn is going to be pushed more and more, so without a user focused way to own them, that's another reason not to try and use a browser (any of them!) as a password store
> A significant fraction of the software I use is installed through yay’s extra packages which do frequently require building from source so it’s not just a Gentoo thing.

Which is why I said "or similar". I actually had AUR in mind (as I use Manjaro).
What China's persistent deflation means for the world economy
Looks like money washing lol
Not pure garbage I'd say but too many projects are indeed lacking.

glibc has worked great except there's no forward compatibility :-)
For some of the stated reasons this seems like a terrible way to diversify and add any revenue. What if they take a page from Silicon Valley? If the US Government makes Hooli, I mean Google, divest Chrome could Mozilla acquire it?
I haven't seen the "stored procs only"-style of DB development since the early 2000's, and I'd never go back to that.
Amir on why they didn't go with crystal

https://ruby.social/@amirrajan/113655343888344967
This is controllable by customizing TargetLibraryInfo [1] for your target in LLVM. Note, however, that detecting memcpy is always a valid optimization in C, not just in userspace. The C language standard, not POSIX, requires that a function spelled "memcpy" be available.

As a side note, the optimization pass that detects and replaces memcpy is called LoopIdiomRecognize [2]. It actually detects quite a bit, not just memcpy.

[1]: https://llvm.org/doxygen/TargetLibraryInfo_8cpp_source.html

[2]: https://llvm.org/doxygen/LoopIdiomRecognize_8cpp.html
No one, you could read just the first couple of paragraphs.

The PC is more or less dead and Linux on desktop is even more dead.
Thank you for posting this. The search term "calea solutions"[1] also brings up some relevant material, such as networking companies advising how to set up interception, and an old note from the DoJ[2] grumbling about low adoption in 2004 and interesting tidbits about how the government sponsored the costs for its implementation.

[1] https://www.google.com/search?client=firefox-b-d&q=calea+sol...

[2] https://oig.justice.gov/reports/FBI/a0419/findings.htm
Also,

> Table’s features and capabilities are now integrated into AppSheet, our no-code platform that blah blah blah

Seems like a usual Google product in that if you use it, you'll be forced to migrate all your data/workflows to some shiny new thing every few years.
Often device drivers specific to the model of handset are only available as pre-compiled binary blobs, and will not run with any future kernel release without herculean effort to reverse engineer them and implement a shim. This effectively ties the hardware to a single kernel release.

The practice makes ewaste of otherwise perfectly usable devices, and should be illegal.
I'm doing fine thanks. You could find me among Linux kernel contributors.
When to Talk, When to Click
> That will be different for every input file

That could be different for every input file, but it doesn't have to be. It could also be a fixed dictionary. For example, ZLIB allows for a user-defined dictionary [1].

In this case, I'd consider the LLM to be a fixed dictionary of sorts. A very large, fixed dictionary with probabilistic return values.

[1] https://www.rfc-editor.org/rfc/rfc1950#page-9
https://people.kernel.org/kees/colliding-with-the-sha-prefix... is the actual link; the lwn article is just a link to it with a one sentence summary and a short quote.
I shudder to think how current LLMs would go with this. I guess we can currently do this easily for still images and audio. Kind of reminds me of Translation Party.
I've built quite a few dashboards while working on proof-of-concept feature/product engineering. Even though people often think I'm joking, almost always the backend database was a Google Sheet. Google Sheets has great API support, easy to write functionality, convenient read and file dumps, works well with Pandas/SQL, and has a universally appreciated UX. Data validation can be annoying if the "admin" directly enters data, but for building a proof of concept, nothing beats Google Sheets. The data from Google Sheets would be passed through an API to a web UI/dashboard. The dashboard I built for end users was a simple Bootstrap (Vue-Bootstrap) table from the API, with enough easy-to-use filters and views to work out of the box. If the data was too large, I would use a templated snippet to convert the JSON into a card view. Ignoring long-term maintainability, this was one of the most foolproof ways to build dashboards. After that, I'd slap Firebase Auth on top, and that was it.

I haven't worked on these types of projects for nearly two years now. Folks I know use Retool or Softr with an API connectivity platform like Portable, Pipedream, or Zapier. If you're staring at a spreadsheet on a daily basis, the next step should be looking into an app builder combined with an API connection platform.
Maybe it's good to assume that but at this point that is not going to purposely happen at a company like Google or Amazon. The risk, which is a near certainty to bear out if they have any decent employees among the tens of thousands (esp. with the weekly "I'm leaving because I hate this company" screeds these companies yield), isn't worth whatever little reward they might find in your data.
In your post you talk about forking and rolling back.

I bet the same can be done for SP, even if is a fork and add suffix approach

The calling code can call either

On a phone hope I’m clear enough
Haha is using Inconsolata a flex?
I’m not sure how this generalises to grammar based compression such as SEQUITUR for example is… incidentally LZW also is though not advertised as such.

Devising the minimal grammar that generates the text is NP-hard (https://en.m.wikipedia.org/wiki/Smallest_grammar_problem)

Math seems very limited when it comes to reasoning about generative grammars and their unfolding into text. Should the apparatus been there we’d probably had grammar/prolog based AI long ago…
Roads teeming with robotaxis, crossing the street can be harrowing
You mean a page without 30MB of JavaScript dependencies, 50MB of images, 10MB of fonts and not sucking all your private data is "low quality".

Yeah, you're absolutely right, I'm going for quality content, not shiny crap.
The Visual C++ .NET 2002 runtime shipped with Windows 95?

To be fair, I've seen plenty of commercial Windows software ship over the years without runtime components required on the original supported OS (or with required redistributable components that had to be separately installed from the distribution CD-ROM for no well-explained reason).
I did the same for 21. Now I know better.
Show HN: Creating Skew-T Log-P diagrams from the Rapid Refresh (RAP) model
A few weeks ago there was a request for GribStream to support this particular model https://www.nco.ncep.noaa.gov/pmb/products/rap/ to use it on Skew-T Log-P diagrams and so after banging my head against jpeg2000 compressed data within grib2 files I finally got it :).

I'm sharing a python example to show how to create these charts.

A Skew-T Log-P diagram is a type of thermodynamic chart used primarily in meteorology to plot atmospheric temperature and dew point profiles at various pressure levels. The "Skew-T" refers to the angle at which temperature lines are skewed from the vertical, and "Log-P" indicates that the vertical coordinate is scaled logarithmically with pressure, which decreases with altitude. This diagram helps meteorologists visualize and predict weather phenomena such as cloud formation, stability, and potential for severe weather by analyzing temperature, humidity, and wind changes with height. It is an essential tool for understanding the atmospheric environment and for making decisions related to weather forecasting and research.

For example, where the temperature and dew point lines converge on the diagram, it indicates the altitude at which the air becomes saturated. This is the height at which clouds begin to form. Closer convergence near the ground suggests higher humidity and potential for fog or low clouds.

Enjoy!
> market rate housing sells at market rates no matter how it is built.

This is true. Do you see any opportunity for efficiencies in rebuilds?
I have no idea what you're trying to say, and I suspect you might've completely misunderstood what I wrote.
I ran a BBS for several years in the late 80s, early 90s as a teen and dialed out to countless others with the help of Focke’s BBS List and Qmodem - thank you so much John for your contributions. RIP.
Most non-tech "normies", which is to say 95% of the population, barely know what a browser is. They couldn't describe the function of one, or discriminate what makes one better than another. They certainly won't give a crap about Servo, or extremely marginal improvements in page load time (at best).
I just asked the question because I wonder if getting more responsive/agile to security protocol updates should become more of a norm. Why not start as an example of that here if it doesn't take much cost/time/effort? For whatever reason it doesn't seem like just security theater. NIST, Google, Apple, and others seem to be taking this admittedly unknown threat seriously. It's good to balance skepticism with curiosity here I think (the podcast episode below agrees). The certainty of this happening anytime soon is publicly unknown of course, but if in the rare chance it happens, even within a decade or two, the consequences could be serious. Apparently it was Richard Feynman, perhaps amongst others who raised the question regarding quantum computers according to this interesting Google podcast. During the podcast a host reportedly with an apparent PhD in Quantum Mechanics started to take it more seriously.. Thank you for your thoughtful response!
https://cloud.withgoogle.com/cloudsecurity/podcast/ep164-qua...
I doubt it's completely false. So...same to you, I guess.
In this case, they're talking about the Bitlocker disk encryption PIN, which is in _addition_ to the Windows password, or more common now, PIN. You can set them both to the same thing if you choose.

The disk PIN on boot is uncommon/harder to do for home users, but it's a common setup in the corpo world. Enforced by AD, or Intune.
The least cynical view, in my opinion, is that Google is an ad company, which ultimately means they are a data company. They don't need Mozilla to build a better browser, they need Mozilla to increase the amount of user data Google can collect and ad spots Google can sell.

The more cynical view is that Google doesn't care at all about Mozilla because the investment is nothing more than a hedge against regulatory pressure.
Gambling with Language Models
Hi all,

Here's a write up of me fine-tuning ModernBert for regression to try beat the market.

I hope you all enjoy!
It is possible for the core protocol to be tightly secure, while a bug in a peripheral area of the software leads to total compromise. Weakest link, etc. One-time formal verification is only sufficient in a very narrow sense.
I love this so much

The controls are so unusual and interesting!

Not too difficult, beat it in maybe 15 minutes.
> I mean, that's just false. Most drivers are done as kernel modules and you can push/pull them in without missing a beat.

0.1% of people in the world could that. 0.001% of people in the world would do that.

That's not false, your understanding of a decent OS is just lacking. In Windows you can swap drivers however you want given they support your Windows version.
Out of curiosity, what "obvious reasons" issues have you had with Docs and YouTube. I use Firefox for everything, including those, without problems. (Though not in any kind of advanced way.)
> For macOS and Windows you basically have a model where you can go to a website, download a binary, install it, and it runs.

Both are moving away from that model.
I really wish I could run this against a local ollama instance.
Just look at PuTTY and e521 keys.

Or go back to Dual_EC_DRBG.

Unless DJB has blessed it, I'll pass.
Safari and Edge have larger market shares, they don't need Firefox for that.
Are you developing directly against your production database?
> ...I don't think the NRC (Nuclear Regulatory Commission) is doing a bad job...

"He has a master's from Yale Divinity School and Yale School of Forestry and Environmental Studies, and a Bachelor of Arts degree in Religious Studies from Valparaiso University."

Christopher Hanson, current chair of the United States Nuclear Regulatory Commission. https://en.wikipedia.org/wiki/Christopher_T._Hanson

He's one of the better ones as he isn't actively trying to block new reactors going up. There are some gems on the other Chairperson wiki pages like "called for a global ban on nuclear power" (Gregory Jaczko if you want to look it up).
Depends. If they start with this and then use it as iterative development before going local-only as the models and hardware improve, that could be a good move.
> but it is an extra pain.

I've bricked several Samsung devices trying to flash Lineage on them. It is important to follow the Lineage installation instructions very closely.
I read somewhere that this was Turing's preparation for the Cambridge entrance exam; so I read through it in sixth form before sitting the STEP exams (modern equivalent for mathematics or CS with, and perhaps other programmes depending on college). I failed them, but that's a review of my naïveté, not the work!
we should mine the shit out of it
TIL: Robo-cars can’t be ticketed or tossed in jail[1]. So, they’re free to continue ignoring pedestrian crossings.

1 - https://www.nbcbayarea.com/investigations/california-driverl...
Trump is not a great business man, but one thing they are good at is playing the media. I assure you Trump, the person, couldn’t care less about trans people, for better or worse. The fact that you’re even talking about trans at all, as opposed to the fact that they’re a felon, proves it all.
"Hexapodia is the key insight."
You should check out Fibery. It’s ultimately like Notion but a lot more performant and less “finicky” due to being too clever about UX, in my opinion.
I have lots of ten year old Android apps running on my Android 14 without too many issues.

In Wine/Windows I run Windows applications from the 90s. In Windows 11 64 you can install and use Office 97.

In Linux nothing even close is possible. People do care about old applications. They really do.
And, even if you can connect with your own client, can you trust the server is running the code they claim it is? They were caught running proprietary server code for a time in 2020-2021. https://github.com/signalapp/Signal-Android/issues/11101#iss... / https://news.ycombinator.com/item?id=26715223
Please, stop this cheap marketing
I used qmodem as late as the 90s for transferring files from an SDF-like remote UNIX shell account to a home PC. Great program. RIP.
I think this should be a Show HN?