skysight-inc/HackerNews huggingface dataset:
> One issue with Zig's approach is due to its error value inference system, it's very difficult to know what possible errors values a procedure returns just from __reading__ the code (assuming `!T` or `anyerror!T` is used), you have to compile the code in order to determine that. This may be okay for a single developer, but if you are on a larger team you are now either relying on external documentation (which Zig can provide) or the compiler telling you this. With a specific (error) set this is not a problem because it's explicit to the reader.

While I see your point that this should ideally have been fixed at the language level, this is still solvable with a style guide and a linter that lets you forbid using !T / anyerror!T, right?

> The purpose of the programmer exists at the time of writing the software, and so errors in respect to that purpose are well-defined in a contained manner. A bug is an error relative to the programmer's purpose in writing the software. An error relative to programmer's purpose that is caused by the software not being executed as described in the source code is a compiler or a hardware bug. These well-defined error classes are categorically different from errors relative to the purpose of an arbitrary future software user, which is the focus of this article.

I'm a bit confused by this part of the abstract. Doesn't the focus on user error completely remove the relevance to programmers, who are more interested in the first "well-defined" class of errors?
it's basically a cli to create those. just that.
> TCP doesn’t specify encryption either.

TCP is very old. You would not do that today, and indeed they didn't, QUIC's cryptography is built in.

Two reasons to want cryptography built-in. One in some sense political, "Pervasive Monitoring is an Attack" is BCP #188. We must defeat such attacks on the Network by encrypting everything possible. The other is pragmatic, middleboxes induce Protocol Ossification, making innovation difficult or impossible, by encrypting everything we prevent a key source of ossification, if the middleboxes can't understand the protocol they also can't rust shut extension points.
Build a tax calculator
What are you referring to exactly? I do remember having trouble with their official OS until I switched to Armbian on my aged BPI-M1+
this is a bit more, but if people are looking for a more capable (e.g. 10Gig, more ports, and more CPU) I really like the ten64 I got. https://www.crowdsupply.com/traverse-technologies/ten64

I am currently getting Vyos to run on it (I have nearly everything working, apart from the 5G module I have on the board).

That said, I think Vyos is in a state to support being run on this board as well, which would be cool.
Why coders love the AI that could put them out of a job
>A fresh load of the home page generates over 100 requests.

I see 17 requests, all over either h2 or h3. 4 of them JS, and 2 images.
Google Assistant’s upcoming 'Quick phrases' will let you skip 'Hey Google'
License costs are peanuts in traditional enterprise bugdgets, when mapped across the overall costs of developer salaries, contracting, designer agencies, travel expenses,....
Before I left Toledo (grew up there), I made about $18 driving busses with a lot of of overtime. Its not a terribly difficult place to make a living right up to the state median but almost everyone with potential leaves or works out of the city, simply because professional industry is incredibly lackluster.

This is beside your point but HN is such a coastal bubble that I always feel the need to chime in with perspective when someone mentions my hometown.
Would probably be more useful to implement html2json, and pipe in html?

Ed: eg: https://github.com/Jxck/html2json
I'm not sure about India, but why not Taiwan / Thailand / Indonesia etc.
The houses OP pointed out are not. In fact im certain the first one they saw is actually a block away from a spot where regular shootings happen.
The idea of compressing voting down to a single unitless dimension seems like there's a whole lot of information loss going on.

The fact that this dimension doesn't even have an agreed upon unit vector makes it even worse.

There are many dimensions, with different degrees of orthogonality

true / false
funny / serious
insightful / wrong
kind / hurtful
agree / disagree (useful for votes)

I haven't got a clue how a good UX would deal with it, let alone the ranking for display purposes, but I do know the trinary up/neutral/down vote is a big issue.
What You Can Learn from the AWS Tokyo Outage
Just like there are people that love to setup an Hadoop cluster for data that fits into a USB pen, there are others that love to ramp up a Kubernetes cluster for what is a typical three tiered application.
But it's a bad idea to compare the world's fastest runners with people getting high paying jobs - that's the main point of the GP's comment. Even for something as clearly and uncontroversially genetically influenced as running ability, the group differences only really matter for the top 100 people out of 7 billion. If you look at top 100k runners, the group differences are almost entirely gone. Even more, the top 100k runners are probably within a second or two of each other - entirely irrelevant if you were to hire based on a bar of performance, and not some elitist concept of hiring the very best possible.
I committed to not responding to you in a different thread. I did not commit to not responding to you in all threads. The teacher in me forced me to try to explain to you why your use of ad hominem was incorrect. My previous response had nothing to do with what was being discussed as such. Your conclusions have not been logically valid.

Here’s an example:

… I must be a calculus teacher in order to challenge your assertion that IQ is the primary source of the problems your students have with learning in your classrooms..

No one has said any of these things and no one has implied any of these things. I never said or implied that IQ is the primary source of anything. No one believes that you must be a teacher of calculus to be right. What people have wondered is if you are a teacher because some of your statements seem to the the type of statements only a non teacher would make.
Over 1k migrant children are missing in the U.S.
> The cleanliness of Tokyo is 100% because of cultural issues, not because the government did anything special.

Not at all. It was once a mess. In "High and Low" from Akira Kurosawa, you could see the river was filled with garbage.
The government did many campaigns especially around the Olympics in the 60s.
No it is the international investor effect. People do not invest locally. The money goes to a few proven places rather than circulating throughout the entire country.

You can call the investors kings and the workers are chasing the kings money.
I'm not so sure about that. When the Fed was tapering and starting to raise rates back in 2018, the bond market flashed warning signs in December 2018 with long term rates falling sharply and the yield curve inverting.

Then there's also the market expectations of whether the Fed is willing to go with negative interest rates, which would influence the behavior of bond traders.
Sci-fi authors.

I could be wrong about 'meatspace', but I'm pretty sure that was Ian M. Banks.
But then your point is the identical to the parent’s.
> There's this unfortunately prevailing attitude that you aren't successful in America if you aren't living in New York or San Francisco.

Even more unfortunate is the widespread acceptance of the idea that you need to be successful to be happy/fulfilled.
Isn’t the M1 a significant innovation?
That's not the issue here. The issue here is letting automated systems having final say on such destructive actions as terminating an account entirely, with no concrete way to appeal. From what I am aware of, few channels wrongfully suspended get reinstated through support but rather through public outcry on the likes of Twitter.
whataboutism usually refers to irrelevant things. Given Assange is recent (and ongoing) why is it not relevant?
Firstly yes most people don’t understand how an autopilot work, not to mention that there are varying degree of autopilot for aircraft ranging from what is essentially cruise control to those capable of take off and landing.

Secondly unlike pilots drivers aren’t trained on how to drive with an auto pilot and they don’t require to be certified for every car model and software version / package combination like pilots do.

So I as a passenger don’t need to assume or think about what capabilities the autopilot in an A380 has that an A350 might not I can be assured that the pilots that fly these aircraft were certified to fly them and understand exactly the limits of their aircraft and how to utilize autopilot effectively and safely.

Contrast it with Tesla’s advertised self driving capabilities and it’s a completely different picture.

Not only that I as a driver do not know under which circumstances the autopilot should or shouldn’t be operated on and exactly what level of attention is required from me but also as another road agent I can’t make the correct assumptions about other autonomous agents because I don’t know their capabilities or even if they are in autonomous mode or not. The fact that there for example isn’t an indication light when a Tesla or any other “autonowannabe” vehicle is driving under no or partial driver control is still mind boggling.
Steven Pinker Thinks Your Sense of Imminent Doom Is Wrong
Any spending as long it is domestic is productive locally. the stuff the miltary buys needs to be made,the manufacturer in turn buys parts or raw material and employees people and so on etc.

There is certainly a case that military spending is not the most effective way to multiply the economic effect that other kinds of spending like infrastructure, education or healthcare, research etc . All of these have huge secondary effects in simulating the economy that military probably does not have .
And for completeness’s sake, this is how the concept of "having the same size" can be, and indeed is, extended to infinite sets.
It has been admitted. So they DO log your IP address when you use their service. So their customers have been lied to and have their privacy at risk. They cannot be trusted.

So how long have ProtonMail kept this massive lie from its users then?
Your observation about gaps in knowledge is true for all trades, and is at least conceptually what separates trades or job skills training university education.

A good university program teaches very few hard skills, but you learn to reason about your field essentially from first principles. On the other hand, to do a mechanical job, you really need just the job skills, and the connection to cause and effect is almost irrelevant.

This is typically why university education is held up as a better key to long term career prospects, because of the adaptability rather than rote memorization.

In real life I realize it's a lot more messy.
I have spent 15 years in the educatuonal system and I feel I am qualified to state that the methods are very obsolete.

A week of playing Kerbal Space programm gave me better understanding of orbits than years studying calculus, physics, general and special relativity.

It has poor applicability in everyday life - we learn all the biology of a cell but kid's don't know the difference between aspirin and ibuprophene.
> purely for illegal uses.

Nazism isn't illegal everywhere (I concede you may have been referring to other illegal things), so it could be locally legal. It's still wrong and the fact that everyone thinks of these uses first is problematic both because censorship resistance can be benign and because apparently such folks flock to solutions that claim these things.

Sadly that tends to really muddle the waters and it becomes increasingly difficult to see the distinction between groups that opportunistically use this and the (perhaps) misguided folks that work so hard to give them a platform.
You mean like IBM is innovating when they use their own silicon? This is just vertical integration at its best, I'm not sure that M1 is a 'tour de force', to me it's just another CPU that was tailored for a specific niche.

The first ARM, that was a tour de force. The 6809 was too, and of course the 4004. But most other CPUs to me are run of the mill and the M1 is in that sense to me nothing special though of course it will give Apple a bit of an edge, but when all is said and done it's just another ARM based SoC.

At best it is an optimization, the most interesting part of the M1 is the dedicated neural net, and I'm not sure if anybody has already done something with that that the main CPU could not have done.
> a knee on the neck. Women might get assaulted

You've been reading too much news. That doesn't happen to normal people in real life. Blacks have a huge disadvantage of poor upbringing by their own family and community and women have a huge "disadvantage" of not wanting to be a computer programmer.
> I didn’t say anything about on-campus learning

You should have.

It’s not “world class professors” on YouTube that people are watching instead of their own university’s zoom classes. They’re not paying for zoom classes because they want to learn on campus.

They still want to go to college, they just don’t want to learn online.
>progressive dogma ... contrasting with conservative dogma

That's a false dichotomy and really the core of my complaint. Instead of dogma, we should be striving towards facts based on empirical evidence. Science.
Pretty much agreed. Especislly web stuff is ususlly "boring" since it delegates the state to the database so if sonething goes wrong there is usually not that much interesring to fo other than cleaning up resources.
Show HN: Symbolica – Try our symbolic code executor in the browser
We're a couple of software engineers who believe that to build great software you need to write good tests, but we also sympathise when engineers say things like:

- "Writing tests was too time consuming on my tight schedule", or

- "Unit tests don't catch enough bugs, so they're useless", or

- "I've inherited a legacy code base without tests and have no idea where to start"

To tackle this we're building Symbolica (https://www.symbolica.dev), a symbolic code executor [1], that lets you run your code for all possible inputs. This means you can do things like:

- Assert properties about your code and check that they hold for every conceivable input.

- Check that two implementations of the same function/method/program are equivalent, which is really useful if you're refactoring a legacy codebase without tests.

- Find out if your code will hit any undefined behaviours, e.g. divide by zero or out of bounds array access.

We're still really early in the development of this product, but we're excited to have built a working prototype of the symbolic executor for C programs. We wanted to get some feedback from potential early adopters so we've put up a code playground (https://www.symbolica.dev/playground) where you can try out Symbolica on C programs in the browser for free. We'd love people to give it a go and give us their thoughts.

Our plan is to build this out into a hosted cloud service that you can integrate into your DevOps pipeline (e.g. GitHub actions) so that you can run these symbolic tests on every CI build.

Further down the line we plan to add support for other languages too. We've currently got proof of concept implementations for Lisp and Python and will be looking into C++, Rust and .NET after. Of course we're always willing to prioritise a particular language if there's strong demand.

If you're interested in what we're building then please either message us at dev@symbolica.dev or join the alpha waiting list if you want to get first access to our full offering once we launch that.

For those curious about how the executor works the core part of it is open source on GitHub (https://github.com/SymbolicaDev/Symbolica)

[1] https://en.wikipedia.org/wiki/Symbolic\_execution
Hasn't Intel put 10A on the roadmap? I guess 10A means 10 Atoms wide.
IIRC, without emergency redeploying, they might have issue running less than 4 - not sure if the tag server can coexist with web server anymore for example, redis is still a dependency, so is haproxy, separated SQL and IIS, etc.

Then there's support services (iirc, all of elasticsearch was non-functional requirements stuff and technically could be run without?) and HA.
Maybe the downvoters were not convinced that insulating your kid was a good idea.
> You know nothing about my teaching or what I do for my students.

I actually do because I read all of your comments in this thread.
There is apparently a large contingent of people on this site holding the belief that if your private platform is large then the government should step in to force you to host things you don't want to host.

It's kinda funny, because it's effectively saying that they want to nationalize tech companies for being successful.
Java, C#, and C++, mostly.
Please reconsider.

As far as I can tell, Big Tech has terrible numbers for diversity and they are tripping over themselves trying to bring the numbers up. I really, truly believe that non-white, non-male candidates are not going to suffer if they can get the resume on the table.

Stay the course. Good things await.
This would be the AstraZeneca vaccine with all the negative press coverage so far... NFI if it works for anything but there's obviously a media bias about it.

https://www.theguardian.com/world/2021/aug/11/oxfordastrazen...

https://www.politico.eu/article/how-astrazeneca-threw-away-i...

https://marginalrevolution.com/marginalrevolution/2021/06/a-...

https://www.reuters.com/business/healthcare-pharmaceuticals/...

https://www.reuters.com/business/healthcare-pharmaceuticals/...
Since day #1 would be a safe guess. I don't think the honor system is a good way to deal with companies so when a company writes something like that and I have no way of verifying it then I don't believe them. Worked pretty good so far.
> OpenBSD runs on Edgerouter

Glad to hear this. I went checking [0], and there's still a speed bump for me: mine is the PoE version, and its switch ports are not supported yet. The PoE version is also an orphan with respect to OpenWRT.

If switch and PoE support can be worked out, that may a way forward for my router.

[0] https://www.openbsd.org/octeon.html
Not to mention, obesity has increased by an order of magnitude in 50 years, with no signs of stopping. It's actually a nice example of how little genetic variance can actually matter at the population level, especially since it is a much more objective measure than IQ tests.
>I did not wanted to fiddle with openssl directly

It's actually fairly simple to use openssl directly if you have a good handle of sockets in general, it's basically just a case of doing some initialisation and using SSL_write/SSL_read in place of whatever write/read functions you were using before to write to the socket
So what? Did you missed the part about compiler vendors?

Those were the ones that cared about C outside UNIX.

Bell Labs also had nothing to say to what happened to their code when they set it free.

And Zortech was one of the first vendors to move away from CFront.
Attention! Someone who knows nothing about your project is offering free advice!!
I don't think that's in disagreement with the parent. Whatever means YouTube uses to determine who to drop and who to keep is irrelevant because the point is that if you host content on someone else's servers you are giving them control.
There’s no idea that rich white people love to push more than the idea that college is unnecessary (yet nearly all of them went to college and you won’t find their kids going to trade school).

It’s part gatekeeping and part wishful thinking.
What is really interesting to me is that they just have a very small number of each kind. It's not like they have 50 redis servers, it's just 2. 2 looks more like a smaller project ar first, but it's great proof that a lot can be achieved by doing engineering.
Hmmm, now I don’t get how Bernstein chaining relates to file descriptor interface. I’m curious about specifically the `4<infile` you seem to be admiring, you just observed its unusualness or do you see how its more powerful than the more common `-input infile`?
IMO there's a huge gap for an init that does process management in a container using systemd files without needing the SYS_ADMIN privilege.

I've wanted this for some scenarios where I'm bridging the gap between VM/OVAs and containers, and would like a single rootfs to be able to serve in both capacities. Basically all the current options are not great:

* Make invasive changes to move the container-relevant stuff to another init system.

* Make invasive changes to run a systemd instance in user mode in the container.

* Run the container as privileged.

* Something something podman (not an option for k8s).
==its that college is suffused with an ideology that is anti-men, anti-merit and, for the most part, useless for anything but its own self-propagation.==

I never felt like this kind of victim while in college (mid-2000s). I wonder if all colleges have changed or if society has changed. If it is society that has changed, maybe our colleges are simply reflecting the real-world change.
Technically true, but the GP is right in that someone is going to layer encryption on top of this anyway. And the performance of that pairing is what's going to matter eventually.
The small subset of codes in my area that I personally looked at were significantly out of date and it was unlikely that they would be updated anytime soon. There are state codes which were out of date for a long time but they just recently updated. However there are also local codes which are not up to date. When they're not in direct conflict you need to follow both, if they are then technically the state should take precedence, but if you look into it then you'll find that the locality doesn't care and will fine you and it's up to you to defend it which will be expensive and you could still lose. The codes are only as good as the people maintaining them and it seems that the maintenance is not a priority. This was not for electrical - perhaps that one is given more attention.
Show HN: Peer to Peer Recruiting?
Let's wait a couple of years before making that call. It could be, it could be a short-lived edge.
...an entire generation that feels lost, without purpose, and unwanted. I'd argue that it is largely up to the parents to instill a feeling of worth and help kids/young adults find intrinsic motivation, not the educational system.
Why should we care?

The tweet says it's been terminated "for some reason".
WTF.

Maybe it's justified. Unless you can explain why they terminated and show you did NOT violate their, I don't care. Do your homework first.
We are currently running through that surplus. Current estimate project the surplus will last (and make up for the deficit between revenues and benefits) until the early 2030s.
Or maybe we're running a more complex infra not because of scaling, but because declarative setup free from expense of cloud services (esp. important outside of SV/rUSA bubble) can mean that hosting the services that are needed to run the project can be made cheaper, both in time and materiel.
> American history

Arguably all American (assuming you mean to refer to the US here) history is recent. In that sense, I would say their history of slavery (and more recently blatant and publicly endorsed racism) is probably a little darker than their trend of putting increasingly confused old men in power.