skysight-inc/HackerNews huggingface dataset:
It’s never about the UI, it’s what it’s trying to do before it renders.

Oracle on the desktop? Slow. Heck, grep is “slow” by this definition. The web renders quite quick if you serve the content quickly.

Even when the possibility of fast is there, companies like Apple and Microsoft overlay things with animations because it is “too jarring”
Developer. Texts aren't selectable on mobile by default and they want the web version to act the same.
Emphasis on the "don't compare what you get for the money". The Tesla Model3 is nice, but once you get close to $50k here in the US you're up against much much nicer vehicles to spend a few hours in.

I bought a car 2 years back and test drove the Model3 as one of the contenders. The two things that led me to skip an electric car this go around was the poor dealership support that I had a couple of owners warn me about and the fact that the Model3 interior is pretty awful compared to what you get in most entry level Japanese and German 'luxury' cars. I'm a car guy, I can't justify spending that kind of money on something I don't absolutely love.

I'm excited to revisit the decision a couple of years down the line.
The programming book genre needs to be redefined.

In college I was nearly thrown out of my math major, after giving no evidence of having started a year-in-a-semester modern analysis course, with three weeks to go. (I had been busy with a disastrous International Economics computer simulation using Fortran punched cards. Why, when Dukakis ran for president, did no one ask if "the world blew up his year?") I am forever grateful that "Baby Rudin" is such a thin book.

A minor in English taught me that genres are not inevitable. They are cultural choices.

Every year I get more comfortable recognizing I'm neurodiverse (substitute your favorite ADHD acronym) and so are many of my best students. Recognizing this makes me a better professor. Math notation, for example, is simply someone else's bad computer code. Don't blame yourself as you struggle to read it, and realize that everyone who succeeds has vivid daydreams that bear no resemblence to the bad code.

I loathe nearly every programming book I've ever read. I live in fear that I'll turn the page and be writing a music player. What's that nugget about "never write a language for someone in their first week?" REPL examples always include all beginner "bird track" prompts, when anyone with an aesthetic sense customizes their REPL in the first week to hide all noise and syntax-color output. When I'm feeling an ADHD haze I can barely find the code samples on a programming book page.

What I've learned as a professor is that everyone feels this resistance. Some acknowledge it. Planes don't crash because we minimize this resistance in the cockpit. The neurodiverse are the canaries in the mine shaft.

I've learned dozens of languages, and bought countless programming books. "The C Programming Language" by Kernighan and Ritchie remains my favorite, a mercifully thin book like "Baby Rudin".

Learning a language quickly, one learns how each chess piece moves, and still wonders how to put together programs effectively. Just as the greats in any intellectual discipline insist on only reading original works, the most gifted programmers learn by reading code.

I also attempt to learn human languages as a hobby. The great difficulties I experience give me insights into teaching. What is most effective is a staged progression of readers, with parallel text nearby, till one can learn to read unassisted in the language. If the content can be anticipated (such as the wonderfully repetitive "Sapiens" in various translations) all the better. If there's also an audiobook, all the better.

A programming book should teach a language through a sequence of small, complete code samples, so clearly delineated that a scuba diver 30 meters deep can work out what's the code, what's the blather. The main activity of reading the book should be puzzling out how each code fragment works. Skip the "word problems" and focus on simple combinatorial tasks that exercise the language.
>favorable coverage of the views of big finance

I'm horrifically ignorant of economics. Why is the "runaway inflation" story favorable to big finance?
It would be easy to implement server-side rendering, but it carries significant cost in processing time and networking. If they can block all adblocking browser extensions by abusing WASM, the cost of server-side rendering will outweigh the 0.0001% of people that have a pihole set up.
Caffeinated teas definitely.
I wonder what their plans are for accessibility?
That's your average bureaucracy... and some hostile intent in the design of these laws, IMHO.

There are many rights you as an individual have by law - not just FOIA, but also stuff like unemployment insurance, health insurance, disability assistance, veterans healthcare - but in reality, many of those are gatekept to the extreme in many countries: you have to jump through endless hoops, pass (arbitrary) assessments if you are worthy (especially stuff dealing with disability), and often enough only win after two or more rounds of appeals and lawsuits.

Not everyone can sustain the appeals/lawsuits stage for a multitude of reasons (time, money for lawyers, mental health or simply dying before a final court verdict is reached and the respective agency follows it).

The system is built that way, the executive branch doesn't care because there are no personal sanctions for those dragging reasonable requests out as far as possible, the legislative branch doesn't care because it's not them and their donors who are affected, and the judicial branch tries to care (mostly) but is overworked and backlogged to the brim.

The fix would be to write proper laws that have actually binding timeframes - government has 30 days to approve or deny any request, and if there is no deny, the request is granted automatically.
As a former data scientist and deep learning practitioner, I believe the main reason for the field decline isn't its commoditaztion but the fact that it just didn't deliver its promises for "AI".
> From what I've seen, there are a lot of left-wing people in tech circles expressing an opposition to capitalism. However, very few of these people know or care how the economy works.

From what I've seen, there are a lot of right-wing people in tech circles expressing a support for capitalism. However, very few of these people know or care how the economy works.

(A particular subgroup understands finance/trading pretty well, and mistakes understanding weather for understanding climate.)
Its not just companies, they US government is hacked massively all the time.
My completions/auto-imports/refactoring/debugging workflow is more or less identical in VS Code and PyCharm for JS/TS stuff. Python it's so-so. The golang plugin has pretty good integration for all that stuff too.

I pretty explicitly said that some languages are doing better than others. Of course a language specific IDE will probably do a better job than a generalist one in most cases.
Link appears incorrect.

https://jrpn.jovial.com/ works
We don't yet know how the Basecamp situation worked out for management. Have they backtracked on their decision? I haven't seen anything yet.

We'll see in about 12 months if Basecamp loses a ton of customers because the quality of their products and services suffered too severely. And that's assuming quality will suffer at all.
Nah, natural selection sometimes works slowly, and it's not infallible, it's all about probabilities. Old people who are angry throws a wrench in the original statement, not this explanation of it.
It must be hella hard lol!
VMware names Raghu Raghuram as its new CEO
Free platform to help cancer patients manage their day to day needs
What's wrong about CMR is the criminally thin parts of some glyphs. It's practically unreadable (for me).
> The APIs for text manipulation in the DOM are abysmal

I develop an NLP labelling interface (which is similarly document-focused) in JS all day and can attest to this.

Here's some specific examples:

- To work out where some text is being being laid out, eg to display some UI around it, the Selection/Range/Rect APIs will help but Rects are always viewport-relative, so you'll need to convert them to element-relative to position your UI, which sucks.

- Firefox supports multiple DOM Ranges per Selection (ie allows non continguous text selection), but nearly all other browsers support a single range.

- You can't truncate text across multiple lines (the CSS line clamp spec is an experimental fix)

- If you want to pop up an interface while some text is selected, you'll need to capture and reimplement selection because as soon as another item is focused the selection will no longer display.

If you're into JS and building anything document related, I've written a bunch about the some of the issues at https://humanloop.com/blog/how-to-build-an-ml-labelling-inte...
The demo doesn't have it, but they did fix the selectable text issue, just need to wrap your text in a SelectableText widget.
I can’t tell if you’re being facetious. Text is rendered to a canvas frame buffer and then the solution to text selection involves OCR?
Re: “Does a compiler use all x86 instructions?”
There's a linguistic sleight of hand going on here which I believe is the source of confusion. When you write a "specification" you're not just declaring properties that need to be proven; those properties refer to a model of your program which you also write as part of the spec (e.g., you don't just prove that when transferring money the total balance is constant; you require a model of what money is and how a transfer behaves).

With that idea as the backdrop, TFA describes a system where you define a model, define properties that need to hold, prove those properties hold, and _also_ write a program that attempts to be a faithful representation of the model. Systems like coq [0] allow you to directly convert your model (which is proven to have the properties you desire) into something executable which also has those properties, ideally eliminating some toil and a potential source of errors.

Does that help?

[0] https://coq.inria.fr/refman/addendum/extraction.html
Sorry, meant SOEC. Meant for converting water + electricity into hydrogen.

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

High temperature operation is what allows it to have such high conversion efficiency.

http://www.helmeth.eu/index.php/technologies/high-temperatur...
I don’t think the open nature of the web gets in the way. Those developers could quite easily generate a screenshot of the website they’re building and ship the screenshot instead of the HTML/CSS/JS.
Gotta love that absurd capitalist reasoning (which still exits to this day) against banning importing bird feathers.

"Well they're going to die anyway so might as well be us killing them, and please don't take away our money printer"
Because using big platforms works, even if its caught and removed fast. the christchurch shooting was livestreamed on facebook. The goal was already accomplished by the time it was taken down. Setting up new accounts on any platform is also a cost/benefit scenario. Generally, a very low bar is used and catching spammers/TOS-violations is probability driven. anything with low visibility that violates TOS (and escapes the brutal filters nowadays) isn't caught until someone somewhere sees it and makes the first report.

Example: https://gizmodo.com/youtube-won-t-ban-a-guy-who-crushes-anim...
I actually think "defense can win", unlike with real war where thanks to nuclear weapons "offense wins".

C and Unix is absolute dark age crap. We know how to prove programs correct. We just don't want to pay for it. There still be social engineering, etc., but that is much harder to pull off.

I also think better programming techniques will eventually make programming more productive, as there is less to mentally worry about, and good libraries with lemmas exist. That means rather than being a expensive defense -- expensive offense escalation, it's a 1-time capital investment for defense vs permanent increased operational costs for offense.

This is a quite unpopular opinion with security people, I'll grant, but people are also not used to thinking about technology as demand-constrained not supply constrained in general, which is exactly what's going on here and in so many other ares.

A better understanding of economics and development not CS I think will be the thing that corrects this.
: very nearly : almost

https://www.merriam-webster.com/dictionary/all%20but
That sounds like a good news story for EVs. So many people bought them that the installation of charging stations is lagging behind. There is no strong constraint on building new charging stations though. Soon they will catch up, and no one will have to wait more than 20-30 minutes.
I mean with the same adoption success.
Sorry haven't been good @ replying, but just fixed this bug!
https://mmm.page/vesche.main
> Australia has pretty bad national internet speeds.

Which is why I mentioned Starlink.

> There are also certain things done better in person, like vacations, visiting family, etc.

I have family in Australia, and visit them without supersonic flight.
This points to the heart of the issue. A single BTC key is not fungible in the proper sense as it can be tracked.

There are ways around this on BTC that do not require protocol changes. For example, you can use a coin mixing service like whirlpool to essentially `wash` your BTC. However, this solution is incomplete unless everyone agrees to use it and in doing so `taint` their own BTC supply.

> "If we are all using stolen BTC then none of us are."

The proper way to fix this is with a protocol change as mindslight said. This already exists in a half-way form called ZChash. This is a fork of the BTC blockchain that updates to protocol to allow for `shielded` transactions. These protect anonymity and, I believe, transaction amount as well.

However, ZChash only gives the option to perform a `shielded` transaction. Most transactions on the ZCash blockchain do not utilize this function since it is slower than a standard BTC transaction.

The actual proper implementation of `shielded` transactions that I know of is called PirateChain.
So basically they are recreating the problems from Flash in 2021, but now using web standards ;-) ?

Here's me almost hoping that ADA lawyers will have many field days with this tech. Edit: since this time there is no good excuse for it.
In case anyone missed it, the author of the submission added an update [1] saying that after some time the issue went away:

> Aaaand it's fixed... I didn't do anything specific. It took a few hours (?!) after the upgrade. It scored many times low, but now it seems to score at a normal level (3000+). Really wonder what the explanation for all of that is.

[1]: https://news.ycombinator.com/item?id=27131683 .
Accessibility is a first class citizen in flutter.
https://flutter.dev/docs/development/accessibility-and-local...
BeamASM vs HiPE?

Since BeamASM doesn't support HiPE - has anyone seen benchmarks of BeamASM (JIT) vs HiPE. I've searched and searched and can't find such analysis.

(Super excited the JIT work is seeing light after 10+ years)
Wagtail 2.13 includes Telepath, a new JavaScript-Python bridge
> I still have issue with the characterization. It's "against the backdrop of ... trillions of dollars" as though increased price levels and increasing the money supply by 25% are unrelated.

No, its explicitly providing relevant context, which is the polar opposite in every respect to implying that they are umrelated.
Check out my listing on Flippa. 1000 DAUS Node.js, Android and google cloud
Once the trail has been blazed by pioneers, expect a gold rush.

What would a good API look like, I wonder?
Hmm, if I specifically go looking for reports of benchmarks going down, it does seem to be a much more prevalent story with this version than any previous one.
Well... sort of.

For specific apps, or parts of apps, yes. Doing less is how you make things faster, highly agreed. And sometimes canvas allows you to do that, and then your app is much faster.

The problem is that in many cases, moving to canvas eventually turns into having a UI framework that renders to canvas, which turns into a layer of abstractions that handle keyboard and mouse events for you, including stuff like hover, which means suddenly you're tracking element position on your raster surface and thinking about z-indexes and event bubbling to parent elements...

I think this is part of the reason why individual apps that start using canvas and that can genuinely cut down on complexity by doing so tend to be able to get real speed improvements, but app frameworks like Flutter tend to perform so poorly. Eventually your cross-platform GUI toolkit like Flutter ends up being just another browser engine written in WASM. And in that scenario your approach becomes strict downside.

One good example: the browser doesn't expose an accessibility engine other than the DOM. So what I see apps end up eventually doing is either writing their own accessibility engine that doesn't work with programs like JAWS, or rendering out to a hidden DOM. For something like a game, you can get away that, maybe you don't even provide an accessibility layer at all. For a web component or a chart, a lot of your rendering might be unrelated to accessibility at all. But you get away with those kind of shortcuts because it's a targeted, specific use. For a big UI toolkit, it's harder to do that, and then surprise, suddenly you have all the overhead of updating a DOM tree and the overhead of updating a canvas.

When people talk about getting raw access to the graphics layer, I think it's important to understand there's a difference between apps that are genuinely reducing complexity vs the theoretical canvas-backed "universal web framework" that people sometimes talk about as just around the corner.
You mean the shadow of the tree?
RG Nathalie: Hydrogen supercar with methanol power cell
> Dupe

Yep, only 17 days ago.

And I already posted link to its GitHub repo.[0]

[0] https://news.ycombinator.com/item?id=26931253
Meituan: China tech giant's shares slide over ancient poem
The State of DeFi
This is not a response to the point being made at the point where the quoted text originates, even though superficially it looks like it is. Please re-read the comment you're responding to.
This is addressed really interestingly in The Good Place. It starts off looking like a very by-the-book sitcom though, so you do need to wait it out a bit.
Last I tried setting up LSP in ST, it kinda blew. Tons of manual, machine specific configs. No debugging, refactoring...

From my POV they are _not_ comparable.
Stick a fan in it so I can hear if a background process is being run!
$400 Life-vest requires subscribtion to activate
The Intellectual Freedom Amendment
People visited Australia before commercial transoceanic flight too, I don't see why improvements have to stop now.
There's obviously a lot of complexities here and clear reasons why many in the transport industry think this is the solution. If they didn't Volvo and Daimler would be announcing their bet on BEV, right? Unlike oil majors, they have no sunk-cost reason to prefer one over the other and a lot of the technical change is shared between the platforms. A FCEV is just a BEV with a small battery, a small fuel cell, and a big hydrogen tank.

That being the case, it feels a bit easy to just say, "obviously this doesn't make sense".

However there are a few important differences between trucks and passenger cars that actually reduce some of the issues with EV trucking. A long-haul truck probably needs about 700kWh to 1MWh of battery storage. How long does that take to charge?

Some constraints on passenger car charging become less relevant when you're serving a professional audience and can have staff on-site to help. Cable thickness / weight is an ergonomic constraint that can be relaxed if you are serving truckers and not the 99th percentile of the public. You can even mount them on articulated arms on a gantry so that you're not dragging them around.

Multiple cables charging in parallel? Inconvenient on a passenger car, perfectly sensible on a truck.

Liquid cooling loop to external chiller? Again, that just doesn't work if you're building tens of thousands of chargers for the public, may well be worthwhile on network of truck refilling stations.

In the EU, there is already a mandatory 45 minute break every 4 hrs 30 mins. So there is no need for trucks that can drive for 12 hours on a tank. (US rules are in theory laxer but in practice insurance companies also insist on break rules).

So the real question is whether you can make the charging process fast enough to get approx. 4:30 extra capacity in 45 minutes. That's probably about 800kWh in 40 minutes of actual charging (assume time to connect and disconnect) or 1.2MW.

350kW chargers are installed and operating now (though I'm not sure how many cars can actually use them at that power) so naively you would think that running 4 of those in parallel would give you the charging tech required to run trucks today.

Hydrogen may still be cheaper for truck transport once you work out all the costs and logistics but I don't think it's wildly impossible either.

The big advantage that hydrogen has is that the cost of hydrogen tanks scales much more slowly than batteries. If pack price is $100/kWh then you need $70k-$100k worth of batteries. Doesn't seem crazy for a truck but a tank that can hold equivalent H2 at pressure is much cheaper. Takes up a lot of space but trucking is mass limited rather than volume limited.
But it's based on purchases in other apps, which is exactly the kind of thing that Apple is preventing other apps from doing.

This is clearly anti-competitive, at least in the EU.
Not Chrome. Chromium.

Chromium bundled with an option to run everything through Google/Alphabet infrastructure will make sure that the adds DO get through.
Coronavirus Skeptics Use Orthodox Practices to Promote Unorthodox Science
I don't know about days from a single battery, depends on logging frequency I guess. It is certainly a threat. Days of tracking isn't in the same realm as months of tracking though. With months of lifetime devices can be secreted at a time convenient to the attacker.

Jammers are illegal but widely available, and used frequently by people who don't want to be tracked. $50 for a good one. A low power jammer isn't going to get picked up very easily if it's moving. Jamming BTLE is also possible, and likely to be more common in the future.

The coming ubiquity of these trackers is the problem, they are going to be everywhere. Makes it hard to filter which ones are valid. Not just Apple, but their network is the most pervasive.
I would expect survivor bias. The author isn't saying "greater control of feelings", they're saying "higher emotional well being and more satisfying social contacts". Old people with low emotional well being probably die off sooner. Old people with poor social relationships are probably harder to find and talk to to study.
Due to Section 508, this sounds like it would make Google Docs unsuitable for government work.
From reading the other comments here, I have to say I think a single file may be easier to work with than the one-file-a-day we're currently using. For example, it'd be much easier to skim through a single file for the month/year/whatever and pick out the highlights than going through each file individually.

Anyway, love the highlights idea, think I'll be pinching that!
I literally had the same thought when I first heard of WebAssembly. Adblockers blocking your tracking JS/Cookies? Why not pass it via a binary blob though WASM and track the users? I know WASM is a boon to performance sensitive websites, but there are always players who would like to take advantage of the situation.
I don't want traffic that doesn't provide some pretty serious benefit to me with very low resource use (as Find My does) to use my phone('s battery).