skysight-inc/HackerNews huggingface dataset:
Ultimately, the goal is to compile a trusted copy of the gcc source code with a trusted compiler. This means that you need a trustworthy c compiler binary. In order for the compiler binary to be trustworthy, you have to either:

1. read and understand the machine code of the compiler's binary, or

2. have an observable compiler that can compile itself and also gcc (or at least better compilers that can compile gcc).

This project uses approach 2 - an interpreter to interpret a compiler compiling it's own interpreter, and also a better compiler. Because the compiler is interpreted, you can potentially intervene and observe the compilation progress. (To watch a compiled binary of a compiler compiling itself, you would need a trustworthy debugger binary, which you can't bootstrap unless you can already trust some other compiler, or read+understand the debugger's binary.)

Because the interpreted compiler can compile its own interpreter, and the interpreter interprets its own compiler, you can read and understand the source code of each, observe the interpreted compiler compile the interpreter, verify that the result is bit-for-bit identical to what you have been running, and now you have an executable compiler that you can trust.

So, having a mutually co-hosting compiler and interpreter is a neat way of closing the compiler trust loop -- instead of always having to trust some earlier compiler, this allows you to establish trust (or distrust) of a pair of programs by running them on themselves and comparing what you get to what you started with. The fact that the interpreter is written in scheme is incidental to the fact that this project is intended for GuixSD, a linux distribution that uses a package manager written and configured in scheme. I assume scheme was chosen because

1. people who work on GuixSD like scheme, and are comfortable reading and writing it, and

2. scheme is a language with a good complexity/power ratio, minimizing the amount of code that has to be written, read, and understood in order to trust the compiler toolchain.

The fact that the compiler is a c compiler is more important, because with a trusted c compiler you can compile (old versions of) gcc. With only a trusted X compiler (where X is not C or C++), you would need to add another step, a C compiler written in X. This would still be feasible, but adds more code to the already-enormous pile that needs to be trusted.
Imagine a timeline where both Brazil and the USA had human beings as presidents. That would probably get the Uyghurs rescued
The neck angle of putting a laptop in my lap on a plane is unusable.
> Pocket was and is an extension

Pocket is not an extension - it's built in by default and cannot be removed (only disabled).
"Do Emacs and Vim users have some other characteristic that makes them more likely to succeed during interviews? Perhaps they tend to be more willing to invest time and effort customizing a complex editor in the short-term in order to get returns from a more powerful tool in the long-term?"

One thing I noticed on Lobste.rs is that a lot of them like the old school editors. That's normal. What was more interesting was that they were constantly sharing and discussing their customizations that made them more productive. Kept making me want to have another go at those editors. I didn't since I came from Windows with big, full-featured editors that could do everything (or Notepad++ or Notepad). Still, I keep reading those comments since there's always new and interesting things people are coming up with.

In other words, I think the author is onto something worth further investigation and comparisons. Especially comparing VS Code programming to experienced folks using highly-customized, full-featured setups in the other stuff. I bet the results would be more interesting than a random person tried using Emacs or whatever.
> but perhaps can't because they're downloading 15, 20, 30MB websites just to fill out a form element?

Parent post (in fact, the segment you quoted) literally says that it's okay when it is useful functionality, i.e. not when it's just to fill out a form.

Sadly, these aren't going to get to experience a decent chunk of the internet anyway, since video, gifs, and images all frequently weigh significantly more when put together.
I was listening to an interesting podcast talking about education in Mississippi that talked about the interesting angle of basically, when you're ranked the worst in the country, you're willing to think more radically & don't have to fight as much entrenchment. Not that I'm looking to move there, but who knows, maybe in thirty or forty years we'll be studying Mississippi on how they turned it all around.
The regular user will not leave but I have seen an increase in power users leaving mainstream teach. There seems to be people turning to gopher for a kind of fun and exclusive web free from corporations.
As far as I can tell there isn't a criminal penalty for refusing, what version of the bill are you looking at? In the first reading and all the amendments I could see there is "just" a 230-odd penalty units fine (which is about $25k in NSW).
While everything you note is true, it's hardly the fault of the engineers. One cannot expect engineers to hand code css and optimize every time. These things should be handled by tools.

With the advent of css-in-js and compilers, this is slowly but surely happening.

What amp did was prove at scale, and with tooling, that performance can be achieved. That philosophy is dripping into other tools.
So it's not the loop -- it's the printing of a lot of data really fast. Here's an infinite loop with a small sleep with no issue in it: https://repl.it/@amasad/forever

It's funny, it's both a regression and an improvement. We started using XTerm.js with a PTY[1] and we stopped throttling output[2] which reintroduces the "browser locking up from too much output" bug. We'll need to introduce backpressure.

[1]: https://repl.it/site/blog/stderr

[2]: https://repl.it/site/blog/infinite-loops
But if you take a mean of those samples' means it would approach the population mean with an approximately normal distribution. Isn't that only an improvement? (Disclaimer I've only taken intro to stats at an undergrad level, exam next week)
WebKit was a fork from KDE and was used to build Safari before iOS existed.
I should have mentioned there is this list:

https://twofactorauth.org/#banking
Mozilla is both a non-profit and a for-profit

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

https://en.wikipedia.org/wiki/Mozilla_Corporation
How the US claims to have criminal jurisdiction over a Chinese company selling to Iran is beyond me. I am suggesting the US ban them from doing business in the US (not "polite reminders") if they wish. i.e the consequence of breaking business sanctions should be prohibition from doing business.

The reports from US commitee's investigating Huawei have never demonstrated any real evidence of the alleged spying or Huawei being a "branch of the Chinese intelligence". Seems like overblown paranoia and fear as China begins to dominate the worlds economy. Not to mention the US routinely spies on other countries as much as possible, inspects all foreign telecom traffic (including phone calls like Huawei allegedly does) going through the US as the NSA leaks demonstrated, but they seem to dislike it when the tables are turned.

The only reason they get away with double-standards like that all over the place is because they have the biggest guns/economy. I call that bullying not justice. Its clearly a power-struggle not justice, you can't claim some moral high ground over not spying on others when you do the same thing.

I feel they are free to protect their national interests - say by banning Huawei if they suspect spying but if they have no proof, they have no authority to start extraditing and threatening and possibly prosecuting people.
interesting! [citation requested]
The blog post was moderately informative/useful and interesting, marketing brochure website behind it next to useless and can't find anything meaningful about what they actually sell or do. Frustrating follow-up experience for me that reminds me of most enterprise ISVs.
So the thing that makes a site a PWA in your eyes is the "add $app to your homescreen" prompt? Because I would view any site that works offline, beyond http/s caching, to be a PWA.
Have you asked about other options? Alternating acetaminophen & ibuprofen has been popular among the docs I've seen recently. Heck, around here many get a bottle of 800mg ibuprofen after a C-section, no opiods.
Cable and Satellite solve a similar problem as Netflix.

I don't have a video game console...

I've had multiple significant others (sub 30s) who only had a tv and smart phone at home.
I agree on AMP, you can just pack less JS and be done with it. But AMP is REALLY about rich search results online.

Google creates more interactive search results for AMP pages than non-AMP versions.

As for PWA's, I'm honestly a fan, to a certain limit. I really like Gatsby.js, especially because the rendered pages work with Javascript disabled.

Django/Rails/$FRAMEWORK with Turbolinks.js is also great, for the same reason I like pwa's. If you aren't a fan of the JS ecosystem (totally fair), Turbolinks is a great way to get some ""snappyness".
VueScan Pro 9.6.22 Full Crack (x86x64)
Australian gun control is completely unrelated to this debate. You can still get a gun license fairly easily, and it solved an actual problem (there hasn't been a mass shooting since).

I would argue that the passing of the antiterrorism acts in 2005 was a far more severe issue than the 2016 bill -- they basically removed hebeas corupus. Shit's been going on for much longer than you think.
Why not just go all the way to 3:2 like the surface laptop? It's better for anything but full screen video.
A truly horrible environment for anyone with anything resembling ADHD. And probably those without difficulty concentrating as well.
Parent post (in fact, the segment you quoted) literally says that it's okay when it is useful functionality, i.e. not when it's just to fill out a form.

Since when did forms become useless and what web-based video editor are you (or the original reply-er) pointing to that uses AMP?
It's a client-side neural net?
I wasn't familiar with Chandra. Just listened to a few songs. I think she sort of has a Siouxsie and the Banshees vibe. Now I want to go listen to Cities in Dust but it's too late for that today.
WHY DISCORD, PINTEREST, MOZ AND BLEACHER REPORT USE ELIXIR. CASE STUDIES
They have laws protecting individuals from companies, not the government. The GDPR has special exceptions for government investigations, and many EU countries have strong domestic spy agencies that spy on their citizens.
It's OT -- we'll write a technical blog soon :)
Where did your uncle buy it? Because it's not available yet in US.
Not since the “great H1-B famine of 2018”. I work for one of the larger accounting / consulting firms. We are rolling a program out next year to hire directly out of high school (!). They are going to take care of the whole training pipeline themselves. Apparently they modeled it after what Nucor Steel does: http://www.nucor.com/careers/training/technical-academy/
It's not like Uber does a good job here.
Yeah, we Mac users have been waiting for this! /s
The fact is, only very rarely are you in a team of 2-3 devs and you need to support ALL of these platforms. If that’s the case for a small startup, serious strategic errors and lack of focus is being made by the founders!

Even Instagram didn’t even have an Android app until they were acquired, and then it still took them another couple of years to support web. Their focus was their success.
NET Core Dependency Injection: Everything You Ought to Know
OK, for the first time since 2003, I'm tempted to get a non-Apple laptop.

I loved both of my 17" MacBook Pros (2003 and 2007, both of which still work). But Apple doesn't care about big screens and proper keyboards anymore, so this is very attractive to me.
I listened to it and it definitely belongs on soundcloud.
Both are not centered
You find these jobs through word of mouth and professional networking. There aren't a lot of people doing this work, and most of them know each other (with 1 or 2 degrees of separation.) It's hard to cold approach a company and get a low-level systems programming job.
What a nice collection of features ignored by other OEMs: wide range of screen choices (13.3, 14, 15.6, 17), USB C/A ports, headphone jack, 16:10 ratio, 72Wh battery, micro-SD, ethernet port.

Whiskey Lake is supposed to have hardware fixes for Meltdown and L1TF, which should boost performance and battery life.

(Edit: CPU for the 17" is Whiskey Lake, the others appear to be Kaby Lake Refresh, e.g. LG Gram 13.3: https://www.lg.com/us/support/products/documents/13Z980-A.AA...

No info on key travel)

Might there be a vPro configuration with a TPM, for running QubesOS?
Most kids in cities aren't allowed to just go fuck off outside by themselves for long periods of time, people consider it dangerous and don't allow it. In the countryside it is a different story where if their kid(s) go outside and don't come back for 6 hours, no big deal. Being cramped up in buildings all day every day is mentally stressful whether people realize it or not, we simply did not evolve under such conditions and it wasn't even a possibility to avoid the outdoors and other random people until pretty recently.

There is also other factors like increased pollution, including noise and light pollution which may also have an impact on people's mental state over time.
"Initial load time" means "download, install, and run time". With PWAs (just like native apps) the "download and install" part only happens once. The article is irrelevant to PWAs.
Eels in Seals
Angela Merkel said 'shitstorm,' but it's not as bad as you think
I love a lot of things in my LG gram 14 inch, except the poor speakers (my mobile phone has a better one) and the fact that I can't use it outside in the sun.
What’s expensive about it?
> it moves the touchpad to left of center

What is it with PC laptops and off-centered trackpads and keyboards? I center center sit centered to the trackpad and look right, or sit centered to the screen and they awkwardly type to the left.
Yes, I have had it start mis-rendering with content being partially covered, killing and reopening Firefox fixes it. Firefox for Android needs work, but the add-ons make it a good experience.
You went into medicine as a hobby ? Strangest thing I've heard all year.
I can't speak to the CC26xx series specifically, but normally deeply embedded cores running a ROM stack like that have some additional SRAM which can be loaded at boot for firmware patches.
Many of us aren't, haven't worked anywhere but home in nearly a decade; full time remote work is great.
There's an addon that emulates pinch zoom, it does a pretty good job: https://addons.mozilla.org/en-US/firefox/addon/multi-touch-z....

I agree this should be implemented natively though.
>I’m not saying practices promoted by AMP are bad or useless. They are good practices. But nothing stops you from following them in the regular web.

Disagree.

The most important feature of AMP is that it makes it impossible to add the kind of bloated crap that causes poor performance on something like a large media company website.

Something like a news website likely has 2-4+ analytics integrations, and a similar number of ad provider integrations.

Your staff want to use google analytics so that goes in. Your display ad provider (ads appearing in the page around articles) uses some other analytics provider so they have to go in. You want video ads so another ad provider who requires a video specific analytics provider goes in. Site rankings produced by someone or other are important to get direct ad sales so their required analytics integration goes in. Then someone in sales signs some deal to add a third party widget to your homepage so that goes in.

All of this happens over the protestations of the developers. People may literally quit over these integrations but their replacement will implement it.

Turn off your ad blocker, go to a news site, watch the network tab and despair.

AMP makes that crap near enough to impossible that the developers can convince the sales team and management that it simply cannot be done.
> Why don't browsers have adblocking built in?

Firefox has built-in tracker blocking, which has the side effect of blocking a lot of ads and makes your pages load faster:

https://blog.mozilla.org/firefox/tracking-protection-always-...

Brave also has built-in tracker blocking:

https://brave.com/

> I use 1Blocker, and it has a clunky UI where you can point the cursor at a page element to block that specific element.

uBlock Origin has a similar feature. I think it works smoothly in Firefox:

https://addons.mozilla.org/en-US/firefox/addon/ublock-origin...
I really like that html table you are using! It's featureful and looks great. :)
There seems to be a few misconceptions around what is and what isn't a PWA. A PWA (in my opinion) is simply a website that makes use of certain browser features (e.g. service workers, push notifications, manifests). It's a bad definition, with a lot of grey areas, but it is what it is (and let's face it, definitions in web development are often hard to pin down).

For example, we built https://usebx.com/app with plain old HTML, JavaScript and CSS. Yet, it can be installed on your phone, send you push notifications and even works offline. So I would categorise it as a PWA rather than a website.

My point is, if you're using service workers, you're more a PWA than a standard website.
Nepal’s seismology in schools network using Raspberry Shake seismograph
What would multiplayer look like in a gitlab like app?
Some Chromebooks/Pixels and the MS SurfaceBook have 3:2 for that reason, even better.

But why stop there? For predominant web/doc/code usage, I'd dream of having a 1x1 screen laptop! Imagine the Dell XPS 13, same width of screen and keyboard, now bigger vertically to match the width. It'd be physically smaller than a 17" 16:9 machine, yet have more vertical space.
Unfortunately, no, apparently they don't even offer 2FA via SMS :-/
> perhaps an app that lets you edit and encode video

Fundamentally, 15mb is excessive even for that, even if it is common practice for such things to bloat to that size.
I understand. No hurries. Your tool does seem very intriguing though :)
I agree with the article author.

Performance today is not a priority for web developers. It's not even in the top ten priorities. Performance is just not considered unless it is so bad that a site looks like it isn't working.

We can change this at any point we like. We won't. It will continue to get worse.
Thanks for your interest!
We've just posted these slides: https://keystone-enclave.org/files/keystone-risc-v-summit.pd...

Keystone is in its early stage, and the first version contains somewhat minimal functioning components.
> but I think the reality is that it will turn out to be much more like the airline business - basically a commodity business where raising prices is extremely difficult.

I believe you are onto something there. What did people do before Lyft/Uber? They walked more. They biked. They took public transportation. Maybe they drove themselves. Maybe they drove/carpooled with a friend. Maybe they took a good old fashioned taxi.

Faced with a price hike attempt, those options are again always on the table.
Anyone knows the status of Facebook vs Steven Vachani case,
https://youtu.be/-W1B89wXJU8
User isn't deanonymized to the publisher, publisher analytics and ads don't register page views, page can be trivially transformed to lazy load below the fold, etc.
> Maintaining older or smaller versions of software just to avoid self-hosting is bound to hit all kinds of bugs - big and small.

Unfortunately, any compiler that can compile current versions of GCC would probably be enormous, and difficult to trust directly. C++ is a complicated language to compile.

As long as the chosen versions of TCC and GCC

1. are free of bugs that affect compiling the next-more-sophisticated compiler, and

2. can be trusted,

then having them as intermediate compilers isn't too terrible. Bugs in them that affect compiling the next-more-sophisticated compiler can be written and committed now, and will remain that way forever. The only place new bugs can be encountered is if the current version of GCC changes so that it can't be compiled by the last-frozen version of GCC. There are two ways to fix that:

1. Patch the last-frozen version of GCC so that it can still compile the latest GCC, or

2. add another intermediate version of GCC to the toolchain, since the last-frozen GCC could compile every version of GCC up to the most current, and the most current GCC must be compilable by at least one earlier version of GCC.

This means that the compiler chain can potentially grow without bound, but it would do so slowly, and only by adding more compiler code onto the end of already-trusted compiler code. A long chain of obsolete-but-trusted compilers is not ideal, but should be a working and stable source of trust.
and then... for legitimate cases... no dice.

about 7 years ago my wife got sand in her eye - was problematic enough that we went to a local clinic. she wasn't going to go blind, but it was irritated enough that after flushing it out, it still looked... bad. and she indicated it was a bit sore, that she wanted to get home to just try to get to sleep.

The doctor there offered a prescription for percocet. We said "no, no need - we'll call if there's a problem". They handed us a prescription for... either 7 or 14 pills. we took it and didn't use it.

A few years later I ended up with extreme lower back pain. I could hardly move - was bed/chair-bound for 4 days. Had called around to see if any clinic would see me to prescribe some pain killer. NOPE. Don't want to create any addicts. Clinics all have signs on them saying 'no prescriptions for...' then a list of 4-5 things.

We were basically force-fed a prescription for something way out of line with what was necessary, then when something was necessary... not available.

Yep, just my anecdote, but it's stuck with me, mostly because I don't have that many medical interactions in the first place, so the outliers tend to stick out.
The renewables were definitely a factor in the SA blackout.

https://www.aemo.com.au/-/media/Files/Electricity/NEM/Market...

Failure of a meshed power system cannot be attributed to the failure of any single sub-system. Rather it must be a combination of factors including those you just mentioned.

The dependence of the power system on renewables (specifically wind farms)contributed in two ways to the blackout:

1. The majority of wind turbines provide little or no system inertia. By displacing synchronous generation with wind generation, system inertia is reduced which results in greater ROCOF during an event where there is a change in active power demand/supply. In the SA blackout, fast ROCOF overwhelmed the system's last line of defence- under frequency load shedding.

2. Some wind turbines contained a fault ride-through setting which AEMO was apparently not aware of prior to the blackout. Specifically, the setting caused the turbines to disconnect after experiencing a sequence of voltage excursions within a set time period. The disconnection caused a loss of active power supply to the grid which contributed to the drop in frequency and eventual collapse.
Looks amazing, I also miss my massive MacBook Pro's size. But the 17-inch screen only has the same resolution as my 13-inch MacBook Pro, like so many PC laptops. If it had an equivalent DPI, it'd be very compelling.
To put it into perspective, that's larger than the entire post-install size of the original DOOM PC video game, including all sound and artwork.
I do a lot of crypto trading, and many sites probably have the reCaptcha security set to max.
Interview with Eric Schmidt [video]