skysight-inc/HackerNews huggingface dataset:
If the machine is used primarily with external monitors that point becomes much less important, though.

Another question is whether the undoubtedly much better screen is worth the >2x price tag. You can get a nice portable monitor and a very good stationary monitor for just the price difference.
I too was wondering why this was front page.
Last time I interviewed someone in the US, they actually did do that in the first terms in the IT Bachelor because apparently there is no common standard across US high schools.

But given how many of the investors in the UK actually study humanities at Oxford I'm not sure what you're trying to accomplish there. Unless you really believe that studying humanities somehow makes you a more moral human being that then doesn't go on to destroy the world, which clearly isn't the case.

And for reference Boris Johnson studied classics at Oxford, fucked a dead pig as part of a fraternity initiation ceremony and is now doing his best to dismantle public healthcare in the UK. So I don't think the "make our society better" statement holds any value.

EDIT: comment below is right, it was David Cameron, not Boris Johnson. And he studied Philosophy, Politics and Economics. So while the last paragraph is half correct and half mixed in with Boris Johnsons history, both of them have been working hard on selling off the NHS. Boris also hasn't started as many wars. So, I guess Boris is better on a relative scale?
Well if you're using ROS, you get to choose between the two extremes of C++ or Python. It would be great if everything was in C++ to be sure, but ain't nobody got time for that, especially not the cheap results-quickly company I work at.
I suspect the M1 Pro will eventually find its way into a Mac Mini since they certainly have the thermal headroom for it, and the new Mac Pro will get some kind of M1 Supermax.
Edge of Tomorrow...(all you need is kill)
That's an easy fix: https://www.techrepublic.com/a/hub/i/r/2020/07/10/22bb5b3d-c...
The UN as a whole doesn't hold as much power as people think. The only organ that can mandate is the security council. The general assembly can only make recommendations. So we are rather talking about thr interests of a handful of countries.
Humanities degrees almost always require both 1-2 mathematics courses and 1-2 science courses, and they're almost always fulfilled with complementary electives e.g. "rocks for jocks" type material, the same way engineers fulfill their complementary electives with blowoff courses that cater to their preferences.
How is that more surveillance? Just observing identifiers you can't use to identify individuals (which is the case with contact tracing as implemented) is no surveillance. It's like counting the number of cars on a busy highway, you can use that data in many ways but not for surveillance.
> Why should I get rid of my laptop and use the apple instead?

You probably shouldn't. Your laptop is more than adequate for your tasks. It may even be better in some respects (you can play some AAA games if you want).
Knowledge Graphs are more and more adapted in practise. There are some nice in-use papers about it, for example one with Pinterest (https://arxiv.org/pdf/1907.02106.pdf).
Also, for people who hate memory safety issues, does it really matter which language? Rust is a solution with momentum. For the people motivated by that concern, fighting over language choice is a distraction.
time to buy the dip
Especially as iPhones tend to do more calculations and AI on the device compared to competitors.
Day 1 – AI Switched to 'God Mode'
You can't easily cover the camera in the Librem 5. The lack of coherent vulnerability tracking makes me suspect you'll be compromised by whoever anyway.
Personally my main takeaway from the article is less that renewable energy sources are a good alternative to the grid but more that the monopoly Hydro One connection fees are outrageously high. $25 - $80k connection fees seem like extortion in rural Ontario where the average annual income is probably around $80k.

I wonder if they'll do a follow-up article next year to report how the solar systems performed over the long Northern Ontario winter...
That was my first thought as well. The number of scam calls and robocalls is such a problem these days that ignoring calls from unknown numbers has become a habit. I'm usually polite enough to google the number and call back if it's something that deserves attention, but I can imagine that that's probably not your first priority when you're busy hiking on top of a mountain.
Rewriting/porting the Linux kernel would be a massive undertaking, and guaranteed to introduce new bugs. Not something you would do without massive benefits.

Rust with its safety guarantees has those benefits in a way no other language does.

While Zig enables writing safe code, it does not enforce it. D and C++ mainly improves productivity.
Also he mentioned they have to run on propane in winter. I wonder how much would that cost.
The $23,000 probably have a capital cost of $30 per month or so, and if they're written off to nothing in 20 years (and the acquisition cost isn't lower by then, which it will), that's another $100 per month.

So that leaves $270 per month for maintenance, emergency supply and other upkeep. Seems completely reasonable that the actual costs will be lower.
Rewrites are a misguided idea. You cannot rewrite a project this big, almost at all. My favorite example of how difficult rewrites are is the Rust rewrite of the GNU coreutils. A project since 2014, usable, but nowhere close to the completeness of the original. It's way, way, harder than you'd think to rewrite mature software (especially software that is heavily tested).
> "[..] just for fun. It does NOT aim to replace the Linux kernel"

Yeah, I have heard this "just a hobby, won't be big and professional like gnu" before. :) https://en.wikipedia.org/wiki/History_of_Linux
Lawmakers will grill Snap, TikTok and YouTube on kids and safety tomorrow
> I would say the terms are mutually exclusive only because there is no expectation of privacy where a party is anonymous.

But as an end-user, do you really care about privacy if you are already anonymous?

I can think of situations where you would. But for most scenarios, it seems to me that anonymity renders privacy a moot question. At least that's the case for me --- therefore I also think that the statement "the terms are mutually exclusive" is fairly meaningless, at least for my own online activity.

My intuition is a lot of "regular" people (i.e. the non-hackernews crowd) would see it the same way...
Tell that to Daffy Duck.
At protecting or harming you? 3x more likely to harm or kill.

Openvaers.com
I'm even sure Apple would offer it if there was demand. But for the few thousands a year you can sell, it's easier to have 3rd party companies modify existing iPhones/Androids.
That was the point behind Singularity OS[1] IIRC. Using managed code which could be verified safe by the OS using static analysis.

Can't find it right now, but I recall reading they implemented a network driver with minimal overhead compared to a traditional OS. While they used message passing, a lot of overhead could be eliminated due to the assumptions of safe code.

[1]: https://en.wikipedia.org/wiki/Singularity_%28operating_syste...
Incredible how out of touch the Silicon Valley elite is with the real world.
I am not entirely in agreement with parent comment, but I need to call false dichotomy on your second argument. There's a whole range of acceptable states between depressed and happiest.
Of course! I also write / rewrite / reinvent lots of things, for fun or out of curiosity.

The issue with this topic specifically is that these rewrites are considered a solution to a plethora of extremely difficult problems (safety, etc.).
>I just wonder if our time would be better spent developing tools to formally verify memory safety of existing languages,

The industry can't implement your suggestion because while computer science can formally verify a restricted subset of some C source code, we can't write a generalized tool to scan any C code to prove memory safety.

Consider memory operations of existing language such as C Language with these statements:

char *dst; // value is set anywhere in the program
char *src; // value is set anywhere in the program
size_t sz; // value is set anywhere in the program
// ... bunch of other code that may alter dst/src/sz ...
memcpy(dst, src, sz); // is that memory safe?

Nobody has yet written analysis tools to prove & verify that the memcpy() is "safe" because predicting with perfect accuracy how variables dst, src, sz will get set & change during runtime are variations of the unsolvable Halting Problem:
https://en.wikipedia.org/wiki/Halting_problem

That's why there's still no computer science research paper showing a tool that can scan general C source code to prove that all calls to memcpy(), strcpy(), and any writes to RAM via aliases & pointer dereferencing are "memory safe".

We're hoping for "Sufficiently Smart Compiler"[1] type of tool that can verify C code is safe but the source itself doesn't have enough information embedded in it to prove that.

So the alternatives so far have been:

- static approach: extra syntax for manual annotation (C++ unique_ptr<>, or Rust borrow &ampersand, or manual mutex lock/unlock)

- dynamic approach: runtime tests with extra memory checks such as Valgrind + UBSAN + ASAN + debugger memory fences, etc. This can catch some but not all memory errors. 100% provable is not possible for non-trivial programs because of the combinatorial explosion of runtime execution paths and memory values.

- GC garbage collection in a different "managed" language. The tradeoff is higher RAM footprint, extra cpu and GC pauses for tracing scanners.

[1] http://wiki.c2.com/?SufficientlySmartCompiler
This is similar to how I feel. The internal chips are irrelevant if nobody else can buy and use them. The product is the laptop.

People who are used to Apple laptops and like using them, will love this new laptop. People who did not look favourably upon Macbooks, still have no reason to, except maybe battery life. But even there, AMD laptops are reaching 9-10 hours easily, which may be more than good enough for many users.
The parser is hand-made https://github.com/cooklang/CookInSwift. I was reading a book "Crafting Interpreters" by Robert Nystrom (fantastic and atmospheric book!) and was eager to try it myself.
As someone who has wanted an ARM laptop for decades (and also thought an ARM tablet would be cool) I mostly see this as a return to what was always possible and that monopoly interests held us back from.

It's like a government during an oil boom. They can get away with a lot of shady stuff as everyone is feeling the wealth. It's only much later that you can soberly analyse how much was stolen from the people and figure out if you are in Iraq, Venezuela or Norway in terms of the benefits of Moore's Law and how that got spread around the economy that made it possible. If there's Billionaires anywhere in the picture then something probably went wrong.
>Except it is still direct electrical heating which is atrociously inefficient.

Electric heating converts practically all energy into heat, making it ~100% efficient. You can make statements about cost-effectiveness compared to burning things, but not all houses can.

CHP configurations are more common in colder climates with district heating, so their "waste" heat during generation often isn't wasted at all.
The easy way to install Windows 11 on unsupported CPUs
Macbook trackpads blow all others out of the water. At least they did up until two years ago when I was in the market last.
Some highlights from the Wired cookie popup:

Audience Measurement

Targeting Cookies

Social Media Cookies

Store and/or access information on a device

Create a personalised ads profile

Select personalised ads

Create a personalised content profile

Select personalised content

Measure ad performance

Measure content performance

Apply market research to generate audience insights

Use precise geolocation data

Actively scan device characteristics for identification

Link different devices

Receive and use automatically-sent device characteristics for identification
Creating Pickaxes for OnlyFans Creators
The Rolling Stones’ studio receipt for recording ‘Wild Horses’ and ‘Brown Sugar’
Not far off...many Dr's offices double bill for annual wellness visits, claiming there was something discussed outside the parameters...Dr's purposely direct questioning so that the patient will discuss such things...very slimy practice.
Neat article, but I have a question that's kind of a tangent: what are those rose-colored lenses that the pilots have flipped down to look through the windshield of the plane in the picture?
That can be mitigated by making people take 2 consecutive weeks off every year, which many banks do. (It’s also considered an anti-fraud measure.)
Probably because most are too dumb to pass it.

Before you down-vote: ask what their high school STEM grades are?
> Your life becomes much easier.

Life hasn't turned out too bad for Carmack.
> I am once again asking for a progressive tax on corporate revenue.

Just call for a national sales tax and be done with it. Later on, you can transition to a VAT once you see it fixes some of the problems with a pure sales tax.
Racist AI? False
That keyboard looks really sleek for 1984!
Thats def a personal choice for me it def. is :)
Nothing can beat Ada when it comes to safety, and it has all the constructs in the language you want, and it has all the positives that you want. Heck, there is a reason for why Ada/SPARK is used for a lot of important projects, say, a cryptographic library.

In any case, Ada would be the perfect choice, IMO.
No support for Windows and Android?
Has to be for their mixed reality product rumored to launch next year that they’ll want native apps to be developed for. There are only so many ProRes video editors out there.
Doesn't the JVM define its own memory model?
56GiB/s*
Should I just copy this for my interview?
The only thing I’ve learned from this discussion is that PETA is a disgusting organization, and it’s best that I have nothing to do with them.
It's going away though and is less functional than in previous versions of the system. Basically a waste of time trying to build rules for it right now.
You need to email them, they do not scan for these types of comments.
It is benchmarking the firestore JavaScript library that runs at the client.
> It also costs at least 2.6x as much¹ so the question becomes "do you get a 2.6x productivity gain as well?"

Wrong question. You're comparing different values. Even 5-10% productivity gain can offset the 2.6x difference.
Hey, if what you have works for you then by all means keep using it. Less e-waste is always a good thing. If this new machine can save you time, maybe it's worth an upgrade. My last upgrade brought my compile times down more than five minutes, which makes it absolutely worth the cost. It looks like one of these new MBPs might do that again, so I'm going to get one.

Another thing to consider is that it may be marginally easier on you to develop on an ARM machine if you're planning on deploying to ARM servers, though this depends heavily on your workload.
Claudia Roden's book of Middle Eastern Food is excellent and includes many medieval recipes.
There's only so much accelerating that can happen. At some point, the market saturates.

I looked at Tesla's share of the car market too.
A heads-up display: https://www.flyingmag.com/how-it-works-head-up-display/
The curious case of India’s internet shutdowns
Might be hundreds of millions or billions... Check out the pricetags of companies switching custom old legacy systems to "newer" SAP.
Nitpicking, but wasn't it David Cameron who fucked a dead pig?
Perhaps Tesla should explore the opportunity of operating their own rental business. They can't possibly be any worse than the existing rental companies.
My first guess would be heads-up displays. On photos they always appear blank.
Not entirely correct. You have the right to privacy on your own property.

> With commercially available spyware, with covert monitoring of our communications, with ads that track us around the internet, with pseudo anonymous data sets purchased and sold and used to manipulate sentiment and sew division.

If you access the Internet or go to a nearby public park, it's questionable if you have the right to privacy unless you have a contract to that effect (and many of you don't and usually agree to give up privacy). Don't enable JavaScript, use Tor, don't install crap on your phone, use privacy-oriented messaging apps and you won't have issues.

You can be for privacy but you don't have to make stuff up. The government has no business protecting you on the Internet just as they have no business stealing money from others to fund that task.

As for "with covert monitoring of our communications", most of you voted for Biden & Deep State. Please take your complaints to the White House and don't vote for Deep State candidates.
The average user also has no idea what/how much information is contained in those automated reports. If you are just sending a build ID and a stack trace, sure. If you are sending memory dumps (even partial) or associating those stack dumps with identifying information (e.g. steam IDs) then you really should be asking for informed consent before you do that. And no, it being a common practice to just collect as much information as you can does not make it an OK practice.
To me its getting a bit surreal with Apple Silicon performance. Sure, it's great.

I know it's shocking that the company that produced in-house ARM chips that are top performers in the mobile space for the last 10+ years - has made a bigger chip and shockingly(!!!) it's good.

So, the biggest company in the world has created a semi-custom closed ARM design, running on their properiatery Operating Systems - iOS/iPAD OS/MacOS, that run only on their absolutely unable to repair/upgrade machines, that are essentially bricks of alliminium with a display.

Me personally have a

ASUS ROG STRIX G15 laptop
with Ryzen 9 5900HX
and 2 x 32GB DDR4 3200 of memory - I can run ot it Windows, Linux, MacOS, BSD, etc.

99% of the time it's connected to the power outlet and I can overclock it.

I don't get the Apple Sillicon excitement, tbh.
People really ought to read about Ada/SPARK before jumping on the Rust bandwagon.
That's one of the problems that original BeOS had -- they were locked into gcc 2.95 abi. In the late days of BeOS, gcc 3 was released and it was not possible to use it.
> All those companies currently make less than 100k EVs per year.

That's because they mostly make disposable compact hatches and the demographics that buy disposable compact hatches are not the demographics that spend a premium on an EV. They buy an ICE Mitsubishi Mirage or something. Telsa makes money hand over fist because they're the only one making EVs targeted at white collar demographics who drop 30-50k on a car.

Nissan could crank out 100k Leafs/year if they felt like it. But Hertz doesn't want 100k leafs/yr because they're not trying to fill a hole in their economy hatch portfolio. They want 100k sleek fancy sedans with some brand image to go with them. And Tesla is the only people making that right now.
Yeah, similarly we have crap locks in doors. They are there more to make it somewhat laborious to open to door, hence signal privacy, than make it nigh impossible to break in. That's why we have bank vaults and so on when we really want to deny access.

For convenient security you want just enough complexity a bot wont automatically unlock it, for proper security something that can be even a bit unconvenient as long as it's more secure.

I agree, biometrics should probably be in the "breakable, convenient" category.
The fact that content sent to signal and Whatsapp resides unencrypted at the matrix homeserver makes this product completely useless to me.

I don't think I want to sacrifice the security for having all my chats in one place.

If they can fix that I might reconsider.

They already reverse engineered the Whatsapp protocol. I see little reason why it can't live in the client? I don't really follow why they move the bridge to the homeserver.
> now that unsafe memory management has been unambiguously shown to be the major factor in vulnerabilities, how safe memory management is still not recognized as the highest priority

It is a shame it isn't taken more seriously, especially when you consider the recent Pegasus discoveries - https://digitalviolence.org/

A memory management error can literally be a matter of life and death for some.
Here you go:

DavidXanatos
on 16 Aug

Interesting driver,
is the process termination feature of PH the only thing MSFT has a problem with?
I mean if its the only thing they don't like, may be its worth moving that feature into a separate tool or a plugin with an own unsigned driver?
Also changing the name would be an option, if than all the problems can be avoided.
@dmex
dmex
on 16 Aug
Maintainer

the only thing MSFT has a problem with

MS refused to discuss anything and have ignored every email so who knows what their problem is.

if its the only thing they don't like

It's not the only thing.... There are recent changes to APIs that block and limit features when the caller isn't taskmgr.exe.

Either way this discussion is offtopic from the KPH updates.
For larger user counts (and budgets), Salesforce.com is a workhorse. Builds tabs, data views, filters, dashboards, great auditing, security, etc. I've used the force.com platform to track everything from dog daycares to coffee shipments to hospital patients. It's an acquired taste, but it's a huge toolbox that gets the job done.
can you explain why you think right to privacy and anonymity is a western liberal idea ? especially so since so many western liberal governments are adopting very harsh laws against privacy and anonymity

i would argue that it is simply a fundamental idea but sadly still a radical one, regardless on which part of the world you find yourself on

EDIT: by 'fundamental' i mean simply in the sense that the sentence, 'it is none of your business what i am thinking about', is fundamenal
Pretty sure the author is referencing iBeacon.
Sublime Text 3.2 to 4.0 Changes
No, you can guarantee much more with regarding to safety using Ada/SPARK. I have a table somewhere. So if you want safety guarantees, it is Ada/SPARK all the way. Check out https://blog.adacore.com.

I cannot emphasize it enough: if people really wanted so much safety, they would have chosen Ada/SPARK. I also find Ada easier to read and write than Rust. I know C, OCaml, Erlang, Forth, and Factor, yet I have difficulties with Rust. Am I really that bad of a programmer? Welp, at least I know Ada and I can write actually super safe stuff. :P
Highest Salaried World Leaders
> If some program really needs an unsafe block to do something, then that goes into a (hopefully small) library of heavily-scrutinized functions that do dangerous things but expose safe interfaces.

Device drivers make up the largest part of the Linux kernel, and they would by necessity contain lots of unsafe blocks – the compiler can't reason about the interaction with some device. This is typically different from device to device, and there's no way this could be separated into a small library or module.

Look, I agree that a kernel written in Rust could be much safer than one written in C, and even those instances of 'unsafe' blocks would be easier to audit than C's "everything is unsafe". But it still couldn't replace all the advantages you get from micro-kernels with separate address spaces.

For example, it's impossible in Rust to safely unload a dynamically loaded library. The reason for this is, that such a library could contain static data, like string literals, which are of type &'static str. Passing a 'static reference from the library to the program doesn't require 'unsafe', but will leave a dangling reference when you unload the library. Of course, the unloading operation is itself 'unsafe', but that doesn't help you prevent, locate, or track the transfer of a 'static reference.