skysight-inc/HackerNews huggingface dataset:
Even when we will reach the reasonable maximum of transistor shrinking, then GPUs can scale up based on electric power.

If we allocate 1kW for a gaming system, GPUs will be able to scale up a lot more.

That's for theory, then the limiting factor could become the vram unable to feed fast enough the GPU, then we could imagine GPUs with "less vram", but something ultra fast like "only cache memory".

playstation 10?
65. I went from 1975 through to 2010 not owning a TV. Not even one.

In 2010 we bought a 55" HDTV (but no cable service), a BluRay player, and a Nintendo Wii. We also got a Netflix DVD subscription. We had three young kids at the time. I carved a 16 foot by 16 foot square of space out of the basement, floored with resilient foam tiles, hung the screen on the wall, added some inexpensive Ikea chairs, and the kids would jump around playing Wii games, often times with their friends over, and the whole family would share a movie on occasion. Two years later we added a Roku streaming box. Still no cable service.

My wife streams something from roku, netflix or prime, while she folds laundry (she does laundry, I do most all of the cooking and dish washing). I rarely watch the screen for entertainment at all. I sit in front of a screen for work, eight or nine hours a day, for the last thirty eight years. I don't need to see more glowing pixels than that.

I know my wife and I are outliers. She sees maybe four hours of TV streaming a week. I average maybe two hours a month, only because on occasion we will sit and watch a movie together.
Even if it's in there cyanide is pretty readily inactivated by the body because we have been dealing with it as a plant toxin to stop us from eating said plant forever. The issue is just avoiding a dose that overloads our own treatment system in the event we don't eliminate it through other means like heating.

Cody's lab video where he drinks some and explains the process: https://www.youtube.com/watch?v=i6hOVhQQ9hI
I would assume that will run afoul of EU regulations which forced the providers to enable roaming without additional costs. If providers could just deny roaming phones they could use that to circumvent the regulations (which are unpopular with network operators).
Reminds me of the canonical list of operating systems that suck from alt.sysadmin.recovery (spoiler: all of them).
Good point. We should stop studying it because we should have known by now.
I had the same problem, and unfortunately continued taking handwritten notes well into college, despite the fact that I literally never referenced my notes. I never knew what the point was, only that if I didn't take notes I'd be "breaking the unwritten rule".

The only point of creating any sort of reference material is to increase the likelihood that you'll be able to recall the information later. Handwritten notes are one of the many possible ways to do this. I find that re-designing an abbreviated textbook and splitting all information into tables is the only way that I can reliably learn, but I didn't think of that in school and thus struggled some with grades.
> There are so many bits of state in a modern CPU, you are never going to solve the halting problem in practice even for a computer with a CPU only but no RAM or disk. And once you add some RAM, or haven forbid, a disk with a couple of terabyte of capacity, you are in never never never never never ever territory.

Is that actually proven?

Or is it possible that in fact, there might be an efficient algorithm for solving the halting problem in practice for computers, but it's just that we haven't discovered it yet?

Just because the state space is big doesn't mean that there aren't shortcuts to figure out in a much more efficient way whether a program loops forever.
Probably the context switch logic (save registers, switch to ring 0 mode, etc.) in the kernel might be. That's called for every syscall, up to thousands of times per second per active core.

It would be cool to know which is the most frequently called piece of code in the world. Maybe something that hasn't been changed in decades.
That Microsoft is going to abuse its ownership of Activision is a certainty. They've already proclaimed they will only keep certain franchises on PlayStation for several more years after the merger succeeds.

This merger needs to be stopped dead in its tracks. If competition authorities allow this merger they're factually legalizing market abuse.
Are you saying that, basically, twitter and its workforce deserved this, and we all do, and people like Gergely should just fall in line and realize that?
Nice generator! Parsons Puzzles are a well researched way of scaffolded learning in the CS community.

Last year when I was teaching UC Berkeley CS61A, we tried out a variant called Faded Parsons Puzzles, where the draggable code lines also have blanks and get verified via Python doctests. I made a browser-based runner for that style, for anyone who wants to easily create new Faded Parsons Puzzles.

See demo here: https://pamelafox.github.io/faded-parsons-static/index.html
More background here: http://blog.pamelafox.org/2022/08/a-browser-based-runner-for...

We'll be presenting a poster about our experiment with FPPs at this year's SIGCSE.
We're talking about O365 as a whole, not just Teams. Chat in general is a bad example, because it's a product far more in flux and pretty easily replicated/replaced. Show me how not learning Excel is beneficial. Excel is one of the most important programs on Earth, and students should suffer by not learning it...and instead learn LibreOffice? Then they go to their jobs as adults and don't know how to use what most every other company on the planet uses?

When we discuss education, we must also look at what the world does, not just what we -wish- it did. It's cheaper for the schools to have O365 licenses than singular program license for various products that helps to power the global economy. Just like you wouldn't teach a kid command line on some new experimental OS, you'd teach them on UNIX or Windows, same thing. The whole point of schooling is to build real world skills. Much of the O365 suite is used widely, so are some GSuite products. It's just the reality, like it or not.
Managers, like politicians, should have term limits. The temptation for abuse and favoritism is too strong.
> I want to work 8h hours (or less!) but I want to run hot all the time while I'm doing it. What's wrong with that?

Nothing is wrong with that, but it's just not realistic to expect everyone to work like that.
this isn’t true. ap has killed multiple motorcyclists.

https://insideevs.com/news/603364/tesla-probe-motorcyclist-c...
It used to be true that even when having an unlocked device here in Sweden, the operator actually tested and certified the updates, and I know this because updates used to be released at wildly different times between different operators. I assume this has stopped now that I read this, because I do get security updates straight away, and I get the feeling everyone does.
> And next year you get a new one, and the next year another

You can't wear your PS5 to flaunt how rich, current, stylish, trendy you are.

People are happy to shell out money for a status symbols. US practice of contract subsidizing the price of the phone helped it greatly, when even high schoolers could get it.
Without tests, how do you know your code actually does what you think? Run it and manually click through every type of functionality?

And without tests, how do you know if you introduced a bug or not? Send it to QA and wait for a week?
Edo Poll – Quality versus Agility: a conflict of interest?
Because anyone you want to exploit by definition either has enough money or visibility to avail themselves of legal redress?
> Is there a world where Musk makes Twitter so good, it reduces the risk of having him at the helm, and they’re no longer as susceptible to a strong competitor?

Good for whom? Anti-wokists, anti-LGBT bigots, anti-semites, white supremacists, conspiracy theorists, trolls and QAnons are bound to have a field day, but no one else wants to share a platform where such people get to run rampant as a matter of policy.

Making Twitter good for as many people as possible would necessitate moderating to a global middle ground (because - as Elon is discovering from the mountain of lawsuits from countries where his mass firing policies are illegal - Twitter is an international site) for which standards are far more restrictive than 4chan.

But it seems obvious given Elon's rhetoric ("woke mind virus," etc) and actions that he doesn't want Twitter to work for the masses, he wants it to work for the American right-wing internet goblin horde.

No, even at this point, I think Elon has permanently destroyed his own reputation, and Twitter's fate as long as he's there is a slow but inevitable rot as the cancer takes over. Advertisers are already leaving and competitors are already taking in refugees. I don't think there will be just one primary replacement for Twitter, though, but a fragmentation of the userbase across numerous platforms.
There is a lot to say about this but, staying in trend, this is an issue of too much, to quick.
They used coding and algorithms, all in a day's work.
Why would you get a new one next year?

Apple devices are supported for a long time and are essentially cheaper than most Chinese offerings that cost less than half the price of an iPhone.
The dominant Portuguese manufacturer Nobre has adopted the Austrian notation.

e.g. https://www.emporiopt.ch/content/uploads/2021/08/salsichanob...
While technically correct in several ways, this is a pretty naive take on the topic. A simple counterexample is trying to decide whether a program which computes the Collatz conjecture will always halt (which is equivalent to proving the conjecture itself). Proving it always halts (or crashes) in some fixed amount of memory is insufficient for saying anything meaningful about the program: we oftentimes care about the mathematical object a computer is modelling, not just the computer itself.

Furthermore, it is true that computers have a finite number of states, but this number is intractable for most problems in verification. There are several well known cryptographic problems that take on the order of the lifetime of the universe to solve in bounded memory... if you're trying to write a program to verify one of these algorithms the boundedness of memory will probably not help you much.
Solution: Put term limits on democratically elected Dog Show judges, as well as normal judges.
Razer Huntsman Elite is at $120 instead of $200.
See, the thing with DDD is that it is VERY complex. I mean, "the" book on it (Evans) is beefy. Putting all those ideals in practice is hard, especially when so many of the ideas are not necessarily to do with the act of software development - No, they are social concepts, the way a team should approach the business and people outside of the tech teams.

That's why every single implementation of DDD is different. Every company that "implements" DDD does it differently. I've seen this a few times now.

Honestly, at this point, it's a bit like Agile.
Well, thus-far it has failed. We have Factorio, Tomb Raider and one of the Resident Evil games running on MacOS - most of which had to implement Metal by hand. If you're right, Apple's strategy needs to change.
Factorio has been mac compatible for over 7 years (citation: my embarrassingly large play time), this blog post is just about performance improvements (that several of my factories will appreciate)
Yes, that widens the problem space considerably, especially if it depends on the rate of access or something similarly non-deterministic. But you're still fundamentally testing interleavings through a synchronization library.

Still, reducing the problem space to such problems instead of any time you reach for atomics or a mutex, I imagine, removes the majority of bugs, so lets not throw the baby out with the bathwater because it's not perfect.
I am effected. I can send you proof if you email me. My follower count is zero when I’m logged in after I was locked out of my account for a bit right after retweeting a joke meme critical of Elon’s handling of Twitter.

Elon told me he wants to make Twitter a free speech area. Why did anything negative happen because I posted a family friendly meme? Just because it insults the owner of the free speech platform?

I only log into Twitter once a month. I post even less. This is the first time I’ve had issues.

I don’t have proof for loading being janky at times in recent weeks but I could be on the lookout and take screenshots of that too.
Ceci n'est pas un test.
Baby Formula, the Pandemic, and the Metric System
> It sounds like you started designing system from database perspective

> I'd prefer start with some event storming session?

Right - We don't literally start with a blank xlsx file on day 1 of a new product or big feature.

The first conversations are about abstract outcomes, market expectations, and eventually more concrete user stories. Once we are talking about what a user experiences, we can begin to accumulate types/properties/relations.
There are other studies that link Toxoplasmosis to increased risk taking. Here one on increased likelihood of getting into car accidents: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC117239/#__ffn_s....

It's widely known for many years now. Twenty years ago there was a huge report about it on German public radio. The article I looked references research from the seventies.

It's been a strange philosophical point to me that catching a parasite that really wants to be in your cat can alter your personality and unless you are a pregnant woman the medical system ignores it.
Insert "Look at what they need to mimic a fraction of our power" meme
https://www.npr.org/2008/01/01/17725932/in-defense-of-food-a...

Just want to point out that advice is inspired by Michael Pollan's diet advice: "Eat food. Not too much. Mostly plants."
Can Twitter run on 200 devs? Probably. Maybe even 20.
Can Twitter run on the 200 devs they have and thrive? Don't know, but it won't be easy.
Can Twitter run without manual content management? Not long term.
Can Twitter run on subscription alone? No.
Will Elon Musk ruin his mystique? Already has.
Are these questions related? Yes.
The idea that lawlessness or criminal behavior is inhibited by a short wall in the subway between the platform and the tracks is absurd. There are broader cultural forces at play, in particular the "non-carcerial" alternatives that Singapore employs- harsh punishments for small crimes. Giuliani's "broken windows" policies on steroids.

If we wanted to emulate Singapore to make our subways safer, we would have to do much, much more than put up a little wall on the subway platform.
Chrome pushes hundreds of new APIs every year [1]. On top of that modern browsers are huge unmaintainable beasts. Chrome is upwards of 25 million lines of code [2]

All of this compounds together: new features introduce new bugs, new features and maintenance expose old bugs, all of those changes suddenly make new bugs appear because no one know all the intricacies of this code etc.

[1] https://web-confluence.appspot.com/#!/confluence

[2] https://www.openhub.net/p/chrome/analyses/latest/languages_s...
Fun Trivia:
When Volkswagen announced that their canteen would offer vegetarian and vegan alternatives, Germany's ex chancellor Schröder made the headlines with deriding this decision and calling the sausage the "Kraftriegel der Arbeiter" (worker's power bar).
This humble, relatively small dev team has written their game on top of a barebones engine and ported it to more three platforms and architectures, yet multi-billon dollar studios claim supporting anything beyond x86_64 Windows is an impossible feat.

I have so much respect for Wube. Absolutely amazing quality and care in everything they do.
I know hardware isn't 100% precitable, which is why we expliclty try to test that behaviour through randomized testing, formal proofs, etc. I'm not mocking anything, I'm just saying it's possible to attempt to cover difficult to create scenarios.
Joking aside

ssh badly-managed-server cat file | jq .

Problem solved !

I actually made a wrapper that just guesses (based on which parser returns error basically) type of serializing and then displays it nicely.
> I still use X11, where and rely on the following features

To which I would add:

(1) taking screenshots from the command line (xwd)

(2) moving windows around from the command line (xwit)

(3) keyboard-free copy-paste between different programs: select to copy, middle-click to paste

(4) global indicator of where my cursor is (xeyes)

(5) define global key combinations that launch programs (xbindkeys)

(6) globally configure the keyboard in a particular way, key by key, not according to some pre-configured "language" (setxkbmap, xmodmap, xkbset)

(7) set keyboard repeat/delay to absurdly unusable values (xset)

(8) run graphical programs from a headless virtual machine (ssh -X)

I do not mind whether I'm running x11 or wayland, but I care a lot for all these features that are crucial to my workflow. How likely is it that items (1)--(8) will be supported somehow under wayland?

I'm a bit concerned that wayland gives a lot of attention to things that are meaningless to me (tearing, scaling, etc), and does not care at all about these basic usability features.
It is sad to me that a lot of people seem to think the problem with Twitter, or any company, being "bloated" is the fault of of the people hired and not the fault of leadership. That somehow people deserve to be laid off in the most stupid way because somehow its their fault that they were hired?

Fire them, twitter was bloated, but do it with respect and dignity. Some of us here in the comments seem to think the world needs to be a dark and cruel place and people are "spoiled" but it does not, being a dick is an option and Elon went head first in.
AFAIK cycle detection does not tell you if a program will halt, only that a program has a cycle.

while(random() != 0) {
wait(1second);
}

will this halt?

You can use cycle detection to reject programs that have cycles as "may halt" but not "will halt"
Yes, he made a terrible deal. He had terrible timing, showed no discipline by waiving due diligence, and overpaid for twitter.
My experience differs.

Perhaps the reason is that the scientific textbooks that I love to buy are often "long-tail business", i.e. textbooks about very specialized topics.

The situation is even more biased towards Amazon if we are talking about used obscure textbooks in good condition for a fair price.
On the specific topic here, fractional scaling, macOS gets it disastrously wrong, only supporting downscaling, which means that it’s impossible to get pixel-perfect output on fractional scales, which are the norm on most of their devices. I seriously can’t comprehend how they ended up going that way, given that they were the ones in a position to force developers to get things right, far more than Windows, but no, they just didn’t even try. On the contrary, Windows has worked with fractional scaling from the start of its high-DPI story, and although it did take a while to get it right in all circumstances (I think the last pieces came in 2017, with DPI_AWARENESS_CONTEXT_PER_MONITOR_AWARE_V2 and also incidentally GDI scaling to automatically improve most older, DPI-unaware apps), it’s been robust since on all but a few badly-made apps that claim DPI-awareness but actually lack it (and you can forcibly change how they behave if necessary).
Probably not an answer to your question, but take a look at gitk. It's more for visualization, but it comes installed with git for most distributions. I've found it's incredibly helpful for teaching people the commit tree model, or even just looking at all the diffs across a branch
Load following to change your thermal output over minutes or hours isn't frequency correcting which isn't grid stability. Steam turbines can't change speed quickly. Some exotic closed CO2 turbine might.
So rich people are buying poor people an iPhone - where the poor person still has to pay their own cell phone bill. But the poor person can’t buy a cheap third party usb c wall charger?

And if Apple is forced to include a wall charger, what’s stopping them from just charging extra for the phone?

You really don’t think this argument is a little incredulous?

Seeing that 90% of the world even in third world countries have some type of phone, you’re telling me that the person who got the free iPhone in the most expensive country in the world to buy a phone won’t find a way to buy a charger when if they hadn’t gotten the phone for free they would have bought an Android phone - that costs more than the charger?
Yeah, that's exactly what I said. /s

In all seriousness... Times change, this was bound to happen. Does it matter whose fault it is? Be adaptable and accept reality outside your control.

Whoever fault it is doesn't change the reality of the situation.
Prefect and Apache Airflow defines logic in a pure Python code, while StackStorm uses a YAML-structured Workflow called Orquesta [1] supporting different logic patterns (parallel, merge, concurrency, join, retries, pause, ask, nested subworkflows, etc) [2] with Jinja and YAQL [3] support. YAQL is especially interesting one where Jinja is not enough.

There's also a bi-directional ChatOps framework you can tie with the workflows to make the experience more interactive.

So you can listen on events (could be a chat command) from 3rd party services, do some rule filtering & matching (all in YAML), and trigger workflows with the logic that runs actions in other tool(s) and service(s).

StackStorm has Exchange [4], - a collection of 100+ plugin integrations with different tools and services contributed and supported by community to make that building blocks juggling easier.

[1] https://docs.stackstorm.com/orquesta/index.html

[2] https://github.com/StackStorm/st2/tree/master/contrib/exampl...

[3] https://yaql.readthedocs.io/en/latest/

[4] https://exchange.stackstorm.org/
This is a fascinating and unexpected piece of information. I would be very intrigued to read your source.
Bought myself a Razer Core X (Thunderbolt 3 eGPU enclosure) for CAD$109.99 a few days ago. Was a discount of 71% off from an original price of CAD$389.99. Not sure if the US site reflects the same kinds of savings.

https://www.razer.com/ca-en/gaming-egpus/Razer-Core-X/RC21-0...
I was thinking of Red Hat (for example), that pays kernel developers and regularly tests and backports features for its paying customers. That means having a finger of the pulse of the kernel tree, and trying changes to decide whether it might be worth to port them to their supported kernel branch (which lags behind master).
Interesting thing is that Battlefield is a 20 year old franchise with about a dozen mainline releases, has sold tens of millions of copies, and has likely generated billions in revenue for EA. It's a wildly successful franchise by any metric other than "compared to Call of Duty".
I appreciate the value of this, but the incentives are too biased to function properly. I think a good remedy (which would also tackle a number of other conflicts of interests and biased incentives) would be for anti-trust prohibitions on mobile network operators from selling cell phones at all.

Let the network operators continue to certify phones, like hardware manufacturers do with hard drives, memory, etc., dimmer manufacturers do with LEDs, etc.

Make the certification tests, steps and costs transparent to both device manufacturers and the public.
H1-B holders were able to leave when the board sold the company. It’s not easy and unfair but the alternative was buying into the hype machine.
Washington chased Huawei out of Europe