skysight-inc/HackerNews huggingface dataset:
I use Django, HTMX, and TailwindCSS for a side project. The Django framework matches my mental model of web development best. HTMX offers AJAX-based server-side interaction for very, very cheap. And TailwindCSS is a breath of fresh air for styling HTML. The application is hosted on a Digital Ocean server - I'm experimenting with both Docker containers on Ubuntu servers, as well as the DigitalOcean App Platform (comparable to AWS ECS). The app platform is easier to set up, but seems to have some slight performance disadvantages versus a custom Docker instance with an nginx container to route requests.

For background, I got into web development via standard HTML/CSS/javascript, then jQuery, and more recently moved on to React-based frameworks (Gatsby, NextJS).

My opinion is that React-based frameworks have raised the level of abstraction too high and attempt to solve problems that 99.9% of web applications don't have - such as optimizing web KPIs like First Contentful Paint and painting a picture-perfect SEO story. These things matter when you're afraid your user base might run away from your application and never return if you don't serve them something within the first 250 milliseconds of landing on a page.

If your user base consists of more than just the reptilian brain, I would suggest you return to the basics and write web apps that take advantage of the core HTML5 spec. There are a huge number of features available in native HTML in 2024 - why isn't the web dev community knowledgeable about those features, let alone using them?

The advantages of "minimalist coding" are numerous:

1 - A better, portable understanding of how the web actually works - be a long-term developer, not a short-term frameworker[^1]

2 - Agility in coding - refactors are not a thing to be afraid of when the code base is small and manageable.

3 - Minimal external dependencies, especially with the hell that is the npm world. My Django project has a total of 8 production dependencies - half of which could probably be removed if I wrote a couple hundred more lines of code. Compare that to the hundreds+ dependencies that a boilerplate React-based framework project will hoist upon you. I admit, pip in the Python world is not great - but I can get my brain around the problem and deal with it.

4 - Long-term maintainability - Older tools have staying power. If a tool has been around for 20 years and is still maintained, chances are it will stay around for another 20 years. Compare that to the latest flavor-of-the-day framework that might stop being supported when a big company decides to fire that team and shut down support for the service (e.g., Gatsby after being purchased by Netlify). Waking up and finding out your web app will no longer run ever again is a miserable feeling[^2]

[^1]: https://archive.ph/XSPRr

[^2]: https://github.com/gatsbyjs/gatsby/issues/38696
I don’t think Python, a general purpose scripting language; and PowerShell, a shell, are going for the same things. They have different goals and by your definition every other tool is a “big miss” because they are not Python.

I have never desired to do xmlrpc, ocr, voice recognition, or gui building from my shell (and if I did I still don’t see how importing a C# library would be a big miss). What I do desire to do is open files, read their contents and pipe them into other programs, something that Python makes a pain to do with all the file handling. Powershell definitely excels at this, does that make Python a big miss?
What’s a better 2FA product that is E2E encrypted and lets me export the seeds?
> left civilization with a crippling bootstrapping problem of capital's own design

Sounds like the delicious irony humanity is known for.
Authy is basically unsupported. Not surprised. I switched my accounts to 1Password when they announced the end of life of the macOS app.
Improve Mathematical Logic in Language Models by Automated Process Supervision
But also, who knows if it is true? And why only books and not everything we have done in life? And why should Ralph Waldo Emerson, assuming the quote is his, know more about this than anyone else?

The hours of history classes in elementary, middle, and high school, when we discussed the Roman Republic and the Empire and before that the Egyptians and the Assyrians and memorized the names, perhaps formed and made us, even if we do not remember a single date, only the names of Cleopatra and Caesar, and we could not find the location of Carthage even if our lives depended on it. Or maybe they did nothing to most of us, which is the more parsimonious view.

When I was a child, a whole debate emerged about the risk of developing a violent personality after watching movies and reading comic books in which violence and gore were shown quite freely. As far as I know, this development of a dangerous, antisocial personality never happened, because, dare I say it, we can distinguish fact from fiction, and everything we ingest, food or media, is modulated by our history, family, genetics, culture, and friends and enemies.
Figma disables AI feature that appeared to be ripping off Apple's Weather app
If you cannot tolerate downtime you need a redundant load balancer and you need nodes in different datacenters. Scale really doesn't matter in this equation. Now maybe you don't need five-nine's so then the risk is worth keeping it simple.
The "Upper Paleolithic Revolution" hypothesis proposes that around 50,000 years ago, there was some sort of a qualitative jump in human behavioral complexity, based on the fact that around that time we start seeing clear evidence of cultural and symbolic behavior such as rock art and burial rituals, and also of a period of rapid innovation in toolbuilding. Critics of the hypothesis counter that the apparent jump could just as well be merely a selection effect caused by the scarcity of evidence.

https://en.wikipedia.org/wiki/Behavioral_modernity
> LPR/DPR are fiction created by Russia to mask their invasion

Why does LPR/DPR militia fight the Ukrainian army then, from 2014 onwards? Because they totally do. They are among the most motivated troops.

> Anything less than a retreat from Ukraine is not a serious proposal

Then more Ukrainians will die "defending their homes", as well as Russians of course. And have a good day.

> Without millions of people acting as his willing executioners

They just really don't like the state of Ukraine (and post-Soviet borders), but at the same time want Russia to win the war. It's simple.
Obscurity has never been a major hindrance to people who want to break security, but it does hinder people who want to make the security better.

The ability to run the code, even in binary form, and produce an output from an input negates any possible benefit from obscurity. It _will_ be broken. Denying researchers access just means that break will happen faster, and past obfuscations are more likely to be reversible.

It does nothing good.
I don't know what this is supposed to mean, but here is a detailed list of all 34 felony convictions.

https://www.npr.org/2024/05/30/g-s1-1848/trump-hush-money-tr...
The CTs go inside your panelboard around each hot conductor. The CT leads go back to a separate meter enclosure.

Here’s a commercial grade submeter cutsheet with a diagram to illustrate: https://leviton.com/content/dam/leviton/lighting-controls/co...
Original title: Improve Mathematical Reasoning in Language Models by Automated Process Supervision

couldn't think of a good place to cut out 2 characters in that so I changed Reasoning to Logic, sorry if it creates any confusion.
You just turn off your main breaker, open up the panel, and snap the CTs/current transformers around one of the wires on each circuit (you can open them back up if you mess up). You only want to put one wire through, rather than a full romex bundle, because it measures the flux through the loop, and the return path would cancel out the reading.

It does take a bit of reading to figure out eg what to do with 240v circuits (you can usually double it if you don’t care about absolute precision, usually one leg has the control electronics on it and is a bit higher). Also, it doesn’t have quite as many channels as most panels’ max # of circuits, so you might have to choose, or try to run multiple wires through one CT.

If you’re uncomfortable with going into the panel (reasonable), you can probably find an electrician that’s willing to put it in/make it pretty.

I think I saw some YouTube videos of people installing them diy before I tried, that might help get you more comfortable with the process.
> They aren't giving everything they're there to do a job and that job is make the company profit.

But GP is saying everyone except the devs is there for status and fat bonuses. You’re talking like a defector.
then you are interested in a version of physics that doesn't exist, even though some might choose to supress the details at low level
> Sure, but for s-risk-caused-by-human-intent scenario to become an issue the x-risk problem has to be solved or negligible.

Sure. I can chew gum and walk at the same time. s-risk comes after x-risk has been dealt with. Doesn't mean that we can't think of both.

> seems more like a political problem than one of feasibility

Don't know what to tell you but "political problem" is not 1% of the solution. Political problem is where things get really stuck. Even when the tech is easy the political problem is often intractable. There is no reason to think that this political problem will be 1%.

> Not sure what level of precision you were expecting?

I provided a variant of the sentence which I can agree with. I will copy it here in case you missed it: "AI is not safe if it causes extinction of humanity." (noticed and fixed a typo in it)

> They lack the unity of will and high-bandwidth communication between their parts that'd I'd expect from a real superintelligence.

Sure. If you know the meme[1] when the kids want to eat AGI, corporations is the "food we have at home". They are not kinda the real deal and they are kinda suck. They are literally made of humans and yet we are really bad at aligning them with the good of humanity. They are quite okay at making money for the owners though!

> A superintelligence wouldn't be dumb.

Yes.

> That means "kinda works" is not the same as "selected for being compatible with human existence".

During the AGI's infancy someone made it. That someone has spent a lot of resources on it, and they have some idea what they want to use it for. That initial "prompting" or "training" will have an imprint on the goals and values of the AGI. If it escapes and disassembles all of us for our constituent carbon then we run into the x-risk and we don't have to worry about s-risk anymore. What I'm saying is that if we avoid the x-risk, we are not safe yet. We have a gaping chasm of s-risk we can still fall into.

If the original makers created it to make them rich (very common wish) we can fall into some terrible future where everyone who is not recognised by the AGI as a shareholder is exploited by the AGI to the fullest extent.

If the original makers created it to win some war (another very common wish) the AGI will protect whoever they recognise as an ally, and will subjugate everyone to the fullest extent.

These are not movie scenarios, but realistic goals organisations wishing to create an AGI might have.

Have you heard the term "What doesn't kill you makes you stronger"? There is a not as often repeated variant of it: "what doesn't kill you sometimes makes you hurt so bad you wish it did".

1: https://knowyourmeme.com/memes/we-have-food-at-home
Starship – Fourth Flight Test [video]
Both of which hetzner has? Did you skip the previous comment entirely?
alias:BouncingSoul
interests: OpenWater/longDistance Swimming,PunkRock, History
language: English, German
link:
https://inforo1300.wordpress.com/
contact info:vljlqhxpdqq@wxwd.lr (ceasar +3)
Whoa, they did get rid of it. Not surprising in the least, but they definitely did it with a minimum of fanfare. When Heroku got rid of their free plans at least they were upfront and released a blog post about it. Maybe they did and I just didn't notice.
Wait, why couldn't the Indonesians migrate to Europe in a span of 20,000 years.
A proper algorithm comes with a proof that it's correct. But even if I don't understand the proof, knowing the answer itself is useful.
If anyone's ever wondering how carefully choreographed our HN presence is, please refer them directly to this subthread, which, for posterity's sake, I will note is occurring on the morning of July 4.
Interesting read! As a mathematician I always had difficulties with AI jargon, even though I've been writing on neural networks since the late nineties.

Almost at the same time as the emergence of transformers, I had only minimal contact with the field. I was just aware of the appearance of the Vaswani paper, but only now have I returned to the subject in a way that requires more rigour. And I stumbled upon "attention" in the same way as the author. It did not help to know more about the biological model [1].

Yes, kernels. Asking myself, what software implementations of the superior colliculus or yet retina cell complexes like DS (direction-sensitive) or OMS (object-motion-sensitive) cells could provide.

[1] for example: https://mitpress.mit.edu/9780262019163/the-new-visual-neuros...
Backup solutions usually need to cover more scenarios than "PC explodes". In fact solutions for that are usually called "disaster recovery" instead.

A real backup solution ought to cover the case where you deleted the wrong file, and you find out the next day. Or it got corrupted somehow (PCs and disks can explode slowly) and you find out the next time you open it, a week later. If the cloud service happily replicated that change, it can't be used to restore anything.
Smart meters achieve lots of goals. The most marketable was time-of-use electricity pricing.

My distribution company in Ontario makes it very clear when those times are and what the electricity prices are. On-peak is approx CAD 0.18 / kwh and off-peak is CAD 0.11 /kWh. That's over 50% difference.

The problem in Ontario, QC, MB and BC is that electricity is cheap, relative to our standard of living. The incentive to be more efficient is weak because the savings are not worth the effort.

The other reasons smart meters were installed is to speed up the meter reading process and to gather data on when exactly people are using electricity.

The electricity distribution system is passive and the grid operator has little to no visibility on what is happening at various places and times. Smart meters are the foundational tech to enable a bunch of other initiatives and planning.

Hydro-Québec, for example, allow you to see your live power draw. My meter (2011 model) can do this but my electricity distributor will not share the decryption key.

Those meters may not do much to change electricity consumption habits but they are far from a loss. The investment is absolutely worth it.
Man, I miss this aspect about ICQ (and the internet from the late 90's). Everyone I met online was awesome and from some far away cool place. And if they were anywhere near you - like, let's say, half a day's worth of driving near you - then they were totally down to meet in person!
Wow, the Oracle chart is so spot on.
Rainforest lands $20M to challenge Stripe with embedded payments for SaaS
Carlsbad is big, but there are bigger indoor spaces out there. Carlsbad's "big room" is 625 ft wide, and 255 ft high at its highest point. That is big, but things like stadiums get bigger. Carlsbad is long too (4km) but as a cave length isn't really perceptible. NASA's vehicle assembly building is 720 ft by 520 ft and 530 ft high, roughly the same but much higher than Carlsbad.

Tropical Islands Resort is a tropical water park (Germany): 690 feet wide and 351 feet high.

https://en.wikipedia.org/wiki/Tropical_Islands_Resort

https://en.wikipedia.org/wiki/File:Tropical_Islands_Halbe_14...
Only twice have I worked for a manager who thought it was unethical to ask the devs to work hours they themselves would not work.

The notion that devs have better hours than managers is either a fiction or conflating managers with founders. Who do often work ridiculous hours and expect everyone else to do it too - and enthusiastically - even though they’re the only ones with a stake in the outcome.
Probably been answered already (feel free to point me there) but how does Bevy compare with Godot (other than one might prefer Rust)? What type of game/situations would Bevy be much more performant where it matters?
> But decreasing the focus on self can still be good for your soul.

Only applies to people who mostly focused on themselves.

I'd argue that most working people have the opposite problem: they have to focus on everybody else's problems but not theirs.

I'm only working towards tangible greater goods. Including my own inner peace.
Well written article and somehow "evaporation–condensation mechanisms" with the "...effect of gravitation into phase-transition dynamics..." makes me think about weather manipulation.
Just last night my brother brought up the famous Bill Paxton quote from Aliens…

“It’s hot as hell in here.”

“Yeah, man, but it’s a dry heat”

https://youtu.be/MGSsu6pfOoY
>if all you can find is an iPhone or some other trusted compute platform you're probably SOL

This reason alone should be impetus, for national security reasons, to severely tax products containing universal machines the device owner does not have full control over (by additional purposeful actions beyond owners' simple ignorance of the technology). I say a 100% sales tax on the retail price is fair, all tax proceeds going to fund GNU-compatible competition to the likes of iPhone and Playstation (and your proprietary microwave, and car, and TV, and ...). A post collapse society having to deal with iPhones hopefully will adopt the [corporate] death penalty for proprietary shenanigans like this.

It is borderline treasonous how many people will die because your product's bootloader was locked! Unforeseen consequences, Gordon.
So are you saying my point was so obvious that it was unnecessary to be made?
If you are literally just looking for a place to cost-effectively park a VM, you should very seriously consider Hetzner! It would be weird if there weren't use cases where Hetzner comes out ahead.
> Twilio has detected that threat actors were able to identify data associated with Authy accounts, including phone numbers, due to an unauthenticated endpoint

Isn’t it what you are describing?
They basically take you out of the sphere viewing area and put you in a room created for that purpose ie a blacked out soundproofed room with 2 chairs in it.

source: my sis got overwhelmed by the sphere's antics and was escorted out to that room. it doesn't seem to be mentioned anywhere on their website.

sis said it was a very jank experience overall but it did calm her down.
https://fly.io/infra-log/
Good question! I haven't gotten around to proper SNR testing, but I'm planning to do that. The board design has undergone quite a few revisions and improvements based on my own perceptual tests along the way. I've done my best to follow best practices and recommendations, but the size of the board (which was a priority) does limit how much can reasonably be done. If you're looking for audiophile-level performance, you'll probably want to consider other solutions :)
With the advent of coverage based fuzzing, and how well supported it is in Go, what am I missing from not using one of the property based testing libraries?

https://www.tedinski.com/2018/12/11/fuzzing-and-property-tes...

Like, with the below fuzz test, and the corresponding invariant checks, isn't this all but equivalent to property tests?

https://github.com/ncruces/aa/blob/505cbbf94973042cc7af4d6be...

https://github.com/ncruces/aa/blob/505cbbf94973042cc7af4d6be...
If you think that's bad, the R^4 coefficient is even lower.
interesting, penpal is a stranger you are familiar with, it is different to how folks talk here. while, it is one type of communication channel, has pros and cons...
I read it. Historically Hetzner has been popular in the dedicated server space. I cannot speak to their IAAS/cloud offerings, I have never used them. I will take them for a spin, though, seeing as it is really the only way to use their services in the US with good latency.
Don't switch to GPU instances just to get around the container size limit!

What are you trying to do and what's the size of your container? My instinctive response here is that you're not holding it the way we expect you to: that some of what you're sticking in your container, we'd expect you to keep in a volume.
small wind turbines have a terrible reliability and maintenance track record. They are not worth the investment.
To be fair to React, this is 100% the developers' fault. State must be minimal, by definition.
Storing 2FA in Bitwarden (my password manager) and Aegis as a fallback. Also making offline backups of each periodically.
That's like most of Grafana's documentation
More scientists working on the Drake equation?
What's stopping your test suite from running instantly?
At $dayjob I am blessed with the task of wrangling a 20+ year old codebase of SQL Server stored procedures. It's around 300k lines of monkey tested, business-critical code that:

* wasn't source controlled

* was never tuned (properly) for performance

* deployed into environments by editing/executing sql in SSMS.

* of course, no automated tests, etc...

It's a windows shop, I am developing on a Mac, and we do linux on Github Actions.

I selected tools like PowerShell Core, sqlcmd, docker for running Windows SQL Server instances, RedGate SQL Compare for extracting existing schema and code from the legacy servers, tSQLt for unit testing, TSqlLint for code compliance, SQLFluff for style compliance, and Flyway for deployments.

We quickly discovered PowerShell Core was the most interoperable cross-platform scripting shell when Windows had to be one of the platforms.

It wasn't pleasant to code in. The regex engine comes from .Net, which has bad catastrophic backtracking problems, and the array situation was goofy. Launching executables with any sort of control over the launch and capturing the output stream was hit or miss - I would often have to launch a process, redirect its output to a temp file, and then read the temp file after the child exited. So piping around with child's stdout into a string variable was always more trouble than it should have been.

BUT, PowerShell Core executes fast (nice job M$FT, if there's one thing you do well, it's micro-optimizing!) It has nice tools for interacting with the user, like ascii art list pickers and easy input prompt generators. And, most of the strange quirks in dealing with the Windows file system are papered over if one avoids folders with locked files.

Anything you want to achieve can probably be done if you search hard enough. Recommended!
Depends on what you mean with great software of course, but a developer should work together with the product team to come to a specific realization of the product vision. That vision may not always require great software, and it may actually specifically call for hacky software, but the product people cannot make that judgement call (and if you are in a healthy company, they don't).

This is different from always making great software but shifting priorities.
Good point - I just linked to the first relevant explanation. pvg linked to a much longer explanation that isn’t specific to, or about, Show HN: https://news.ycombinator.com/item?id=23071428