skysight-inc/HackerNews huggingface dataset:
Lots of good comments with good points but none about security so far. There is no lack of alternative browsers, really. Personally, I find projects that take a new approach highly interesting. More interesting than those that that clone what Chrome and Firefox do. I used surf, uzbl and luakit extensively, but what prevents me from adopting them as daily drivers is always the nagging concerns about security.

As unlikely as it may seem, I can well imagine that a dedicated team produces an alternative browser that - feature-wise and functionally - is good enough for daily use for most people. For the life of me, I cannot imagine they will come up with a browser that is as secure as Chrome.

Let's face it the amount of work and money that has been put into Chrome's security is amazing. As much as I love Rust and how it helps us write more secure software, it only gets us so far when it comes to the multiple threats a web agent implementation has to face.
Hi Daniel,

Mind if I do a non-Show HN post for this dashboard? I mentioned it in a thread last night (https://news.ycombinator.com/item?id=24164904) and there was positive reception. I think the content is very relevant right now, and I'd love to share in a stand-alone thread
Wait, does it actually draw the waveforms in the lines between the nodes?

That's brilliant!!!!!!!!!!!!!!!!!!!!1111eleven1111!!!
(Not a question, just some thanks.)

The 8086 was the first CPU I did assembly-level coding on as a kid back in 1989. This was a full 11 years after its 1978 introduction, but PCs were really expensive back then. This was the time when 8086, 80286 and 80386 systems were all sold in parallel, at wildly different price points. The 80486 was just being introduced, too.

It's just fascinating to see what I then imagined as an immense, hyper-complex machine being reduced to a grid of transistors that sort of fit, individually visible on my 4k screen.
Earth has always been radioactive, so my guess is that this is an ancient ability rarely used/seen, not something that evolved since 1986.
Cloudron is awesome, thanks!
Both MS and AWS are interested in Rust. I doubt it's going anywhere.
The problem is that Mozilla Corporation needs to exist for various legal reasons, and that it's impossible for Mozilla Foundation to channel funds to Mozilla Corporation for other legal reasons.

Whereas Linux Mint literally just operates a Patreon / Paypal / Bitcoin account and distributes the funds between a couple of people.
Yes, and Dinorwig is a special purpose 1.3GW pumped storage power station in North Wales that was built to help with the sudden demand from millions of kettles - it has the world's fastest response time! https://www.power-technology.com/features/featuredinorwig-a-...
>I ran (and sometimes still run) a personal fork of 60esr (aka >57 ;) where I added back "old" extension support by git-reverting a few hundreds of lines of code that they removed..

Sir, I would really appreciate if you could share a patch for it.
Which is entirely irrelevant because 90%+ of cattle produced for meat do not graze, they are fed industrial produced corn and soy in crowded feedlots. We don't have the physical space on earth for all the cattle we currently produce to graze naturally.
I'll take "whataboutism" for $500 Alex...
This work would be less pointless if it were allocated to servo.
If this guy just want to have fun, fine; but it doesn't deserve to be seen on HN
I guess it can keep some people indoors and occupied...
No worries my dude. I am really happy to read that my book had such a big impact on you (as well as humbled by your praise). It's the little interactions like this that are the true reward for having written a book like CBofN, so I thank you.
Actually, my aim was to give a broader perspective and draw attention to the fact that the inference rules as presented in the article are not limited to constructors, but can apply to any function. Thinking in those terms, you want to give functions a return type that matches the guarantees you want the function to give the caller (and argument types that match the guarantees the caller should give to the function). Furthermore, it means that using types in terms of a deductive system is not restricted to languages with ML/Haskell-like data constructors, but generally useful in any statically-typed language that supports user-defined types.
"Committing 100% is easier than committing 98%."

Paraphrased from:
https://www.youtube.com/watch?v=vj-91dMvQQo
Thanks I updated my OP with those numbers.
> the store buffer is always draining.

That sounds quite resonable, but it doesn't mean the store buffer isn't part of the cache hierarchy (in the non-ARM-specific-terminology sense), and it's also not what they said.

> You need [memory consistency operations] [...] because [a write operation] might still linger in the store buffer
> the PDF standard includes a JavaScript library for some inexplicable reason.

Indeed. Which also makes PDF's a dangerous file type to use.
>> XUL / XPCOM had significant, tangible problems.
> Significant problems that could have been fixed

Mozilla agreed with you for a long, long time. But we eventually realized that while yes, we could continue to keep fixing those problems, that the opportunity cost was large: fixing XUL issues was taking the place of improving stuff that web pages actually use, and it would be better to not be splitting the effort both ways.

(I work for Mozilla, though mostly not on the stuff being discussed here.)
Whelp... Go ahead and check your definitions, because it absolutely applies to individuals in a private space
Everyone has wifi enabled hardware to use as a client, no one has 5g hardware, so no?
I hope I will always be able to feel fear and doubt, and that no drug can steal that experience from me. Just as people who can't feel physical pain are in tremendous danger every moment of their life, without the ability to feel fear or doubt, you would also be ignorant of danger.

Anxiety is another beast right? Anxiety is the negative reaction to fear and doubt. Lets leave adults out, mature individuals can handle small amounts of anxiety.
Could someone who is more R-Wing than I am, please explain why you have an unshakable preference for fossil fuels?

We are zeroing in on free energy from renewables, so it isn't economics - not any longer. With that past us, why do folks on the right even care where we get our energy from?

If the argument is jobs - well, that's a weak argument because the only job fields that either party cares about are those that can be leveraged for politics.

If the jobs argument includes thwarting disruptive technologies to prop up legacy industries - well, that doesn't sound very Keynesian to me.

Even so, I'll accept the jobs argument. I would love to see Appalachian coal regions become a mecca for renewable manufacturing. I'd love to see N.Dakota oil workers own massive energy generating coops (or whatever someone who actually groks energy comes up with). I'd be happy to see my tax dollars fund the heck out that. So whatever your jobs[1] complaint is, assume I accept it and agree to subsidize worthwhile substitutes.

Once jobs and economics is off the table, why are you still attached to fossil fuels?

[1] Shareholding isn't a job.
> It sounds harsh

It doesn't just sound harsh, it is harsh. Maybe you have to be harsh because of time/resource constraints or because you want to build a strict, rules-oriented culture—but you should still be honest to yourself about that.

> broken windows theory

"Broken windows theory" is an empirically dubious argument that's consistently used to advocate for abusive policing policies—seems like a poor inspiration for any kind of welcoming social culture.
Async/await currently looks like it'll be a non-breaking change. Obviously you'll have to redesign a whole bunch of code to actually take advantage of it, but you won't have to adopt it just to upgrade to the newest version of Swift. If you decide it's not worth the effort, you'll have the option to just not redesign anything.
The realities of a black man in the bike world
As someone with only a basic knowledge of FEA, why would a quadrilateral mesh ever make more sense than triangular?
If you want to support just Firefox, and not the other Mozilla initiatives, there's no way to do that. People reasonably do not agree with the other things Mozilla spends their money on.
There's no power bypassing on the chip, just the power lines.

There's no clock trimming either. The clock circuitry ensures that there is a gap between the two phases, but there's no adjustment. But at 10 MHz, the clock is not too sensitive.
How are you planning to keep this sustainable for the long term? Burning out one's personal finances doesn't sound like it furthers your mission/passion.
You can’t effectively punish a company, especially not a company the size of Facebook.

But if individuals go to prison for their actions, people will be more careful how they act.
The quick-switch idea is interesting. I don't really know how it would work here (embedded Chromium?), but I think the analogy to DuckDuckGo is the right one. DuckDuckGo started as a service for privacy-enthusiasts, and as privacy awareness has become more mainstream we've seen mainstream adoption of it despite its shortcomings compared to Google's results. It a) offered something Google couldn't, and b) became "good enough" on the other axes, and that was enough for regular people to adopt it.
https://news.ycombinator.com/item?id=24170820 ;)
Yeah, he's actively betting on people making poor choices in times of panic, not on Gold. Gold is merely the medium. It's not hypocritical at all.
Yes, we do! It's a little non-standard SQL syntax we added called TAIL. You write TAIL <viewname>, and you get changes pushed to you. You can see a video of me badly explaining it in [2]. You can also do the thing where you create a Kafka SINK of a view and have the system push this to Kafka rather than have a long-running open SQL connection. There's some fun stuff with TAIL AS OF (start the changes at a specific point in time) and TAIL WITH SNAPSHOT (run a SELECT query, and then begin the change stream transactionally with the time of that SELECT query) that you can read about in the docs[1].

[1] https://materialize.io/docs/sql/tail/

[2] https://youtu.be/9XTg09W5USM?t=2650
Just wondering, how do you vet the people that apply? I can imagine a lot of people would love to "earn" a free 2k a month and would happily play along doing the bare minimum amount of work required.

I contemplated doing something similar in London (not paying money per-se, but providing a location & good hardware for the students to use) but was kind of worried about ending up with an office full of freeloaders that just enjoy the amenities provided without caring about the curriculum itself.

I've experimented with a few people I know that are stuck in bullshit jobs and gave them hardware, software and any books/resources they'd need to learn programming, but while they are very grateful for it I haven't actually seen any progress or frankly even long-term motivation.
If you prioritize tabs on the side (instead of up there) I will come and work for free on your project.
This is a cool looking website, but I don't think I'd ever use their service without knowing the people behind it or even where their office is located. Also I believe without an imprint this site is not GDPR compliant.

The domain resolved for me in Chrome on macOS though!
The shorter lifetime is taken into account when measuring its global warming potential in CO2 equivalent. In absolute terms, atmospheric methane is responsible for about half as much radiative forcing as CO2, so it's is crucial to battle methane emissions just as much.
I know encryption is controversial, but I cant say I've ever heard someone say that ham radio bands should be allowed to carry commercial traffic (other than people who want to just get rid of those bands all together and auction them off).
Computerphile, for me, is one of the gems of youtube.

That such incredible, well produced content like this is 'free' and so easily accessible is mind boggling compared to the efforts I had to go through in the late 80s learning computing independently.
Hmm ... could be some of the other tooling around it. Right now I can't get XLSX to talk reliably to DataFrame. I rigged up some tests for 10, 100, 1000, ... points and performance above about 500 points fell off a cliff.

I should look into this more. Thanks for letting me know it can handle things that size.
dot v :: V F -> F

(dot v) is a member of the dual space. To double it up with dual dual, and to do it with the same partial application construction, we need to introduce an inner product on the dual space.

ddot :: (V F -> F) -> (V F -> F) -> F

ddot (dot v) :: (V F -> F) -> F

To identify these things, we need a bijection and we need vector space properties to match up (inner product, addition, and scaling). Starting with an inner product:

dddot (ddot (dot v)) (ddot (dot w)) = dot v w

Then the bijection:

phi :: V F -> (V F -> F) -> F

phi_inv :: ((V F -> F) -> F) -> V F

phi v = ddot (dot v)

phi_inv (ddot (dot v)) = v

Then we'd also have to show that phi (v+w) = (phi v) +* (phi w) and the same for dual space addition and scaling phi (a v) = a phi v, etc, but it's starting to get less fun, so that's left as an exercise for the reader/next commenter. I think they fall out of my dddot definition.

A gotcha here is that my dual space isn't the entire type (V F -> F), just the subset that's in the image of dot (linear transformations). That's why we can do the pattern matching in my definition of phi_inv.

That's the typey way to do it and it was fun to think through. What's easier is to just think of the currying as the transpose operation and multiplication. Then appeal to transpose transpose = identity. It's handwavier, but still has the same elements if you flesh it out, I think.

All that said, it's not the easiest mental model. My mental model is that vectors and one forms are for measuring against each other. You have a vector v and a form x. You apply x to measure how much v is in that direction. Like, your vector might be some coordinateless physical thing, and your one form is "meters per second in the north direction" and you can apply your form to the vector to get a good old fashioned number for its north component in meters per second.
> I think 'Show HN' is signalling to people that you don't think anyone would be interested in the content. It is like apologizing. Make content people are interested in.

Show HN isn't for content links. From the "Show HN Guidelines":

> Show HN is for something you've made that other people can play with. HN users can try it out, give you feedback, and ask questions in the thread.

> Off topic: blog posts, sign-up pages, newsletters, lists, and other reading material. Those can't be tried out, so can't be Show HNs. Make a regular submission instead.
> without any memory safety

Actually, I think that would be memory protection, not safety.
You're $100k off - I make $150k a year. I'd be more satisfied with a quarter million a year to be clear.
Apple has not mandated moving apps to Swift. Obj-c is still fully supported and even continuing to be improved. They have not announced any plans to deprecate obj-c either.
Bollocks. The company as an entity played naughty, so it should, as an entity, get punished. Otherwise the stakeholders get a free ride.
APIs are documented (hopefully) and can be rote-learned or looked up. If someone has the general skill of "learning APIs" then they're going to figure out Android or QT or Rails or Spring or whatever the problem requires. Not as quickly as someone who already knows, but I wouldn't doubt their ability to ramp up.

I'd be more worried about paradigm shifts like higher order functions, manual memory management, OOP, concurrency (also between "share by communicating" and "communicate by sharing"), glue code vs. algorithm code, monolith vs. microservices, embedded vs. server side.
Also, when estimating total employee cost from salary, a good rule of thumb is to double it to cover indirect compensation and overhead such as healthcare, retirement matching, employer's share of income tax, office overhead, IT infrastructure, etc.
>I keep wishing for the day that VSCode team finally replaces its engine with one based on React Native and then Electron gets its first fatal blow.

Which would be never, since tons of VSC functionality is based on the ability to create ad-hoc widgets (through HTML).
As a frequent user of Unicode, for Chinese and Japanese, I sorta go along with it, but there's no arguing that we'd be closer to flying cars and jetpack commutes if computers just used ASCII.

Barring that, we could have all used UTF-8, but windows really screwed that up, and none of the arguments for 16-bit alignment vs 8-bit alignment for processing really hold water.
Seems like open expression is an important requirement of an open internet.

Not sure if that’s in one of the 10 or not there because it conflicts with their ad revenue (ie, open expression doesn’t mesh with ads), or conflicts with authoritarian regimes (eg, Great Firewall of China), or conflicts with “language is violence” or conflicts with “nudity offends me” or something else.

It seems like one of the big things at risk now is the ability of the internet to allow direct connections between people without intermediaries. I feel like standards bodies kind of help with this (ie, protocols over platforms).
I get the feeling that many programmers look at programming as the act of imparting a superior program (their vision) from a superior machine (their brain) into an inferior machine (the computer).

I see an ape banging on a particle accelerator.

Still, we know a lot about how the ape’s brain works. You’d think we’d have designed programming languages and even syntax highlighting schemes that empirically lead to faster development and more correct programs. Surely we could devise a paradigm that is empirically better for sense-making, but here we are still arguing about semicolons and editor preference.

Programming is so tribal, religious, prone to fads and poor outcomes that it’s cringe inducing when SWE act as if they’re superior to other people or professions. Everyone who hasn’t had to pay programmers for an outcome thinks they must be geniuses, everyone who has thinks they’re single celled organisms.
I eat high fat, high quality steak and kale - that's all. It's pretty easy. I find it odd that meat is being described as or associated with a craving though. I've never craved plants or other foods.

I'm at 67 hours of a planned 72 hour water fast and I'm not craving food, nor hungry, it's easy once you get past the first day or two to continue for 5-10+ days so long as supplementing for electrolytes.

I'm curious what else you changed in your diet or eating behaviours when you stopped eating meat? Did you reduce your sugar and carbohydrates? The quality (processed or not, organic or not) and type of meat you eat as well - as people can have sensitivities and discomfort by eating specific types of meat; chicken and duck bother me some, pork bothers me more, beef is fine.
Thanks ... I really appreciate the kind words. MIT Press has repeatedly tried to get me to do a 2nd edition and while it was tempting, I always ultimately decided that it was better to keep doing new things. Although, much to my surprise, a Japanese edition of the book just came out this year so there still seems to be some interest.

But that said, I am working on another book now that is meant to be a more accessible successor to CBofN and something of a computational "theory of everything else". I'm about halfway done, but the it's hard to write with the distraction of living in this bizarre timeline of ours.
I always stumble upon paywall when I try to read PDFs shared on Scribd. They always want me to subscribe. I just want to read PDF docs not books/ebooks or something.
yes but,

an upgrade with some incompatible changes is still a world of difference compared to potentially being forced to rewrite a whole bunch of code because the system you used is completely discontinued and the alternative that replaces it isn't even remotely similar
I presume it would in a similar fashion to Zoom on Mac (I have't used Windows in a while) where Firefox prompts you to open a Zoom meeting link in another application (i.e. Zoom), which you can ask FF to remember so the link is automatically opened with that app next time.
Alexa bug could have exposed voice history to hackers
So what's the point of sites like scribd and slideshare? They host your slides and display them on a crappy js viewer that's almost always worse than the browsers built in PDF viewer. They also enforce lock-in by preventing you from exporting to a portable format eg. PDF. On top of that some of the sites (i know for a fact that scribd did it at one point) charge you for the privledge of viewing their users' content, or force you to add to their existing catalog by uploading whatever docs you have. I'm not sure why anyone would use them over dropbox or google docs.
I had a similar thought: Why not build a browser-generator? Some nice presets and checkboxes for options and a single shiny "Build" button.
This can't be too difficult, am I right? It would give users the explicit responsibility for broken pieces and also some nice performance gains.
That's not a software program, it's a misuse of the hardware.
Your quote was taken out of context. The author was trying to blame RC's lack of communication for his absence. The quote is a response from RC explaining that this is the first incidence of someone missing the orientation.

The author even admits that RC put the event on his calendar, but he simply ignored it because it was at 7:15AM:

> It was on the calendar, but at 7:15am in my local time zone, so by merit of that alone I had simply ignored the event

The author also admits that RC tried to contact him as soon as they noticed he wasn't in the meeting, but he also missed that communication.

> Hi Erik! I sent you an email this morning, but never heard back – we didn’t see you during the welcome flow or talks this morning, and we wanted to check in to see what happened.

It wasn't until the afternoon and a second e-mail that the OP started communicating with them about the issue.
A pure Rust browser is immensely more secure than any browser written in C++, at least against memory safety bugs. There is still the source of logic bugs, stuff like the same origin policy, but the worst that can happen is an XSS attack instead of RCE or similar. The browser would be ideal to access the 99% of websites you don't log in to (provided that the browser can actually render them correctly), and eliminate the main danger from them. For websites you log in to, you can still use Chrome.
I think the point he is making is that battery metals as a commodity have been unusually cheap. As have a lot of commodities for a while now. Commodity prices are expected by many to go up as demand increases. It’s why people are investing in companies that mine battery metals. As that happens the input costs of batteries will increase and given how massive the component of batteries is in the wind/solar green grid scenario that could change the economics considerably.

FWIW uranium is also expected by many to undergo a big surge in price in the next few years with refueling contracts coming due in the US and the growth of nuclear overseas. But the fuel costs for a nuclear plant are a much smaller component compared to other sources, and I am guessing also compared to the battery metals component of the alternate solar/wind/battery/new grid system.
In a similar vein I wish that email clients could support markdown message bodies instead of HTML.
I don't think it's "control" so much, just "be aware" of it.
Please don't take HN threads further into generational flamewar. We definitely don't need that here.

https://news.ycombinator.com/newsguidelines.html