skysight-inc/HackerNews huggingface dataset:
No Postgres only requires 8K. One can imagine adapting Neon storage to other engines then of course this can be extended.
> "I think you vastly overrate the broad availability of alternatives to this"

There are dozens of "scalable postgres" alternatives from Redshift to Citus to CockroachDB to Yugabyte. I find it strange that you say its overrating the availability when you're also comparing it to something that isn't even a full product yet.
Give exams in a room, proctored, on paper, at a scheduled time. Open book/open note -- like real life. Everyone takes it at the same time. If you aren't there (without a good reason) you fail.
“and the grades matter for your future”

There’s the key problem.

A vitality curve is a performance management practice that calls for individuals to be ranked or rated against their coworkers. It is also called stack ranking, forced ranking, and rank and yank. Pioneered by GE's Jack Welch in the 1980s, it has remained controversial. Numerous companies practice it, but mostly covertly to avoid direct criticism.

https://en.wikipedia.org/wiki/Vitality_curve
One technique API providers could adopt is prefix all keys with a description so there's no ambiguity between keys and random base64 strings and it would make automated checks a lot simpler: e.g. amazonsecret-... githubsecret-... donotcommit-... etc.
It's a deliberate pun.
I was lucky enough to get hired to work for an old neckbeard type who took me under his wing and spent 3 years making me not worthless.
Which devices are still susceptible to magnetic fields? besides HDD
Exams should be fine as a condition of entry, advancing grade rank, or graduating, but teachers need to be spending the majority of their working time teaching, not ranking and scoring and having to deal with all the overhead of grading. Evaluating whether or not a student has bothered to learn can wait until they attempt to claim a diploma or certification.
But then 1 person ends up doing most of the work on the team
Do you mean that you're incredibly past careing about arbitrary constraints on someone's ability to solve a problem?

If there is a policeman, the onus of enforcement lies on the policeman. The teacher plays this role by giving a grade. Any teacher that allows cheating is encouraging it.
This.

Putting a multiple choice test online and expecting students to not take advantage of this examination method is very naive.
Major versions don't come out suddenly. We have time to test and make sure they work well with our storage.

Customers don't always want to upgrade to new version when old versions just work. However this can lead to version creep. Ideally we want to always run the latest version of Postgres. We will hold this line as long as possible.
Cool synchronicity. I had exactly the same several-month obsession with that song in 2019 for exactly the same reason. I’d already been a fan for a long time at that point, but Pull Up The Roots was always “the song right before This Must Be The Place” to me until I was in a situation that allowed it to really click.
Exams and cheating are just parts of the same problem. It's unfortunate that academia can't wrap its mind around this and design better learning experiences for students and teachers.
We will be launching REST api with PostgREST later this year.
Wouldn't a robot vacuum work better than a fan? That's what I use to keep husky fluff somewhat under control.
Just use Vivaldi :-)
Simplicity is a virtue. Complexity is a sin.
Continued growth is perfectly possible.

We waste so much in our current world.

It's actually totally possible to continue "growth," aka increased human output per hour, whilst consuming less resources.

Our economy is merely badly constructed, to not price in waste. Our economic system is designed to produce as much waste as needed if it makes things slightly cheaper.

Charge money for waste.

Charge for excess water use, charge for inefficient heating, charge for plastic waste.

Cash obsessed capitalists will turn green so fast you can't blink, the second wasting our planet's resources costs them money.
Great point - no privacy policy yet (have spent only a handful of hours on this PoC so far). I hope to get around the server-data issue like you mentioned with the hashbang suggestion from another commenter.

For the record, I am completely ignoring the path server-side, and just proxying the request via nginx to a single page Next.js client that is completely client-side rendered. The server doesn’t need the path at all, so yes I do hope to avoid sending it altogether. Going to try to implement that update this weekend without breaking backwards compatibility with already live links.
https://meml.ink/MTt8YTpTaG93JTI1MjBITiUyNTNBJTI1MjBNZW1saW5...
Or where you want people to be able to send each other links of the ‘look on page 11’ kind.
Sunday is a day of rest.
I suspect that verifying software is a lot like the termination problem of Turing machines: the more useful properties you want to verify, the closer it is to NP completeness. So a practical verifier should limit its scope to a modest subset of software and settle on verifying sonething with a sufficient degree of confidence, which is lower than 100%.
Ham Radio: Meme Appreciation Month
It's crazy that blizzard games had done this in 2001 (startcraft1, diablo2 pvp, etc), and did very well
Outside of Ontario Canada, I'm glad "software engineer" is not a regulated title. Imagine having a contrarian opinion on design patterns and then getting your livelihood threatened.
CSS Working Group draft spec https://drafts.csswg.org/css-fonts-4/#system-ui-def
Yeah, I don't think I really made my point well. Mudslinging sucks. "We're not like those guys because they're doing this shit thing and we're doing this awesome thing" is 100% suckier than saying "We're doing this awesome thing." It's kayfabe in an article that literally complains about kayfabe. Feuds make good drama, but bad ecosystems. I think Andy learned that lesson saying (IMO) true things about the V language. Only commenting here because I love zig and want it to be awesome.
Current Ampere servers (even dual socket ones) is available from distributors in Europe and NA with custom configurations in minimum order quantity of 1.
DITM – Firefox extension to modify the web server's response in place
We don’t even have math assignments anymore. All we do is write an exam at the end of the semester, and the people who didn’t learn will just not pass.

The math exam which I wrote was also very demanding and had a very tight time limit. There wasn’t any time to compare results with a group chat or use tools like wolfram alpha. Either you knew how to solve the exercises or you didn’t and failed.
Yes, it's an active area of research. One very recent example, focusing on Dafny: https://www.amazon.science/publications/testing-dafny-experi...
The CSS property leading-trim [1][2] is designed to solve this alignment problem (among others). However, it's still at the Working Draft stage, so it's going to take a while before browsers start supporting it.

[1]: https://www.w3.org/TR/css-inline-3/#leading-trim
[2]: https://medium.com/microsoft-design/leading-trim-the-future-...
Door Lock Reviews (2021)
We already have a shared slack channel with Kurt - CEO of fly and a number of folks from Fly.io. We are discussing our partnership.
Yep - puts a ceiling and not a floor. But I bet there’s all sorts of add-ons you can buy before you get off the lot.
I've found silicone jacketed cables almost perfectly tangle-resistant, and any knots that do form migrate to one end with pulling/jiggling instead of becoming tighter like they do in PVC cables.

At least, that's been the case with the ones I've used, which are the 1 m and 1.5 m power cables from Pine64 intended for their soldering iron. No idea what spec they are, other than that they support the iron's max 60 W and provide at least some data transfer ability.

They have 16 pins, missing the differential RX/TX pairs. So, according to Wikipedia either USB 2.0 or 1.1?

https://pine64.com/product-category/pinecil/

Edit: Just realized I've been using the hook-and-loop strap, so perhaps they haven't had a chance to become really tangled. But that's the sensible alternative to magnets! Packs of them cheap and work on any cable. It also seems like always folding a cable the same way doesn't cause the long-term damage that repeated tight (non over-under) coiling does, since the insulation doesn't get twisted when it's pulled straight.
Well, the article has quite a list of "some aspects" of your code the author is working on.

I have no reason why any of them could not be successful. I don't expect all of them to be, but anyone that gets there is already a huge advance.
It's a tradeoff though - you could spend the time looking for bugs between the design and implementation, or you could get the implementation out sooner and get feedback and iterations on the design
Yeah probably because people have limited time and corporations don’t just let you use whatever language generally
IMO the author alludes to some enterprise software running on Wintel that has per-core licensing costs.
Hmm, aren't all physical constants quite small, even the largest?
I’d assume 2.5M refers to the number of containers, not physical machines. And that since containers are virtualised and largely a developer convenience, there’s not a big reason to try keeping that number low.
I like SwiftUI but it is painful to use. Jetpack Compose is much more stable and ready for production, and it is backported to the vast majority of Android devices.

Supporting iOS 13 with a SwiftUI app (a reasonable thing most customers will want) is essentially impossible to do without game breaking bugs between different point releases. It's really bad.
It’s not my writing. I just am aggregating articles that I find around the web. I’m not a professional investor or anything like that. Very transparent about that.
I love this idea. I bet you could get surprisingly useful results just using a language model like GPT-3.
We will put more of the Aurora differentiation docs up in a bit. Architecture wise we are slightly different b/c of the S3 integration and splitting storage to safekeepers and page servers. This is very technical and we will be highlighting both this and user visible features, such as branching.
> precarious groundwater reserves depleted by years of well-pumping
2/3 of USA has elevated risk for power outages in Summer 2022 [pdf]
>this is one of the greatest songs written to date.

That's very high praise.

With all respect and sincerity, I'd love to know your age and music listening background. While I, too, enjoy the song, it's definitely not in my top 100 of greatest songs ever written.

Perhaps you and I have nearly identical musical listening histories, in which case I 'high five' your pick for #1. Absent that, I can't help but think there are some songs you've not heard.
> Marketing? Fuck Marketing

Do you have an MBA or other similar business experience? Because you can’t “fuck marketing.” Without marketing you have no business. How are people going to find out about your product?
I once interned on IBM's PowerPC JVM team 10 years ago. Most of our customers were enterprise customers running monolith applications e.g. governments and banks. IIRC the main advantage of PowerPC was a much wider bus resulting in higher memory bandwidth than x86. I'm not sure if that's still the case today but I doubt anyone in those orgs want to take the risk of switching to an entirely different architecture and risk losing millions of dollars if something goes wrong.

Don't fix what's not broken
Check out ossu/math. Good list of resources and community on discord https://github.com/ossu/math or ossu/datascience has suggested math prerequisites for data science https://github.com/ossu/data-science
There's a bunch of reasons why this model doesn't hold up in the long run, and I'll give one of them: accessibility. Once your business decides that your app must be sufficiently accessible to reach the many people who need accessibility work, your backlog explodes.
are there any builds you could link? I've seen people make Farnsworth furious on hackaday etc. and I'd love to see this.
A page within a page, huh? Getting fancy. I haven’t figured out a good way to solve this concept. It works better if you make the page and then use a url shortener to refer to that page, so you don’t have the entire contents of the sub page in the first page :D fun stuff! Any ideas? Thanks for trying it out.
Thinking that overall quality of life can be improved just by some future technology is already a fetish, if you consider that there are low-tech ways that can achieve better results today. It's this apathy that my original comment wanted to point out, and it was not a personal attack against you.
It could be interesting to further enrich the data using info from urlscan.io or something similar.
Could be cool to have a honeypot that automatically visits those links via puppeteer or some other browser automation.
(B) disincentivize cheating. This is tough to do but if someone is motivated not by a grade but by the experience or knowledge gain itself cheating is no longer of interest.

It’s easy to do—don’t issue any credentials. It’s just that the very lucrative businesses don’t want to do that because they know exactly what they are selling and it ain’t education.
I grew up in East Asia and (B) just isn't possible here.

Since we were little, we were requested by our parents to get a good grade in examinations in order to, eventually, get into a good college.

We were told that graduating from a good college brings ourselves/the family a better quality of life, but the "benefits" part stops here. People don't care about those knowledges that are not likely to make us money one day. Most of us just study for a better paying jobs.

The society doesn't care about the process, but the outcome, evaluated by the momey in our bank account.
Quite sad that nothing came out of https://www.youtube.com/watch?v=zDZFcDGpL4U.

Sir Ken Robinson has a lot to say about the education paradigm and why it should be changed, and in what ways. He appeared on TED[1][2], too, since then, and probably elsewhere as well.

[1] https://www.youtube.com/watch?v=wX78iKhInsc
[2] https://www.youtube.com/watch?v=iG9CE55wbtY
This would be a much better link!
Only if you're doing centering by hardcoded pixel offsets. Stop doing that.
If it becomes more widespread and mature yes. We are in contact with Alexander Korotkov - Postgres committer and the auther of OrielDB and compare notes from time to time. Right now it makes a lot more sense to us to build our storage at the page level and have minimal changes in Postgres itself.
The Shuttle was an abomination of a program. At no point during the Shuttle program would it have been a mistake to shitcan the whole thing. Pointing to it does nothing to justify Apollo.
It is wishful thinking. Iris is cool and all but extracting useful programs from proofs is still an open research area. I don’t want to discourage someone from trying but it would help to be pragmatic.

At least the author seems somewhat aware of this when they describe the repo as a collection of earnings and ravings.

I’ve been interested in this since 2015 or so and even then the cost of doing formal verification had come down a lot. It has continued the downward trend. But we are still a long way from a language that industry programmers can use to write proofs and extract programs from.

One of the major challenges will be teaching industry programmers how to write proofs and convincing them that they want to do this.
its on Android, maybe not on ios
The workers get a livable wage. The organization breaks even.
How is Uber a monopoly? I used Lyft yesterday because Uber was too far away
No. Group work is terrible and students are—at least perceptually, when not in fact—in competition with each other both for grades and for time. Even in the best case scenario students are incentivized to do the parts of the work they already do best which seems antithetical to education.

Multiple choice quizzes are also useful to the student because they provide a snapshot of fact memorization and maybe some application but there is no point in counting the grades, IMO.

If we must evaluate students, then we should be treating evaluation as important as imparting knowledge and experience and spend the time on it that it deserves. Students deserve and need timely and thoughtful individual feedback in order to improve anyway. That means thoughtful projects and a lot of time spent grading. How you incentivize this amongst educators who often don’t even want to be teaching is beyond my pay grade.

(Additionally, a grade should reflect level of mastery at the end of the course regardless of progression but that’s not how grades are generally calculated.)
The revenue generated from "lift and shift" enterprise migrations to AWS, where large companies pay accenture to move them to AWS in the least efficient way possible probably dwarfs startup revenues.
Had a look, binary installers; ain't nuthin' open here.
I never claimed to know. My point is that Web APIs aren't the answer, like the person I replied to said.
You can get smart plugs with energy monitoring.
How do you know they called themselves engineers?

BTW, Tesla studied engineering.
We are limiting the amount of compute we are giving for free during the technical preview. We will open it up to much large computes later. Like those will be in the paid tier.
Is it difficult to use your own equipment over there? I guess what I’m asking is doesn’t the NTU simply spit out an ipv4/v6 address and it’s up to you how you route it? This is how fttp works here in Australia (if you’re as lucky as me and live in an area serviced with fttp that is)
I know all this JEASUS.

Iridium was out of the price range of the averwage bear. With family in Alaska, we've them for a LONG time in my family.

My point is that as SkyNet eveolves - its going to provide defacto global coverage for even the poorest regions.

Even Musk himself said that large swaths of africa will see early value.

This IMPLIES that they are intending to poc-mark the globe with enough cells...

Moonshot idea.
Isn't vivaldi closed source?
I never cared about BAT, I just realized its was centralized on top of ETH and then just stopped caring.

I immediately disable it and anything related to crypto and I just forget about it.
what would be a tourists experience getting in such a taxi if they werent local? For me this was the biggest game changer of Uber.
I feel so bad for whoever invited him into the chat. That must have been mortifying
Another thing is that college is voluntary

You voluntarily agree to abide by the academic integrity rules. If you don't want to do that, you can voluntarily go to a different institution with different rules and standards. The goal of the place is learning not pointscoring and cheating undermines that.
That person gets a valuable life lesson. Some of us work, so that others prosper.
The GitHub UI forces their view of the world and their development flow on you.

It doesn't bother me personally, but perhaps I've already been indoctrinated over the past ten years.
It's probably not that relevant to the job, but as far as weird questions go it's not too bad. It's presumably not leetcode hard, basically.
$72k for Texas lol. I don’t know a single Silicon Valley quality engineer working for that anywhere in the US.
> When I saw that somewhat ambiguous title, I was hoping it was about that song. Now I have to watch all those videos!

Same here! I thought, "there's no way Talking Heads is near the top of HN".

> Stop Making Sense is one of the all-time great music movies (and I try to watch 'em all).

I still find it hard to wrap my head around the fact that Jonathan Demme, the director of Stop Making Sense, also directed Silence of the Lambs and Philadelphia.
What if one just wants a more usable ungoogled-chromium?
I never really got into SC2, but Warcraft 3 and AOE2 have pretty major problems with online gameplay due to using deterministic lockstep. Back in the day, it wasn't uncommon for people to lag out in Warcraft 3, which would freeze the game for the whole lobby until either enough time passed that you could kick them, or they stopped whatever was making them lag in the background.

My friends and I actually quit playing AOE2DE because about 1/3-1/2 of team games had someone lagging from the start, which makes the game slow and choppy for every other player (and this was despite the game having a benchmark you had to complete at a certain framerate to play matchmaking online). Spending the next hour in an unplayably laggy mess of a game just isn't fun.

I know Supreme Commander (supcom) also has problems with 1 player lagging causing everyone else to lag.

There's also the matter of it being much harder to actually program a deterministic game, especially once you try and multithread it (which is really necessary for modern RTS, but a nightmare for determinism). Fixing all desyncs is very difficult (AOE2 and WC3 both still have desync bugs. In AOE2DE some people use them to cheat their way up the ranked ladder, desyncing whenever they're losing so it counts as a draw instead of a loss). I've heard the upcoming Sanctuary RTS (indie supcom spiritual successor in development) talked to a bunch of RTS industry vets, and were told that it's not worth it to do a deterministic simulation these days unless you want over ~10k units. AI War 2 [1] has a pretty interesting network model for multiplayer, where they've got a semi-deterministic simulation, and self heal client's simulations if they diverge from the host, which allows for it to be heavily multithreaded and have 10k-100k+ units. You'd probably have to use dedicated servers for a competitive ranked mode if you went that way (and they'd be heavier to host, for a smaller per-game player count than eg. an fps or a survival game).

[1] https://wiki.arcengames.com/index.php?title=Category:AI_War_...
Idea: Host datasets as one or more torrents. Thoughts?
You may find yourself hearing a whoosh.
The best class I ever took in uni had 3 examinations taken by all students simultaneously, with variations between each exam making cheating nearly impossible. There was no attendance taken, all course materials were posted online, and the only grading for the entire class was the exams. I showed up to 2 classes the entire semester yet still learned all of the material and obtained an A.

At least for certain STEM classes, I think this should be the norm.
Inside one of the engine nacelles.

The engine-y bits are no longer there.

https://www.jumbostay.com/room/engine-room/
That isn’t realistic. Galveston Texas — calling for a taxi can take 1-2 hours to arrive. Uber— 15 minutes. Taxis are terrible.
And you can wait for it to show up. Around here a Doordash or Uber Eats delivery is at least an hour, maybe 90 minutes. So you need to plan ahead a bit.
Earthworms after rain (2019)
I have a project that allows not only to compare the stars, but also to find similar repositories, trends and interesting facts: https://ghe.clickhouse.tech/
Sounds like a proof of work system is needed. Let’s say every answer included a something unique to the test taker, time, place and question. These values would be inserted early in the computational process, like maybe as a coefficient to sin, such that the process is easy to grade but difficult to cheat since the values of each downstream step are unique.
I think there is a project quite similar to this one called Verifiable Software Toolchain (VST) in which you can write a C program, convert it into a massive Coq expression, and then write theorems about that expression in Coq. The Software Foundations series has a volume about it [1], which I found to be an order of magnitude harder to understand than the other volumes.

It feels like the magmide project aims to the same goal as VST. It's unclear how it will improve on what VST has done. It may just be that formal verification of real world languages is inherently complex.

[1] https://softwarefoundations.cis.upenn.edu/vc-current/index.h...