skysight-inc/HackerNews huggingface dataset:
Ever since‘s Apple standardize having SSD‘s in their computers, I’ve been trying to be better about shutting off my computer at the end of the day. It boots up so quickly compared to HDD’s it’s hard for me to justify not doing it. I don’t think my laptop or mini take more than 15 seconds to be up and running.
>> They are held ... because the funding model is driven by test scores, so the curriculum needs to follow the testing

There are many, many educational metastructures large and small around the world. Public, private, religious, regional, national, etc. By an large, the status quo persists much more widely than some specific incentive or funding structure. That doesn't mean test scores are good. It does mean that replacing the test score system will not, in itself, change much.
* Understanding Computation: From Simple Machines to Impossible Programs by Tom Stuart.

* Out of their Minds: The Lives and Discoveries of 15 Great Computer Scientists by Dennis Shasha et al.

* Ideas That Created the Future: Classic Papers of Computer Science edited by Harry Lewis - Came across this book in another HN thread but i don't have it yet.
If you have a low income, then potentially much less inconvenience than not being able to afford things that you need.
The coolest part about JXL that I want to use specifically (over AVIF) is progressive coding:

https://youtu.be/UphN1_7nP8U
Today, not too much. They have cleaner support for things like crypto or more unusual trade structures but the big thing that they offered that nobody else had was free trades. The whole industry has now shifted to that but it was a big deal when a trade was $0.00 rather than $4.95.
Remake Pitayan blog part 2
I measured almost all appliances in my house. And my TV uses around 9W in standby, so consistent with your finding. We don’t have a switch yet and I’m too lazy to (un)plug every time. So currently that is all wasted energy.

Mobile phone chargers really don’t use much energy at all. So these can be left plugged in.
https://en.wikipedia.org/wiki/Too_cheap_to_meter
To be fair we could generate a lot more power a lot cheaper with circa 1962 (year The Jetsons began) environmental legislation.

I mean you would have to compromise on the environment a bit but it's by no means impossible to generate a ton of cheap electricity. It's not some lost art like Greek fire or Damascus steel.
Coal 2021 (Analysis and forecast to 2024)
Bitcoin: internet-based black markets

NFTs: money laundering, scamming idiots (similar to the fine art world - NFTs make a ton more sense if you view them as an attempt to create "digital fine art" in the same way as Bitcoin is digital gold).
The virtual env thing is extra friction but isn’t terrible:

$ python -m venv .venv
$ source .venv/bin/activate
$ pip install -r requirements.txt

Most IDEs will automatically pick up the .venv folder
I mention power supplies in both the colloquial sense, but also the power supply circuitry - I know things like the ESP chips themselves don't use much power.

As for my Google TV: the PSU is integrated, so I can't tell.
The next antibiotic is in a pile of dirt somewhere. The next virus antibody is in an animal somewhere. Nature is way better than humans at scale for biochemistry and has been doing it way longer. Before modern computer or X-ray based drug design there were whole animal and collect-and-test. Chemists can tune better than nature but evolutionary pressure is amazing and can be harvested.
> Why would you even try to use onclick instead of onsubmit

I mentioned in the post I switched to onsubmit.

> But more with a junior dev

Damn, anyone can be a junior dev these days! :)
It's a startup where you get hired by being ex-FAANG/pre-FAANG and therefore know someone already there.

Source: I applied about a year ago with relevant experience, large consumer site & +$2B/yr payment gateway experience. No reply. Made a fake resume, cutting my experience in more than half, but included 1.5 years at Google and they wanted to start the process.
TCP Keepalives and TCP_USER_TIMEOUT socket option explained
He certainly deserves a prize, and award... whatever. He is a form of hero, someone who turned the world into a much better place and most people don't even know about him.
I heard this £30 saving stuff on the radio this morning, and it made me shake my head a little. I remember when I got a socket adapter that measures power consumption, and I went around checking all my appliances, eager to find out which are drawing lots of power, excited at the money savings. Started with my old, huge, plasma TV, that is the best part of 15 years old - surely chugging loads of power in standby? Nope, next to nothing. Monitors, same. Network switches, same. Essentially I didn't find anything in my property that was doing anything unexpected. Having hot water (which I get via electricity as my flat doesn't have gas) for a single day will use up more energy than I'd save unplugging all my devices. Similar for heating (again, electricity based) on a colder day in winter would cost more than all the standby devices.

I remember a long time ago (25 years?) someone 'invented' a device where you plug your TV into it, and it has an IR receiver to go with it, you program it to respond to your TVs power button (on the remote control), and then when you go to put your TV into standby, the plug then turns off too, and when you switch it on it does the opposite. At the time it was being touted as the money saver, and I got the impression (although never actually tested!) TVs back then did draw a lot in standby, so this 'invention' was a legitimately good one. But it didn't seem to really take off, I am assume because standby was rapidly implemented in a way where there is such minimal electrical draw that it would be pointless.
Tandem started selling their NonStop systems in the mid-70s, so clearly high availability was important.

At Basho we worked hard to acknowledge our debt to distributed systems pioneers. Not everyone is ignorant of that history.
The BBC ran an interesting piece of advice this morning on saving money from "vampire devices":

"There are smart plugs you can buy which will let you check everything is turned off from your phone".

How much power do the smart plugs use to listen on wifi?
Every time someone tells you the "science is settled" is likely to have just as many facts behind it.
It depends on the choice being made. If you're considering one of several routes on the way to work, you don't care about arrival time, you only care about probability of arriving before a certain time.

In any case, the calculation isn't the point. My point is that in any non-trivial choice, you are necessarily making such a calculation, even if only approximately.
I'm not sure what this adds over LYaH. Possibly it is useful because you have to survive until LYaH Chapter 8 for "Typeclasses 102"? [1]

The basic post was fine I didn't see any lightbulb moments. It works through an example showing how to add your own data type to Eq and Ord.

The later post, "What's That Typeclass: Monoid" could have been interesting. To me it went to mathematically-abstract. Like every other Haskell post.

Example quote: "...because a semigroup is a monoid without an identity element..." To be fair, they have defind SemiGroup, but really -- who is the audience for this?

This is good for a laugh though:

> Why do you need monoids?

> In general, monoids are not very advanced, interesting, or cool.

[1] http://learnyouahaskell.com/making-our-own-types-and-typecla...
It is a nice security measure; it means that no other service can accidentally read or write to the same files. An older form of the security measure was to create new system users like “ftp” and “mail” so that the ftp daemon couldn’t be tricked into overwriting someone’s mail queue and so on. The downside is that this takes a certain amount of effort on the part of the system administrators and distros to arrange; the bookkeeping becomes a significant source of manual effort.

The DynamicUser= setting tells systemd to invent a new user on the spot, with an id that is not in use by any other service. You can add as many such services as you like¹ without having to do any extra work to keep /etc/passwd updated.

¹ as many as you like as long is it isn’t more than several thousand, unless you recompile systemd with larger limits.
I came here looking for this comment; it seems prototype is always forgotten about as part of the "before frameworks" discussion. I remember bringing up using prototype to my coworkers in 2006/2007 (the director was a stickler for having clickable buttons that had a specific width on the left and right of the text, so I proposed using prototype to set that automatically). I recall my coworkers being mostly confounded by it and how to use it.
I worked at Shopify - Pay is all about getting the Shopify brand into consumer minds. They had a huge problem where retailers used their platform but there was very little stickiness, the customer relationship was owned by the retailer. With Pay Shopify used it's existing install base to collect customer info and intermediate their relationship with merchants, making it harder to move a shop off Shopify.

Of course they need to tell a story about increased revenue to the retailers, because otherwise why would they voluntarily give Shopify control over their relationship with their customers?
It’s fascinating to see so many different parties converging on Datalog for reactive apps & UI.

- There are several such talks at https://www.hytradboi.com/ (happening this Friday)

- Roam Research and its clones Athens, Logseq, use Datascript / ClojureScript https://github.com/tonsky/datascript

- differential-datalog isn’t an end-to-end system, but is highly optimized for quick reactivity https://github.com/vmware/differential-datalog

- Datalog UI is a Typescript port of some of differential-datalog’s ideas https://datalogui.dev/

I think an under appreciated aspect of Datalog is as a pure specification language for relationships. Schema languages like GraphQL specify a relation between types exists, but not how it is computed. Prisma and other ORM DSLs like ActiveRecord do a better job specifying how to compute a relation from SQL tables, but support only a few strict computation types that can be modeled using SQL JOIN on columns.

Datalog lets you purely specify arbitrarily complex logical relationships between data types. Even if you were to only use Datalog as a rules engine at test time, it could still be quite powerful for validating logic implemented in different languages on the same data model, to say keep your Typescript, Kotlin and Swift logic in sync.
MCDC Checker: Open-Source Tool for MC/DC Coverage with GCov
A tool to check C/C++ source code for non tree-like binary decisions so that its MCDC test coverage can be assessed with GCov.

Documentation can be found here: https://gtd-gmbh.gitlab.io/mcdc-checker/mcdc-checker
> tweets like these

A quick way to #saveenergy at home is to turn off tablets, laptops and consoles as soon as you stop using them, and ideally unplug them.

This is a big potential #energy saver and could save you up to £30 a year.

> aren't tagged as misinformation

The only misinformation I see here is up to £30 a year as households would save more than £30 a year by doing this.
This is common [1]. Most email provider detect replies [2] and it's easier to pass the spam filter. Also if the user sends you an email, you are added to a secret allowlist [3]. So we added a message asking people to send us an email if they don't receive our initial message.

[1] And Gmail/Hotmail/Yahoo have slightly different rules/heuristics, so each trick may work in some of them and not in the others.

[2] Real replies, not fake replies that start with Re:

[3] A different list for each user.
If there's multiple sound sources on a plane, how will it deal with phasing issues, when the distance between opposed points is significant?
Which in my opinion brings up the certification argument, but I, as I’m sure others, have found that most certifications mean nothing in regards to whether someone can actually do the job. Is the key component missing in hiring in our industry a vastly more rigorous/extensive/difficult testing and certification protocol?
Just yesterday I noticed that a device installed by the cable TV company in my house (a WISI VX 2030 amplifier, according to the sticker) was warm to the touch. Measuring its power consumption, it uses a constant 15 watt, so about 130kwh/year.

I don't use cable.
Indeed, that's possible and a good idea - as long as you're not talking about user shells [1] running as confined processes. It turns out that having an unconfined root shell is actually not a bad idea unless you're interested in extreme levels of security. My experience is that confining user shells is a significant hassle.

Running daemon processes etc. as confined root on the other hand is a good idea, but if you're going to the trouble of confining a root process you might as well just run it as a normal user instead if that's possible.

[1] Meaning shells used by a real person attached to ssh.
Screen pixels store their state and are updated in sequence, not simultaneously (hence the “jelly scroll” effect), and only at low-for-sound frequencies (60-240 Hz nowadays).
> - today, going back as much as possible to vanilla JavaScript

Javascript =/= the DOM. All your frameworks are DOM abstractions, not Javascript abstraction, unless you are using Typescript or Reason (or Turbo links on the server). You're still writing Javascript code with knockout and angular and co, you're just not using the DOM directly.

Talking about "vanilla javascript" in the context of these frameworks never made sense to me.

tangential:

Javascript is not the DOM and people use frameworks because they hate DOM manipulation. We "didn't need jquery", or so someone said, but now it seems like we sure need all these frameworks somehow and people don't learn the DOM anymore. How is it any better than jQuery? it isn't...
Show HN: Gatsby-theme-pitayan – A Gatsby theme for minimalists
Now it's common that the server just eat the email, not spam folder, no error, it' just disappear without trace. Specially Hotmail/Outlook/Live.
https://www.npmjs.com/package/jxl-wasm

Perhaps this means it can be shoehorned in anyways?
If you knew you were going to die tomorrow, wouldn’t that change what you did today?
Is this basically the same product as Fast Checkout? Any reason to believe this will be more successful?
How would you answer "What do you think I should know" from a time traveler from 1994?
Games for the Playstation had a unique visual look
Top US corporations raising prices on Americans even as profits surge
This was my first thought when I saw that too. It's a hamfisted attempt to turn a systemic problem into a "a problem of personal responsibility".

Same way that companies that produce a lot of waste are weirdly keen on "everybody doing their bit" with recycling: https://www.treehugger.com/shell-oil-preaches-personal-respo...

Or the way that jaywalking was turned into a crime by the motor car companies:
https://www.grunge.com/721704/the-truth-about-how-jaywalking...

Or the way poverty/homelessness is framed: https://www.marketplace.org/2012/10/05/personal-responsibili...
I'm not sure if I buy the woke-alarmism that is rife on HN. Reading the framework, I don't see any of this "wokism."

It seems like any other guided/misguided attempt to improve the school system that has already taken feedback into account.

This entire HN thread is filled with "back in my days" and "wokism" but no one actually is disputing the content of the framework itself with actual evidence.
for me it s because they are copycats not original ideas. they are trying to copy twitter, but twitter as-is can't be decentralized, if it could it would already have.

then, they are not content agnostic. my email , even gmail, won't deny delivery of messages because of its politics. Mastodon and matrix people seem to be going down the same dark path of blocking each other. that is not just unfortunate, it is a red flag to stay away
>Weird that didn’t turn out.
Decades of a green energy policy being developed by what are, apparently, human-shaped ostriches have led us to being partially dependent on an autocratic regime. Other things such as pipeline (US) and fracking (UK) projects being shutdown by a bizzaro left-green lobby mean a real difficulty in substituting the energy input that our entire economy runs on.

Bizzaro because the left desperately wants to redistribute the very thing it's attempting to shut down, as they probably haven't considered that energy underpins all the wealth we have. And the greenies - who are nearly universally left wing also - probably will shout loudly when people are shivering in their homes and not getting enough to eat. And never blame themselves.

But the real blame for this lies at the feet of politicans, blue and red, who have allowed these loud eejits to dictate energy policy: shutting down nuclear plants, subsidising intermittent energy without (the necessary and) even more significant investments in energy storage. Using green credentailism as a vote winner and nothing more.
valorant is too new of a game to tell, overwatch was pretty big back in the day too
That doesn't make sense as a disability is a lack of ability.

It sounds like a copy of the British term "special needs" used to refer to someone with cognitive impairment, sometimes shorted in conversion by people as "special".
It's been years since I was responsible for administering Linux Servers, but half the issues I ran into were generally fixed with `restorecon`.

I used to be that "never disable SELinux" person, but I've since become a bit more pragmatic. But I still think you should at least spend a bit of time trying to get it to work before defaulting to `setenforce 0`.

I'm a Detection and Response Engineer now, Analyst for several years prior, and I've seen several incidents that would have been stopped by SELinux. Almost all of them were web shells or web app based RCEs. E.g. https://nvd.nist.gov/vuln/detail/cve-2019-3396
I think it’s more of a trajectory than the current state of the world to be quite honest, but if you’ll engage with my more conspiratorial speculations — you can imagine software development would have to be one of the last activities to be subject to severe tool restriction out of the box.

I think a lot of this will happen under the goal of unifying the laptop and phone/tablet experience.
I would definitely ditch the time tracking. It's mentally exhausting. Knowledge work does not work linearly, sometimes you are stuck and sometimes you thrive.

Have someone technical randomly review employees based on their technical contributions.

If someone is clearly underperforming then fire them liberally but on a day to day basis, try to stop enforcing so much constraints.
>if the game developers care.

Or, in the case of Super Smash Brothers Melee, if the game developers spend a decade trying to kill the scene but it just won't die.
So you used FUD to convince him to waste electricity.

The MTBF of the switch was probably 30k cycles.
Upper-middle class incomes are not stagnating. That leaves 90% of people with stagnating incomes.
Don't really know how to feel about this kind of future. It's exactly the kind I'm sure many administrators want: they can downsize entire departments, subscribe to a "MIT Physics package", and just hire adjunct TAs for the class that are skilled in said MIT Physics package to field questions, issue the quizzes/tests.
So you're basically saying social pressure? That doesn't work in most cases.

It only really works when people die.
The Reasons I Write: A reflection on why I blog
As others have said, the fundamental challenge is that teaching, as usually defined, doesn't scale like that and that turning it into a non-interactive process removes much of what makes it more effective than just giving out a textbook.

Part of the problem is that many people take undergraduate lectures as a reference point and then think "well, there's no reason this couldn't be recorded, have interactive quizzes added, and then be better than physically attending a lecture of 200 people". That isn't wrong per se but mega lectures are barely teaching as it is and we should not be seeking to replicate them!

I know people bang on about the (much misunderstood) 2 sigma problem but I'm going to do it as well. Regardless of the exact result, we know a few things:

First, we know that intensive 1:1 tutoring moves the mean performance up by two standard deviations.

Second, we know from other research that there is a correlation between class size and performance.

That is obviously linked in that as classes get smaller, teaching styles can get progressively closer to 1:1 tuition. A class with ten people in it has room for a substantial amount of brief 1:1 interventions, especially if there are no behavioural problems in the group (so the teacher is not diverting massive amounts of time to classroom management) whereas a class of 30 makes that much more difficult.

Conclusion from that, plus the fact that undergraduate classes are often taught by research experts with no teaching nor mentoring in pedagogic technique, is that the undergrad chalk-on-board lecture with 200 students is at the far end of effective use of time from 1:1 tuition. So if tuition is the most "taught" of the learning styles, a large lecture is all the way over on the opposite end with "just read a textbook".

In fact, universities know this which is why they supplement lectures with grad-student led problem solving / discussion sessions, seminar groups, and small group tutorials. Some universities, for some subjects, use only small group tutorials (e.g. Oxford colleges for many humanities subjects) and lectures if they exist are very much optional. Most universities do not have the resources to do very much of this except for more advanced subjects but this has nothing to do with these techniques only being appropriate for such subjects - small group classes are also the most effective way of teaching Intro Calculus or Introduction to the Novel. Arguably they might be even more important in that context.

So the modern formulation of the two sigma problem to me is as follows: given that we can currently duplicate the (very bad) mega lecture format using technology, how much of the performance from actual teaching (the purest form of which is 1:1 tuition) can be captured using something less resource intensive?
That's a crazy amount of standby power consumption! That's more than my laptop under light usage and way more than a mobile phone even under heavy usage. I really hope this isn't common.

As an aside, WA is awesome at units. You can simplify to: 10W years * 0.3 €/kwh.
which is why bridges and buildings certified by qualified engineers have never collapsed
A good rule of thumb, and I hope someone more knowledgeable can correct me if I'm wrong, is that stuff that generate more heat will consume more power. So hot shower, iron, curling iron, hairdryer, rice cooker, this kind of stuff. Electronics that generate minimal heat will consume minimal power in general.
The article linked above mentions he politely declined to give an interview.

I can understand and relate to the reservation, but it’s a shame for the rest of us that would like to know a little bit more about him and his methods.
interesting... but when I try to click the link in the article, https://www.selfservicerepair.com, I got a 403 forbidden error... Is it cause I is in Europe (in my best Ali-G voice [https://en.wikipedia.org/wiki/Ali_G]) or did someone borke the site already? [Update] If I use Cloudflare WARP, I can get in, so either my IP is blocked, or they don't like me coming from Europe...
Artificial Intelligence for Synthetic Biology
Very cool, opens up loads of possibilities for fun projects!
Unless I've misunderstood the concept of aristocratic tutoring, I don't think a prerecorded video counts - even by a teacher as good as Sal Khan.