skysight-inc/HackerNews huggingface dataset:
It’s more sad than amazing. The amount of computing resources we waste for no real reaso. We have crazy fast technology that runs software just as slow as they did in the 2000s
> I guess I’m just old school but I come from a time when I’d be fired for any negative public or even internal comments. And I’m ok with that.

In the US, people have protected rights to discuss and push for changes in their working conditions, and to organize, thanks to the National Labor Relations Act of 1935.
For a comprehensive overview of computation on a foundational level, see Feynman's lectures on computation:

https://theswissbay.ch/pdf/Gentoomen%20Library/Extra/Richard...

I've been implementing the flip flop gates using SICP wires:

https://mitpress.mit.edu/sites/default/files/sicp/full-text/...

It was neat seeing the concept of "feedback" (logic gate output gets fed in as an input) then seeing it actually work in the SICP simulator. It immediately went into an infinite loop, but that's correct behavior. The solution was to add a clock line (a wire which goes 0 to 1 and back to 0 over a specific time interval), then update the simulation until the clock line changes. Presto, I had my own flip flops.

Ended up implementing some shift registers (thanks to Feynman). Lots of fun, and it clarifies the concept of a "cycle" -- I found it really hard to understand what a "cycle" actually meant till implementing the gates.

The reversible computation is cool: NOT, Controlled NOT (CN), and Controlled Controlled NOT (CCN) gives you everything you need to make a reversible universal computer.

It turns out that reversible computation is far more energy efficient than normal computation. You can understand with an analogy. Think of a pool table. Imagine the cue ball hitting the 8 ball. When the cue ball is in motion (and ignoring friction), then no energy needs to be spent -- it's already in motion, so you don't need to do anything to cause the situation to "keep going". It just keeps going on its own.

When the cue ball hits the 8 ball, part of that energy is transferred. In the ideal case, the cue ball stops moving and the 8 ball starts at the same speed.

By arranging pool balls in specific ways, you can mimic an AND gate and an OR gate. The outputs are the directions that the balls end up going. And the truth table for AND and OR is simple, so you just need to represent the truth table using "directions" instead of volts.

If you have two inputs, you'll want two outputs, because otherwise you need to stop a ball entirely (energy is lost) which is very costly in comparison. The best outcome is for the second ball to carry along the energy of the second input, even though you don't directly need the answer just to represent AND or OR gates.

The result is that you can run the simulation, and then reverse the entire thing to get back your original inputs. :)
> I don't think you're allowed to reply to a comment and also downvote it.

Close. You're not allowed to downvote a comment that is a reply to your comment. (Or a comment >24hrs old, or if your karma < 500 (IIRC).)
Apple has a toxic side covered up by silence that is unique among most tech companies.

And you want to talk about ungodly money and ungodly benefits, yet there are suicides at Facebook and Amazon. Not to mention in investment banking. All of these things come at a cost.
> Changing the world. Impacting millions of lives.

This sentence misses "for the better". Good payment and benefits are easy to achieve as an engineer, good problems/tech is also not hard if you look enough. Sorry if you had bad experiences, but it's not like there is a cruel world out there outside of FAANG, as your comment makes it seem. They may have more to give due to sheer scale, but after a limit, good goals are equally if not more important.

And it's at least doubious that the monopolistic, walled garden data-harvesting world that they build can provide those.
Avira Antivirus Pro the latest updated version
I think Apple knows you're not going out and buying an Android device over this.
In my day we didn't have iPads, we had to draw on physical paper with colored crayons!
Hex-encoding works off of bytes… like if a character has a different byte representation between two encodings you need to specify in both directions

Even the Python 2 strategy for hex might lead to your text getting garbled if you’re using anything not représentable in ASCII (roughly).
That link works and sounds fine, thank you.
Very long! Nevertheless, IMO confused. Amazon, for instance, was able to not take profit for a VERY long time, and benefited from a long term overall strategy to get into and capture many markets, as did consumers, who could now actually order stuff online and use AWS.

The claim about corporate law is extremely confused. The shareholders own and represent wealth invested in the firm, and as such should get returns from the firm. Thus, the law requires boards and firms to act in the interests of shareholders - should the board be able to siphon off money for its own pleasure, or shutter the company and trash the capital and investments? No. However - the law gives the board and executives very wide latitude to determine what is in the best interests of the shareholders, as the case of Amazon and many others shows is necessary - what is in the interest of the firm is very complex and hard to know, and giving them the ability to challenge day to day or even strategic decisions in court would be stifling and clog up business and court alike. Thus the claimed problem neither is the wound in corporate management, nor is it even a harm in all.

https://scholarlycommons.law.wlu.edu/cgi/viewcontent.cgi?ref...

Many critiques of corporate governance or financial what’s er are much more pointed and deep than this, and succeed. This one does not, sadly.

The article is very much lacking in examples and details, whether laws, lawsuits, corporations, executives, and decisions. It flirts with high level ideas and vague pronouncements while not doing the important work of relating and implementing.
If you are already familiar with Coq or even Ocaml/Haskell style programming.

I really believe, the volume 3 of SF series is a more polished and more approachable book.

https://softwarefoundations.cis.upenn.edu/vfa-current/index....

I am halfway through the first book (doing ALL exercises), I hope by next year end I would really like to finish vol 3.

This Isabelle books seems to cover more ground though.
Japanese Electric VTOL Company Demo Video (104 Secs)
I study history.

The article is an interesting stroll through Roman history, but doesn't draw any deep conclusions.

To some extent, it's difficult to do that, since distilling 2,000 years of history into a few paragraghs is a difficult task.

What's different about ancient Rome and the US today are:

- ancient empires depended on external taxation, but the US depends on internal taxation, trade and being the global curency. Shrinking tax bases rapidly destroyed most ancient empires. The US has island military bases, but no empire and no external tax base.

What's similar about ancient Rome and the US today are:

- both welcomed foreign talent. In ancient Rome, governors often came from subjugated states, with the notable exception of Britain. One of Byzantium's leaders arrived as a serf, but was a very clever person.

The main problem the US has faced for a couple decades is lack of policy. If you watch any interview with a billionaire, it always comes up.

Trump was the most effective President in terms of policy in the last 75 years, as seen in his CCP, trade and border policies. You can contrast that with Biden's woke agenda, which involves military and border blunders, inflation and plummeting respect world-wide.

Biden is a perfect end-of-the-Roman-empire leadership example. Luckily his administration will be marginalized in 2022 and voted out in 2024.
There has been an obvious influx of paid accounts in my opinion. The quality of discourse has dropped.

I often check an account and notice it was not active for a substantial period of time before a sudden change in tone is noticed.

Seeing the same anti-vax talking points (for instance) spread from Reddit to here has been upsetting. The main difference I have noticed is the responses here are more sound technically, typically, call out the flaws more quickly, and are obviously not being influenced by the astro turfing. It's still tiresome, but here we are.
Congrats on your journey out of the tarpit! :)
> despite referencing the Intel doc.

I don't know why you would think referencing Intel's x86 software developer manual has anything to do with what syntax an assembler would use. Anyone writing an assembler, regardless of its input syntax would refer to it.

> ...but it's written in C and uses a parser generator? IMHO it feels a bit backwards --- and perhaps even a bit cheating if you're doing this for a "bootstrap pilgrimage"

Who says they share your goals? It says they wrote this just for "fun and learning," i.e. to learn how an assembler works and how x86 instructions are encoded, maybe even to practice their C.
You aren't missing anything, it even already exists, for example the Cage project.
Maybe we're getting closer to people buying Linux devices.
Yes you can install the Amazon Alexa app and it works well, as long as you unlock your phone, open the app, and then say “Alexa, set a timer for 5 minutes”.

I’m fairly certain gp post is saying they’d like to replace “hey Siri…” with “Alexa…”
You should not expect a better payment from your company because you are a better programmer. Payment is according to demand and offer. Your company will mostly demand what you say: OK engineering, management skills, good communication skills, getting well along with your colleagues.

But from being a better programmer you can still derive better monetary gains. Instead of striving to become a lead or manager or product owner, you can either become an entrepreneur or search for a company where being a better programmer is a highly desired skill.
Stop spreading misinformation. People have always had the ability to create work-specific accounts for use on corporate devices. I’m shocked that it’s not common knowledge that corporate devices are NOT yours, and you basically cede all rights to data on and usage of the devices. Never use a work device for non-work purposes unless you are fine with those non-work activities being 100% visible to your employer.

I know misinformation feels good since it supports a narrative, but everyone benefits from accuracy and honesty.
x3|(read x;curl -LHUser-Agent: -sv4 "$x"|grep -o "https://r[^\"]*"|sed 's/%26/\&/g;s/%25/%/g;s/%3F/?/g;s/\\u0026/\&/g;s/%2C/,/g;s/%2F/\//g') >.yt;
SEC Set to Allow Bitcoin Futures ETFs
I'm familiar with both. The person who's leading the GIL removal is one of the main authors of one of the two leading ML libraries in python (pytorch) and his motivation is for primarily performance for ML. He explicitly talks about multiprocessing and while it does often work well, there are several situations where it causes issues. I think best thing is to look at his arguments against it, https://docs.google.com/document/d/18CXhDb1ygxg-YXNBJNzfzZsD...

A couple issues with multiprocessing is fork is often likely to dead lock especially with cuda and tensorflow. tensorflow sessions aren't even fork safe and while you can fork before making tensorflow it is a restriction to be careful of. It's also comes with heavier cost for smaller tasks that you want to be short and interactive but are still very compute heavy. Relevant quote for that,
"Starting a thread takes ~100 µs, while spawning a sub-process takes ~50 ms (50,000 µs) due to Python re-initialization."

Communication/sharing of memory is also more expensive between processes than with threads. One key quote,

"For example, in PyTorch, which uses multiprocessing to parallelize data loading, copying Tensors to inter-process shared-memory is sometimes the most expensive operation in the data loading pipeline."

My experience has been gpus actually compute fast enough that sometimes memory bandwidth becomes a bottleneck and making memory sharing cheaper becomes very relevant. Data transfer costs are pretty noticeable and something to minimize. I've seen a decent amount of interest in zero deserialization formats from this.

edit: Another example if you examine intel's c++ library for ML operations onednn the implementation is not process heavy. It is based on multithreading. I generally see threading as main primitive for parallelism in C++ libraries even though multiprocessing is certainly an option they can take. You will often find single operations (like one matrix multiplication) have implementations that use multiple threads. For individual operations you aren't going to want to use multiple processes to speed them up. That's why tensorflow has both an inter operation thread count and an intra operation thread count when configured.
This is why I find myself preferring static languages (Rust currently) over my previous focus (Python).

Midway through a late-night debugging of a service I’d written in Python, I realised I’d spent more time bug fixing and debugging to add more error handling/resiliency (all of which added to the general mess of the code) than would have taken to implement the solution in a statically-typed language, and I ultimately had less guarantees and less performance than the statically-typed language would have given me.

So yes, don’t get sucked into debugging and don’t get sucked into “but it’s faster to write”.
Not only that. If they wanted to add form support they should have read the specs, instead of blindly relying on their (very questionable) telemetry.

The fact they had to find via telemetry something that every developer who had interacted with a PDF with forms knew (that they have JS) is very worrying.

I'm expecting a long long list of bug reports when they start finding the mountains of corner cases not shown by their "telemetry".
Making floating bubbles in Svekyll (Svelte+Jekyll)
Everyone shall start with FED investigation and it's whole ecosystem behind it, it's much bigger fraud. They shall start with Paret rule here :D
Strong disagree. Look at Reddit.
Any anonymous forum is subject to astroturfing. Given the outsize tech audience on this forum, it would be worth money for some companies to pay someone to suppress unfavourable posts.
HN as a whole only very recently started to "beat" on Apple. Before 2021 it was a lot of "well maybe there are two sides to Apple curb stomping both devs and users."
>If WoW and Runescape are already collaborating, they can just ask each other who owns what

This is actually not that trivial from a technical standpoint and takes a lot of time and money to maintain.

First Runescape would need to set up and hire a team to maintain uptime on a few public facing web service servers and define an item status API. They'd need to integrate this web service into their backend infrastructure to give live updates.

Second World of Warcraft would need to write some custom code to read these party hats and their owners from the Runescape API and also maintain a way to link Runescape and World of Warcraft accounts so the right people get them (OAuth2 would likely do well here). WoW would also likely need to design the system to fail gracefully when Runescape servers are down.

This is just for read access, if WoW wanted to let players trade these hats then the Runescape API at least doubles in size and now includes synchrony assumptions and complexity in case players try to trade at the same time in both games. Not fun.

Alternatively Runescape could just make party hats NFTs and players would hold them in their own wallets. WoW would write a handful of lines of standardized code to read the NFTs from the player's wallets and display them in game. Allowing users to trade these items would also just be a few lines of code and would work seamlessly across these two (or more) games. Ethereum also has 100% uptime and the reliability allows designers to create a simpler system overall.

It's the difference between weeks/months and a few days of work on the development side. It's also more standardized and compatible with all other apps when using ERC-721.
My personal policy on something like Robinhood is it's OK if it's tied to my benefits, so 401(k) or RSUs; expecting to engage in benefits activity on a work device is reasonable. I also expect that any company spying into those apps/websites is overstepping bounds, though I'm not sure how this would hold up in court. Robinhood is also more a legal Bovada than Fidelity though, and of all apps, it's not especially pertinent.
It's devastating that this is the top opinion coming from here. The "If you don't like it just leave" stance, whether talking about working for a company or living in a country, is so dismissive of the people who see issues and have the courage to try and change things to make it better for others.
Weather maps don't show unusual adverse weather conditions. Other didn't show apparent impact, even lesser. Face it, it's not the weather.
I was able to get free unlimited private repos from github and bitbucket since 2011, but we still used the ancestor of gitlab as our local repo.
This is why society shall more and more move into Open Finance
I get downvotes for stuff that seems odd from an intellectual person trying to have a discussion. I don't know if it's a bot searching for keywords, or just someone with a grudge with several accounts or legit downvotes. I don't let it silence me though. I mean numbers (karma) are just 1s and 0s. Ideas and honest discussion are much more than that.

Whatever happens speak your mind, you've earned it by existing. Don't get discouraged by downvotes. The future depends on it.
You don't even need a dedicated physical machine.

There's WSL and cloud servers are so cheap I don't see a reason to complain it doesn't work easy on Windows.
I see. I guess I'd better inform myself better about the jargon.

So without a page-refresh, does anything get stored in browser history? Does the back-button work?
Paid by whom? There are companies and employees on HN posting, commenting and promoting their business and services, and there's absolutely nothing wrong with that.

Is someone paying to get upvoted? Almost certainly, but I doubt it's worth a lot here where the sorting algorithm is much more opaque than Reddit. On Reddit getting to the top is just a numbers game.

Also, even though there's far too much political posts on HN, they're the minority and I can't see a reason for some secret government agency to pay staff to change our views about the political world. Reddit is much more politicised, and it'd be naive not to assume every major government has a propaganda team of Reddit posters.

(I'm using Reddit as another example of popularity-contest forum like HN is)
I hope somebody starts a project to do all Vivaldi's customizations but based on firefox.
Hate to make a boring me-too comment, but I feel the same: I've been using it a bit over a year, and I wish I had started even sooner. Now I've got two laptops and a NUC, plus two odroid-hc4's, all on NixOS. All the system configuration that used to be half-broken ansible and a pile of scripts (plus all the one-off hacks that weren't even captured anywhere) is now nice pure nix configuration. I've nix-ified builds for a bunch of personal projects too.

Yeah, it took a few months to learn, and there are still lots of rough edges, but going back to a non-Nix linux distro would feel like going back to windows. I agree with the sibling comment that it makes me feel happy and giddy, like no other technology I've learned recently.
What is the strong point of Crystal besides having Ruby grammar?
Depends on your definition.

Wikipedia says:

> Some games that are placed in the card game genre involve a board. The distinction is that the gameplay of a card game chiefly depends on the use of the cards by players (the board is simply a guide for scorekeeping or for card placement), while board games (the principal non-card game genre to use cards) generally focus on the players' positions on the board, and use the cards for some secondary purpose.

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

Afaict, the cards in Taboo are the primary driver of the game. And so it seems reasonable to say that it is indeed a card game.
Thank you! That was really intuitive, it's nice to have a little midnight thought snack before bed. That mapping and description strike me as integral-like in their description. I,ll read into SATs, any resources you'd recommend for topics like this (or related)?
Mario Kart 8 comes with a deck of cards?
> Keep your work phone separate from your personal phone

Especially if your employer owns the phone or pays the bill.
"I can't wait to receive my Pinephone Pro! "

Me neither ;)
Fairly sure this is the Walter Bright that wrote the D language, a C++ compiler etc
IIUC, despite K8s having started at Google by Go enthusiasts who had good knowledge of borg, the goal has never been to write a borg clone, even less a replacement for borg.

And after so many years of independent development, I see no reason to believe that K8s ressemble borg any more than superficially.

This seems to be very much assumed by kubernetes authors. Current borg users please correct me if I'm wrong.
I don't remember needing anything except Discrete Maths when I took this course in the Uni, so I think multivariate calculus is overkill.
Deeper Than Pixels: A Reading List on Video Games
I've been using a Pinephone on At&t's network since August last year.
And didn't listen to the Right, who wanted it all privatized outside the country.
Out of curiosity, who would pay people for pushing anti-vax talking points?
Talon voice is another one. Friend used it for a long while when he had bad RSI
I have never understood this attitude. "If I don't drive a Hummer, someone else will use the gas".
Like gambling much? This is just showing the tip of the iceberg you're dealing with:

[Imagine Staff of Aeskulapius here] http://biochemical-pathways.com/#/map/2

Vaguely remembering things from

[·] https://en.wikipedia.org/wiki/Molecular_Biology_of_the_Cell_...

which I've read about 1997 while designing and implementing compute-clusters
for a biotech startup,

I've come to the conclusion it would be wise to wait.

While I'm not up to date on biotech anymore, I'm still sceptic.

My strategy so far is to avoid unnecessary contact with the beta-testers, wearing masks, and so on.

OTOH I've never had a flu-shot. But also no flu since eons.

Maybe because I'm bicycling in all weather?

I don't care. Call me a member of the control group :-)
I think that being fast at coding is akin of being fast working on an assembly line. This might matter a bit, however I don't strive to do that. If it comes naturally with experience good, if not, I don't make a goal from it.

Churning out code is something that bores me. I'm interested more in problem solving, computer science part of programming, optimizations, research, discovery, architecture.

I am not interested so much in how I do this common thing fast, but rather in how I solve this hard or interesting problem. If a problem is already solved, can I find a better solution? How fast the code will run? How robust it will be?
> So far I haven't missed any packages that I could not find in nixpkgs, or customize just the way I wanted to.

And it's honestly not that hard to package things that aren't yet Nixified. Any C project is easy - I've learned more about cmake from mkDerivation that anywhere else.

And overlays make it easy to make tweaks to a build without straight-up forking. Beautiful!
Susceptible in theory, infeasible in practice for forums of a large enough size, as there are enough organic votes to counteract shenanigans.

In the case of more low-key manipulation, on Hacker News in particular there's flagging which shuts down shenanigans more effectively if needed.
>Don't let the big box stores be the last store in your town, imo....

For sure. Dad's always been supportive of whatever decisions I make, but the disappointment in his eyes when I say I'm headed to Home Depot ... oof.