skysight-inc/HackerNews huggingface dataset:
Backup Amazon RDS Databases in FOUR simple commands:

1. docker run -it ghcr.io/dbsnapper/dbsnapper:latest /bin/bash

2. dbsnapper config init

3. dbsnapper auth token <YOUR_DBSNAPPER_CLOUD_AUTH_TOKEN>

4. dbsnapper build amazon-rds-postgres

Eliminates time spent setting up environments, installing tools, and other overhead often required when creating database snapshots.

I'm the founder of DBSnapper - if you're interested in learning more, get in touch at joe@dbsnapper.com
I'll try to expose again my idea that somebody should try to use fast (and cheap) local LLMs to resolve conflicts. So you have a stateless CRDT, and when conflict updates reach the server, you ask the LLM how to merge them. You mark the merge with some attribute so that users will see it with a different background or alike to review to check if it's sane.
training isn't getting less intensive, its just that adding more GPUs is now more practical
LinkedIn was originally built in Ruby, containing 60k lines of code

https://queue.acm.org/detail.cfm?id=2567673

Summary: https://www.pixelstech.net/article/1395463142-Why-does-Linke...

LinkedIn migrated to Node early 2010.
Fred brooks believes the Max is 1 or 2 (if they have experience together), and explains how to scale an org around those people.
Curious, I have the very opposite reaction, although I tolerate Python, but only for the massive amount of libraries and huge community. But as a language? Meh

What makes you so reliant on significant white space that any language without is a automatic dismissal?
You don't need to handle a whole book, the goal is to chunk the book into chunks of the correct size, which is less than the context size of the model you're using to chunk it semantically. When you're ingesting data, you fill up the chunker model's context, and it breaks that up into smaller, self relevant chunks and a remainder. You then start from the remainder and slurp up as much additional text as you can to fill the context and repeat the process.
That number sounds in the ballpark.

There's a bunch of providers in Europe that will give you a whole server for €50/month with unmetered 1gbps networking. Or, as I like to consider it, €50/month for 1 gbps networking, and you get a free server.

Yeah, their networks may not have as much complexity and features as AWS, but I've never found any of that complexity appealing. Keep your network simple and let your hosts do the work.
But are things ever permanent? Isn’t it to be expected that stuff can change in the future?
It's a survey of perception, not of performance or functionality, so it's still a very relevant change.
I'd use Eudora (the binary built in 2007? with updated TLS) over Outlook any time in 2024.
Yeah, it's not clear who this is for. If you can handle ownership, this doesn't seem to have many benefits over Rust. If you can't handle ownership, and don't mind a runtime, just use Swift, which seems to be the main inspiration for Dada's syntax.
Filecoin is "easy": it is trivial to verify that the blob you stored is the one I wanted you to store. There is no trivial way to verify that you indexed what I wanted you to index, or that you reply what I wanted you to reply.

I highly dislike monetary incentives because they perpetuate inequalities by design, so here's another incentive: if you store a correct index, I will keep working with you and we can build an awesome system together. We can coordinate by talking to each other rather than trying to get money from each other.
Ah calyxir is for FPGAs and such.
European Data Act enters into force
I can't find it in a quick Google, but I read an article a while back talking about them putting the receivers in foxholes; can see the sky just fine, but any ground-based jammers nearby have to push through the dirt.
Interesting comment about how cryptocurrencies can enable a system where no node can trust any other node. Something for me to think about as I am building a peer to peer system (not a search engine though)
My dog is twice as trustworthy as tech businesses.
41 = 7*5 + 6

41 % 7 = 6

41 % 5 = 1
If the AI provides the knowledge, and you have the AI, you have the knowledge.
And as Goodhart explains, that makes it a bad measurement. Invent better measurements that measure the actual goal.
The name Ai should be revoked from use with most of the current tools represented as leveraging it. They aren't exhibiting their own intelligence, most of these AI bots are just scripted ETL models, and they're really just patching them as embarrassing "media incidents" pop up. The needless habit of modern IT to present itself as innovative through the use of incorrect terminology buzzwords is destroying trust in technology altogether. So are the political hurdles generated in getting simple and useful tools that truly aid human productivity rather than just being a gimmicky idea hidden behind user data tracking and a monthly subscription fee.

We have let too many fraudsters into tech, and that's what is eroding trust...From Elizabeth Holmes to Crypto, once people stop really respecting technology, you'll see a ton of scammy tools labeled as "Ai" popping up in traditionally trustworthy places like bootleg vape shops in toy stores. So many of these tools use copyrighted content curated outside of original EULAs from Reddit, The Web, Twitter etc... There are huge legal issues with stealing content from individual contributors as well that just highlight the opportunism and fraud in modern IT. They're very lucky regulators are obliviously ignorant to what is actually happening here.

What Tech Companies are referring to as "Ai" is being weaponized on consumers and humans (to raise the costs of living and to lower the value of human labor) more than it is helping them. This is the main reason people will increasingly mistrust everything associated with it moving forward.

This future isn't looking bright.
Some internal stakeholder surely fought for it so they could get promoted.

Happy for that person, wherever they are now.
Don't forget ReScript
How is this trash project still alive? That is, did they scan 1bn eyes yet?

https://www.technologyreview.com/2022/04/06/1048981/worldcoi...
It only recently struck me, watching Ben Eater's new videos, that BASIC can almost be thought of as high-level assembly. That's why it was so popular in the early days of personal computing (look at all the articles here), that's why you can have a BASIC interpreter that fits in a couple kilobytes of ROM.

It's a relatively light abstraction layer over what the computer can do, plus some I/O functions.
Was this attack genuinely dangerous? Or was it just a social experiment?
Useless? Or not useful enough?

These anecdotes represent a bad taste that may linger for a long time, even while the actual performance of LLMs moves from curiosity to utility to indispensability.

I’m allergic to FOMO-based thinking but I am convinced we’re already at the “useful” stage for many use cases, when combined with human judgment.
"Dance your PhD"! Made me smile and think!
Interesting project, thanks for sharing.
After initially being keen on running qemu directly, I've really come to appreciate libvirt, even thought you do have to be willing to peer past all the XML...
Ask HN: Best Codebases You've Worked With?
This question has been asked a while ago [1] so I wanted to ask again, what's the best codebase you've worked in or seen? Could be a work codebase, open-source or just your friend's side project.

[1] https://news.ycombinator.com/item?id=20556336
> and not particularly difficult.

Wait until you want debug output in a deeply nested function that isn't already in the IO monad.
Why is aprint “non leaky” but print.await “leaky”?
Swift’s syntax I think also makes it more approachable for people coming from other languages. Rust by contrast is rather intimidating looking for anybody without a background in C++.
Learn all you want. Why do you need a grade to tell you what you learned? Why do you need an employer to require you to prove you memorized a book?
> There could have been a world where just Google builds that multipler and only uses it internally.

Funny that you mention that, actually. Before OpenAI started generously... publicizing their models, Google was actually shipping their weights day-and-date with their papers. So honestly, I actually doubt that Google would do that.

> Making that multiplier publicly available can be the "Open" part.

Aw, how generous of them. They even let us pay money to generously use their "Open" resource.

> but why are we being so childish about it?

Why are you being so childish about it? "Open" means something - you can't contort OpenAI's minimalist public contributions into a defense of their "openness". You'd have better luck arguing that Apple and Microsoft support Open Source software ddevelopment.

The last significant contribution OpenAI open-sourced was GPT-2 in 2019. They are a net-negative impact on the world at-large, amassing private assets under the guise of public enrichment. If it was an option between OpenAI or nothing, I'd ask for nothing and pray for a better frontrunner. It's not the name, it's the way they behave and the apologism they garner.
> the await keyword will run it asynchronously?

From the point of view of print_point await executes the thunk synchronously, print_point execution stops and awaits for print to finish it work. But a callee of print_point might want it to run print_point asynchronously, so print_point is an async fn, and callee can do something more creative then to await.
Crystal lang is their secret sauce!
WSA wasn't intended for calls or messaging. It was intended to allow developers who had developed apps for the Fire tablets to also provide or sell the apps on Windows.

It was also an alternative way for Android developers to write and test code on Windows. You could edit/deploy faster to WSA than to an Android emulator. And WSA apps are resizable, which is handy for seeing how well your code could handle different Android layouts.

The drawback was that WSA did not have any Google Play services. So no map, no Android push notifications, etc. That could have been addressed if Google wanted to license all of the Play bits.
Thank you so much for this comment, my blown away by both this comment and your follow up´s!
It’s also possible this commenter is seeing a fallback default font if Atpos is not available / didn’t download correctly on their system configuration
I wonder if this is related to 3 Red Sea data cables cut as Houthis launch more attacks in the vital waterway https://www.washingtonpost.com/business/2024/03/04/red-sea-u...
The ISS uses Control moment gyroscopes to stabilize it's orientation. Couldn't those be used to calculate its mass?

https://en.wikipedia.org/wiki/Control_moment_gyroscope#Inter...
Agreed. While you were downvoted, the quality of replies (not mine) is exceptional and clearly generated a lot discussion. I'd call that a win for HN even though your post currently has negative votes.

I hesitated before publishing my reply as it isn't my normal sort of HN post. I guess this just touched a nerve personally.
Playing Infinite Craft Is Like Peering into an A.I.'S Brain
Also trisecting a line isn’t far off from trisecting an angle, so constructing a pair of angles like 5/16 and 3/8 (=6/16) and then trisecting the chord between them would work. Wolfram MathWorld says that "[a]n approximate trisection is described by Steinhaus" (https://mathworld.wolfram.com/AngleTrisection.html) and this is basically what I have in mind.
For someone confident in the benefits of his products, Sam is working awfully hard on finding an antidote.
I don't know whether this is the account you are talking about, but of the second account they discuss an image posted by saying: 'It had originally been posted by a satirical account that generates images of the former president' so if this is the account you are talking about..

I won't deny the BBC has ofteb very biased reporting for a publically funded source.
This is what I'm starting to love about this ecosystem. There's one dominant player right now but by no means are they guaranteed that dominance.

The big-tech oligarchs are playing catch-up. Some of them, like Meta with Llama, are breaking their own rules to do it by releasing open source versions of at least some of their tools. Others like Mistral go purely for the open source play and might achieve a regional dominance that doesn't exist with most big web technologies these days. And all this is just a superficial glance at the market.

Honestly I think capitalism has screwed up more than it has helped around the world but this free-for-all is going to make great products and great history.
A 1-dimensional hypersphere is a line segment so sure.
I don't know whether this is the account you are talking about, but of the second account they discuss an image posted by saying: 'It had originally been posted by a satirical account that generates images of the former president' so if this is the account you are talking about..

I won't deny the BBC has very biased reporting for a publically funded source.
I don't know whether this is the account you are talking about, but of the second account they discuss an image posted by saying: 'It had originally been posted by a satirical account that generates images of the former president' so if this is the account you are talking about..

I won't deny the BBC has often very biased reporting for a publically funded source.
> Okay. Well, I can keep butting my head against this wall. I had conversations with that manager where I was told in literally so many words, ‘You’re too idealistic. You don’t care enough about the bottom line. You should change your values.’ And I was like, no, nope, that’s not how this is going to work, man. Uh, outside I did the politic.

To me that's the most interesting quote of the podcast and that's the impression I had gotten before reading this quote. Sounds like they received valuable feedback along the way and ignored it on purpose.

My career lesson is that being right isn't the hard part of being a senior staff engineer. Being right isn't enough. It's building alignment across the entire org towards the right solution. That's the hard valuable problem that I'm paid to solve.

I worked on the facebook.com rewrite to React in 2019. I find this story particularly interesting.
Couldn't this make merge behavior of the same conflict non-deterministic? If there was an LLM equivalent of a seed for an RNG, I think that would avoid this issue but I'm not sure if there is.
>> GPS antenna that only points at the sky

On paper. In reality, most every antenna has "side lobes" through which jamming signals can spoil the actual signal. In some cases the more directional an antenna becomes, the more significant are the side lobes.
If you're cloning parts of TypeScript, please bring along mapped & conditional types!

Feel free to experiment on the syntax, but the concept is amazing, especially if you're planning on being dynamic-ish.
That is the spec. The Book of Shen:

https://shenlanguage.org/TBoS/tbos.html
Same. My dad bought our C128 second-hand from a guy at work and it came with a box of disks. Most were cracked games the previous owner had likely downloaded from BBSes or otherwise copied from other users (incidentally, how I discovered the demoscene, though I had no idea why so many of these programs and games had such awesome intro screens with great music and weird names in scrolling credits).

It's how I got to play a bunch of Infocom games and some other interesting stuff. But CP/M was boring and I only ever saw dad use it for word processing a few times. Most of my time was spent messing with games, getting S.A.M. to swear, and digging through the C128 BASIC manual to figure out how write programs to make pictures and play music.

edit: also use The Print Shop to create banners and use up all our printer paper, much to the chagrin of the aforementioned father.
In a uniform gravitational field, it isn't. On the earth's surface, acceleration due to gravity is 9.8 m/s^2, independent of the mass of the falling object. See Galileo's Leaning Tower of Pisa experiment.

https://en.wikipedia.org/wiki/Galileo%27s_Leaning_Tower_of_P...
The title is click baiting.

Prompt engineering is still important.

From a philosophical point, it always makes a difference how you phrase a problem.
If you formalize a problem in Lean code, it's easy to understand for a proof assistant but not for most humans (even mathematicians or programmers).

So rephrasing the problem in human language makes it easier to grasp and comprehend.
And given the dataset the AI is trained on, there might be certain style it prefers.
If you train it on Lean code, better input lean code.
Also, more context makes it usually easier to solve the problem.
Did anybody but the most desperate climbers ever honestly believe that "typing prompts into chatgpt" was ever going to be a high-paying full-time job?
Problem is, many people (including many power Excel users) don't want to "lets their intellectual potential explode". Job is trading time for money. Not something for rising self-esteem or even something interesting. You could try to play "you will do more in less time" card, but it is often not true (unfortunately), and in corporate world person who do more in less time get more tasks and not the rise.

My experience shows, that programmers love their job and want to be better for sake of being better much more often, than other employees (and it is considering norm - like "show your github profile" on hiring, do you know cases when auto mechanic is required to show custom-build car to get job in the shop?). And even among programmers it is not universal rule, I know some colleagues (very competent ones, need to say) for whom it is simple job, not passion. They don't read bleeding-edge papers on CS, they don't have pet projects and, even, may not own computer at home - PlayStation/XBox and smartphone is enough for them, because computers are tool of trade, not home necessity.
If you have been hired as a "Prompt Engineer", can you please explain your work? Are you just finding better ways to communicate clearly in human language to the current model you are interacting with? Or are you doing statistical analyses of prompts, etc? It is hard for me not think a Prompt Engineer as most basic is someone comfortable and knowledgeable about how to express a concept in human language to an LLM, which to me, really sounds like at minimum: clearly communicate with little ambiguity.
It's denial of a different stripe.

Instead of saying "It's not happening." the GP is saying "It's happening but it's no big deal. good stuff came from it."

Which to be frank, is a complete waste of time not worth responding to. What they've said has been a meme for 30 years at this point.

https://condenaststore.com/featured/the-planet-got-destroyed...
This should be the main link instead of the hackaday article. Fascinating stuff.
Scientists want to build 62-mile-long curtains around 'doomsday glacier'
We're hitting 1.5C on an intermittent basis. We hit it last year, and possibly this year, due to El Nino, but we'll probably drop below it next year.

Best estimates right now for being +1.5C every year are probably circa 2040. Though it could well be sooner, given how badly we're doing at preventing it.
My read of "safety" is that the proponents of "safety" consider "safe" to be their having a monopoly on control and keeping control out of the hands of those they disapprove of.

I don't think whatever ideology happens to be fashionable at the moment, be it ahistorical portraits or whatever else, is remotely relevant compared to who has the power and whom it is exercised on. The "safety" proponents very clearly get that.
“I visualize a time when we will be to robots what dogs are to humans. And I am rooting for the machines.” — Claude Shannon
But how do these jammers work? They can't point at the sky to blind the satellite because there's no receiver; they broadcast from above ground, so in theory putting your receiver in a metal box with the top removed solves the problem?
It’s important the same way code organization is important.

You need to do a good job at it, but it’s not something anyone is going to get a full time job to do.
"Just develop a scoring metric so that the system itself can tell whether one prompt is better than another, and then just let the model optimize itself."

The word "just" is doing a LOT of work there!

[ and it's already too late for this, but before posting snarky notes about prompt engineering as a profession you should know that this article isn't about that - it's about tools like DSPy that automatically optimize prompts ]
>The baud rate was a lucky guess, but 115200 is very common on such devices.

This is a 40 year old problem that has no solution. All we would need to do is agree on exactly how to do it and set it as a standard.

https://www.eevblog.com/forum/microcontrollers/smart-auto-ba...
I'm interested in hearing if anyone has used DSPy (https://github.com/stanfordnlp/dspy) just for prompt optimization for GPT-3.5 or GPT-4. Was it worth the effort and much better than manual prompt iteration? Was the optimized prompt some weird incantation? Any other insights?
> China, Japan, Taiwan, and South Korea all manage to have highly-successful tech industries

At salaries and with work hours that are far from enviable.
> This may not necessarily be good for free thought and culture

After reading the rest of your rant (I hope you keep it) ... maybe free thought and culture aren't what LLMs are for.
Does he say what to do when they die, quit, or retire?
Authorized members of a patient's care team need to be able to directly share clinical data with each other. Trying to route everything through some sort of patient portal isn't practical, and would lead to delays in care or quality problems. Patients should have access to all of their data but the patient portals are spokes, not hubs.

Patient portals tied to a single vendor like Epic MyChart aren't great, but they work well enough for patients who receive all of their care through a single integrated health system. Attempts to create universal patient portals not tied to a particular payer or provider organization have generally failed because no one wants to pay for them. Apple is trying this again but they only have interfaces with a limited set of data sources.
Eventually, as these models get better at language (and thus converge and become more similar to each other) prompts will converge as well. (more so than they already have)
Right, look at the US' current jammer suite, the AN/ALQ-99, while it has issues it's unbelievably powerful. One of the downsides is that it jams the AESA radars of friendlies in the area, including the plane using the jammer itself.

The next gen replacement sounds like an absolute monster too, but without some of the donwsides like the need for a ram air turbine to power it.
The writer is considering the subject as a physicist might. Euclid’s figures are ideal objects, they don’t have errors. It’s assumed that your construction is an approximation. Euclid might have drawn his figures on sand with lots of “errors”, still the figures are idealized no matter how you draw them. For instance, Euclid represents numbers as lines. There are not units and no errors. His proofs are still valid if I don’t draw his lines exactly as he drew them (I’m talking about Book IX where there are propositins about numbers).
Connect FreeBSD 14.0-Stable to FreeIPA/IDM
Logo might be inspired by Marcel Duchamp's _Bicycle Wheel_

see https://www.moma.org/collection/works/81631
or you can also download the slides here https://onecorner.org/curiosity/aegeom/invitation.pdf
Apple seems to be bouncing ideas off the EU with respect to compliance here. Realistically I guess they have one “grace period,” however long that is, before they start violating anybody’s rights. So, they could take that time to negotiate with the EU and come up with a way to prove your EU citizenship outside the EU.

I don’t think the EU cares to protect us Americans just because we imported a phone from the EU. So, I bet it’ll be citizenship based somehow.