skysight-inc/HackerNews huggingface dataset:
AI's endpoint in regards to "content" -- I use this term as broadly as possible -- is infinite bandwidth; every experience is deeply personalized.

In the early days of broadcast, there were a few radio stations and 72 hours of television programming in a 24 hour day.

Then cable came and more programming for dozens of special interests came into existence.

The Internet and streaming created yet more content that was both deeper and immensely broader on the dimension of special interests. In every niche there are hundreds if not thousands of creators.

Gen AI is an exponent. Every consumer if media can have their own creator tuned specifically to their nuanced taste.
Sorry I can't tell you cos its a personal story, but, they're already well known, and you'll hear of them I promise :)
One thing I find people don't talk enough about is how bad AWS documentation is, across the services. They contain outdated information about services, inconsistencies for the same feature, and lack explanation and meaningful examples to help you understand how things work and work together, even for common workflows. Example: try to make Sagemaker use EMR for Spark analysis, as a beginner who has little idea what IAM is and how to grant permissions for different services. It will be fun.

I am just amazed that people are able to navigate the services and configure them properly.
Ah. Ok. Scanning the length before printing is mandatory then.
Adding a property-changing prefix to "equivalent" makes it non-equivalent, I thought you would understand it if you were using the word "isomorphism".

> the point is to not use async functions locally in the context of pure logic. The pattern is imperative shell, functional core.

The point is that IO actions aren't `async defs`, because async defs don't have two important properties to hold eqivalence to IO actions in Haskell. I'm not sure why you're trying to cherry pick arguments to see your argument fit into the slots that don't accept coloring keywords where they don't belong to: seamless composition.
3 possible explanations here: https://x.com/SirMrMeowmeow/status/1856758101279666571
LIDAR probably doesn't work over forests
People use a broker for these amounts? I did a bunch of sales around 1m$ just with escrow myself. But that was a while ago; is it the norm or?
> Dwarkesh Patel

> How do you sustain yourself while writing full time?

> Gwern

> Patreon and savings. I have a Patreon which does around $900-$1000/month, and then I cover the rest with my savings. I got lucky with having some early Bitcoins and made enough to write for a long time, but not forever. So I try to spend as little as possible to make it last.

Then Dwarkesh just gets stuck on this $1k/month thing when Gwern right out of gate said that savings are being used.

Who knows how much of the savings are being used or how big of a profit he got from BTC.
The droplet I have is 32 GB ram, 160 GB disk, 16 vCPUs (dedicated CPU, Regular Intel).

What would you suggest me instead?

I see Hetzner and maybe OVH could cost significantly less.

Actually looks like with Hetzner I would get better specs at 115 eur per month. With 16 vCP, 64GB ram, 360 GB SSD.

That's crazy, I didn't realize there's such a huge difference.

I think your comment is actually impressively valuable to me...

I'm going to bring it all over during the weekend. That's really exciting to find out much cheaper prices, because I've had disk space running out constantly on my DO. I do all my docker builds, files, databases and everything there as well. And for side projects I usually value all the cache and development speed as opposed to trying to optimize everything to take min performance and storage.

Also I spend way too much on Supabase. I think also $300+/month and increasing, I will bring that over and self host with a large SSD. I think at this point I prefer self hosting a postgres anyway to Supabase. I just tried it for a while, but the costs started going up.

Thank you so much.

Edit: there's some limits in Hetzner initially, so it might take few months before I can actually migrate.
A team of 1 volunteer would already be equivalent to the resources that Google puts into this particular project.
This is imo a somewhat shortsighted take.

Reports are only as good as the trust placed in them.

What that really means is that trust is a function of asserted data and processing quality.

Ask any data scientist or analyst, it's 90% of the grunt work which is required upfront for data to have real value.

Sure, scale report generation, cool.

If you can't scale data quality and processing quality (in the sense alignment with the intended report use), reports aren't worth anything or have negative value if they lead to wrong decisions.

Guess who they're gonna call if a RAG report is erroneous or plain wrong?

Exactly, the research team the author calculated as obsolete...
Well, I need a mini server, like rpi3, ofc I will go for RISC-V (without arm, and if possible without hdmi/hardware mpeg codecs), but they are very hard to buy without big tech browsers. I may write my own mini kernel... for my mini servers.
ISTM that both sides are right here, but both are deep in the woods and missing the trees.

"This product does not contain machines!"
"No, but it is made using machines!"

(Remember the 6 classical machines: screw, inclined plane, wedge, lever, wheel and axle, and pulley.)

Perhaps, just maybe, the real problem here is that the basic machines the world has standardised on are junk, and you can't make junk into something good?

You can use junk to make good things, but you can't make good things out of junk.

Maybe the problem isn't Japan. Maybe the problem is that all modern software is junk, and even Japan can't make that good.
And implement cert reloading if your application reaches any kind of respectable uptime.
The disclaimers are fine.
App in the Air Shuts Down
Interesting also is the type of names that appear in so many western academic journals. What I mean to say is that even in Western journals "Alice" and "Bob" is quite rare
This also might just mean that you're interested in X thing, and the writing you find interesting is by people in the same subculture.
I'm fairly sure it's relatively true (except for occasional extra purchases on top) unless he's been keeping it up in places I wouldn't expect him to.

I don't like that now people might pigeonhole him a bit by thinking about his effective frugality but I do hope he gets a ton of donations (either directly or via patreon.com/gwern ) to make up for it.
He has to restore noscript/basic (x)html in X already, and what he does not know: it is going to be tougher than building telsa and spacex...
Have you got any real evidence behind your first paragraph?
> Most of them seem overconfident that they could write papers of similar quality if they ever tried. But so far, according to all of them, they have not.

Ah, the illusion of knowledge..

Coming from an education system where writing lengthy prose and essays is expected for every topic from literature to mathematics, I can confidently say that, after not having actively practiced that form of writing for over a decade, I wouldn't be able to produce a paper of what was considered average-quality back then. It would take time, effort, and a few tries, despite years and years of previous practice. Even more so if the only medium in front of me would be a blank sheet of paper and a pen.

So to confidently claim you can produce something of high quality when you've never really done it before is.. ..misguided.

But in the end, perhaps not really different to the illusion knowledge one gets with google at its fingertips. Pull the plug, and you are left with nothing.
Show HN: VictoriaLogs v1.0.0 Release
Hi, HN friends!

I'm pleased to announce production-ready release of VictoriaLogs - open source database for logs! It has the following features:

- It is easy to manage - just a single small executable without external dependencies, which just works. There is no need in complex configuration and tuning - it works optimally with any logs - structured and/or unstructured (aka plaintext logs) - out of the box.

- It accepts logs from all the popular log collectors and shippers - see https://docs.victoriametrics.com/victorialogs/data-ingestion... , so you can try it alongside the existing database for logs, without significant changes in your setup.

- It needs up to 30x less RAM than Elasticsearch for the same amounts of logs, while providing the same performance for full-text search.

- It needs up to 15x less disk space for storing the ingested logs than Elasticsearch.

- It provides easy yet powerful and fast query language for typical log analysis tasks, including analytical tasks - LogsQL. See https://docs.victoriametrics.com/victorialogs/logsql/

- It is optimized for storing and querying wide events (aka logs with hundreds of high-cardinality fields).

- It provides an excellent integration with traditional command-line tools such as grep, awk, less, tail, etc. See https://docs.victoriametrics.com/victorialogs/querying/#comm...

- It provides tools for generating metrics and alerts from the ingested logs - see https://docs.victoriametrics.com/victorialogs/vmalert/

- It is optimized for efficient storing and querying large volumes of logs (e.g. tens of terabytes and more).

Try VictoriaLogs alongside your existing solution and then decide whether it is worth switching to VictoriaLogs!
This was too confusing to figure out in 3 seconds so I left

Sounded like a great concept but execution should be revisited
Not going to happen in the US for the next few years, at least.

Jeff Bezos killed the endorsement because he wanted Trump to win. Trump will return the favor.
It is still better than Google Translate like it always has been, almost as if Google did not care about their translator, especially "post-ChatGPT" it is not supposed to be this inaccurate.

I think they will just go the AI/LLM/ML route, too.
Looks like he's beyond space and time and does not give a f** about material world :D
Actually, it shows the real problem about education... and what education is for!

Education is not a way to memorize a lot of knowledge, but a way to train your brain to recognize patterns and to learn. Obviously you need some knowledges too, but you generally dont need to be an expert, only to have "basic" knowledges.

Studying different domains allow to learn some different knowledges but also to learn new way of thinking.

For example : geography allows you to understand geopolitic and often sociology and history. And urban city design. And war strategy. And architecture...

So, when students are using LLM (and it's worst for children), they're missing on training their brain (yes... they get dumber) and learning basic human knowledge (so more prone to any fake news, even the most obvious)
As an individual, I still go to DeepL while actively using LLMs. I think the main reason is that the translations are very good, with alternatives in one click, without having to type "translate xxxx into yyyy".

My previous company ran tests on translations, for their specific use case, DeepL API was overall better that OpenAI or Claude.
In my experience, its more the older ones that "just don't care that much about winning an argument at work", because we've learned over time to choose our battles, and "the healthy art of not giving a s**" . Maybe come back in 10 yrs time and see if you still think this? ;)
I met him at a Slate Star Codex meetup in 2018 and at a conference in 2022.
$79.95 on Amazon: RinseWorks- All Brass Aquaus 360 Handheld Bidet Sprayer for Toilet - NSF Plumbing Code Certified Legal Installation Ergonomic Dual Thumb Pressure Controls- 3”-11” Spray
I just spent 6 weeks in Japan, where EVERY toilet had some version of the Toto bidet toilet seat. And while I appreciated that it was everywhere, whereas in every other country bidets can barely ever be found; I was happy to return to my Bidet Sprayer, with a MUCH stronger adjustable spray, that cleans me out, and leaves no brown on the single swipe of toilet paper.
Their translation is still substantially better than what most LLMs can offer. Certainly for languages where LLMs have very little training data for.
The authors are aware of SPARK and are trying to bring that to C++.
I disagree with your diagnosis.

I think these are good examples of Japanese corporate culture being quite insular, often not just of the world outside Japan, but often of the world outside the same company. Product design often stumbles because it focuses on the needs of the company not the customers (not a uniquely Japanese problem; cough Google).

It’s not a problem of people not appreciating good products - e.g. smart phones rapidly displaced the old “garakei” feature phones in Japan. Japanese consumers clearly appreciated them, just like they clearly appreciate fruit peelers..

Rather the mobile makers that reached market dominance became complacent. They failed to innovate, failed to expand overseas and were disrupted by innovative products.
> "The compiler is unable to type-check this expression in reasonable time"

Lol this sounds funny, any other compilers that do this? Why does this happen exactly?

> It does not even tell you what part of code it is having issues with so you could change it. You have to comment/uncomment blocks of code to find the problematic part.

Awful.
Well, in fairness I would probably take "error messages point to a file location" over "lifetime annotations for C++ FFI".
Same. I will never touch AWS because the risk of accidentally bankrupting our business due to some small configuration mistake is just way too large.
Yep in some way the programmer needs to express that the routine will have to _continue_ when IO completes (which will necessarily go up to the top of the stack in some way, unless you don't care about the result of the IO operation), or the runtime needs to block until IO completes.
Firefox and uBlock Origin definitely make the web more usable and I’m shocked when I occasionally see what a non-techie friend’s browser screen looks like. However, adblock is only a band-aid over the dying of the web overall. Blogs are dead, forums are dead, ostensible replacements like Reddit or microblogging sites suffer from the decline in longform text and nuance (as their userbase is overwhelmingly contributing from mobile devices now). So much information that would have once been presented in efficient text is now in time-wasting video, etc.

Thanks to LibGen and Anna’s Archive, I find myself reading actual books more these days, many published long before I was even born, to scratch my itch for learning. Wikipedia aside, a bunch of pirated grayscale scans from university libraries is suddenly more fulfilling than the information superhighway that the web was hyped to be.
once you outgrow a single machine, unsecured network connections become an issue again
Java 8 -> 11 upgrade was kind of a pain, and so was 11 -> 17. After that though, it's smooth sailing. I think breaking changes for the module system are over.
> There is no rational, data-driven argument against optional remote work

If we ignore tangentially relevant (from the company's perspective) stuff like employee wellbeing etc. the same could be said about WFH.
Is this largely supplanted by LLMs?
I don't know which project is going to make it and which is not; will be very painful opening companies for all of these. So I open one once something is doing $5k+/mo only.
SG23 has done a lot in C++26 around this.
https://en.wikipedia.org/wiki/Faddeev–Popov_ghost#Appearance...

are these triangles determinate, or is there a search process involved?

(maybe I ought to be looking for "ghost faces" that'd simplify my existing edge & vertex model of computation?)
exactly zero companies care about their employees
You have forgotten that pedagogy is based on science and research. That is why it is effective for the masses. Anecdotal evidence will never refute the result. Take learning to read, for example. While you can learn to read in a number of ways, some of which are quite unusual, such as memorising the whole picture book and its sound, research has clearly shown that using the phonics approach is the most effective. Or take maths. It's obvious that some people are good at maths, even if they don't seem to do much work. But research has shown time and time again that to be good at maths you need to practice, including doing homework.

So learning to recognise the phonics and blend them together may not be better for one pupil, but it is clearly better for most. This is what the curriculum and most teachers' classroom practice is all about.
Reading C Type Declarations: http://unixwiz.net/techtips/reading-cdecl.html

(NOT the author. It simply helped me.)
That was interesting, thank you for sharing. I was particularly surprised by [paraphrased] a disproportionate number of CIA employees are Mormon.

Faking your own death - contact the Amelia Project /j
Thanks for that, and thanks for Keras

Another happy Keras user here (under TF - but even before with Theano)
I’ve been wondering the same thing. As near as I can tell from the explanations on the website and in the videos, this DeepL Voice does not seem to be based on a multimodal large language model. Rather, it’s probably using text-to-speech and speech-to-text models linked through a translation engine. If that’s true, it means it can’t “hear” the tone of voice of the speakers. More important, it doesn’t seem to be promptable—that is, it cannot be told what the situation is, who the speakers are, or the type of translation desired. Those are all possible with OpenAI’s Advanced Voice mode, and they can make the difference between successful and unsuccessful interpretation.

That said, DeepL is focused on providing translation services, which the large LLM companies are not. Even if DeepL’s translation engines are not as powerful as the strongest commercial LLMs, they might be able to compete in other ways, such as security guarantees, on-device operation, and training and support.
A hundred years ago you could say the same about the Bloomsbury Group.

I don't know what causes such intellectual cliques to form, perhaps it's a result of an intersection of raw intellectual power and social dynamics.
great write up.

> $920k over four years

so this gives an average yearly salary of 230k. Very close to FAANG senior salary with much more risk, effort and (probably) worse life-work balance. OP quit from google in 2018 and ran some other business, and this is his biggest sale so far. I think it shows how hard it is to make better money outside FAANG even when extremely talented and lucky like OP. But it's probably more about lifestyle choices.
OP: equipment note for you at the end of this-

Most folks aren't really familiar with what training for competitive cycling (or structured training in general) looks like.

There are large, month-scale blocks where you're simply building aerobic capacity by cycling at low-ish intensity. Heart rate is somewhere between 115 and 145 for me personally during these efforts. 15 hour (or more!) weeks are not uncommon.

Nils van der Poel was doing something like 6-hour blocks of zone 2 during his base season as an Olympic speed skater.

When outdoor riding is available, it's preferable, but indoor trainer sessions are basically always more time efficient for a given training load. You make consistent power, there aren't street lights or flat tires. If you run out of carb mix you go to the kitchen and fetch more. In winter, it's the only reasonable option. Going for a ride in -15C and salt slush is fine for a commute (crazy, I know), but doing it for 15 hours a week, probably in the dark, is not reasonable. Indoor is the only practical option to get this training load in winter.

Most people just watch TV or use Zwift (social riding simulator) during these blocks. I'm not much of a TV guy, and to be honest, I find a good technical problem to be great distraction from the drudgery of Zone 2.

Note for OP: I've actually considered using a split keyboard in a very similar way to this. I run aero bars on my bikes for ultra-distance events, and I have them on the trainer right now. At some point I would like to mount a split keyboard to the aero extensions themselves - this would take all the load off the wrists. It is also possible to use the aero bar armrests without the extensions and to be able to type this way. If I end up prototyping this I will shoot you an email.
The headline contradicts itself. Gwern is pseudonymous, not anonymous.
The premise is that using proper code navigation functions will increase productivity over grep. Not that using an IDE will increase productivity over vim, assuming you use actual code navigation tools in vim.

As for the click: all IDEs and all code navigation tools for popular text editors like vim or emacs have full keyboard support. And M-. Or F2 or whatever are much quicker to type than "grep function_name".
> The moral of the story? Don't ever use AWS tools like the one the OP describes, ones which create a bunch of different resources for you automatically.

i use them to create a small test stack to look at it for a day or two.

then go through, delete all of the resources, put what i need into terraform etc.

has worked well for me in the past.

but yeah, i would never blindly use aws tools to magically put something into production.
SLSA aims to achieve this, though, right? Specifically going from level 2 to level 3.
See also Amazon Web Services dark patterns: https://lapcatsoftware.com/articles/2024/6/7.html
Show HN: Template Based ReadME Generator
Hey HN!

A few months back, I updated one of my old open-source projects, makeread.me.

I’ve always enjoyed working on short, quick open-source or personal projects, and one thing I found really annoying was writing README files. I tried using tools like readme.so, but I still found myself doing a lot of manual text editing, and the result was often inconsistent across different projects.

So, I built makeread.me — a flexible, template-based README generator.

It uses Nunjucks and a strongly-typed schema on the backend, making it super easy to extend and customize. If you want to add your own templates, you can simply raise a PR and update the typings or fork it for your own uses.

Would love to hear any feedback or suggestions!
So you bothered to print 500 pages instead of just saying "you can't do that but most likely it will grab value of neighboring variables"?
Meh.

He's living in a place where the floor collapsed and eats (good) ramen. If it's 12k or 20k I'm not sure it makes a meaningful difference to the narrative.
My point wasn't about it being necessary. The point is what it may happen as part of complex engineering involving multiple components and large organizations. And/or by integrating consumer tech - the cheap consumer drones are actively used in the modern war and they may have such fallback mode which would be fine for civilian drone, until of course the drone gets a real warhead attached :)
We missed the boat on that in the US, better luck in 2028
Fair enough, I'm convinced now.
Leakage and the reproducibility crisis in machine-learning-based science
I will disagree here. I found ChatGPT better at English <-> German translation than DeepL. Especially at translating slang and online speak where DeepL would shit the bed.
Hosting a hobby project without credit card and How I did it
Septerra Core for instance, last I checked (2022) gog required quite a lot of searching and effort from the user (missing files, recompiled exe), while Steam version works out of the box. FEAR: Extraction Point also ran somewhat better off Steam IME.
Kinda sobering when you think about it.
Learning the basics you need is just one part. It takes far longer to get used to actually using what you learned. Whereas switching from IntelliJ to VSCode, you'll need the basic setup and appropriate plug-ins, and then you'll be basically fully up to speed. You'll take much longer just to get used to M-w instead of Ctrl+C.
> Listen brother, everybody knows how to write good software

But they are very shy. /s
Well done AWS for finding a way to make your technical debt cost other people money.