skysight-inc/HackerNews huggingface dataset:
Yes, absolutely. Oil has a principled representation of the interpreter state, so it should be easy to write a debugger.

(Although note that bash actually has a debugger called bashdb, which I didn't know about until recently, and I've never heard of anyone using it.)

One intermediate step I would like to take is to provide a hook to dump the interpreter state on an error (set -e). Sort of like a "stack trace on steroids".

If anyone is running shell cron jobs in the cloud and would like this, please contact me at andy@oilshell.org.

I want to give people a reason to use OSH -- right now there is really no reason to use it, since it is doing things bash already does. But I think a stack trace + interpreter dump in the cloud (like Sentry and all those services) would be a compelling feature. I'm looking for feedback on that.

Shell scripts have a very small amount of in-process state, so it should be easy to dump every variable in the program.

Also some kind of logging hook might be interesting for cloud use cases.
For the case of mail submission, there is a lot of legacy hardware/firmware out there still in use that simply doesn't support TLS, and is mission-critical, and is likely to become obsolete before anyone upgrades it. A lot of that traffic is considered nonsensitive by those who need it so trying to force them to be secure isn't going to go over well. Despite that, RFC 8314 recommends that MSPs deprecate cleartext submission and mail access, but it doesn't specify a timetable because the situations vary too widely from one provider to another.

For message relaying, your proposal might indeed work. The vast majority of inter-domain mail traffic goes through a very small number of providers. No mail provider can afford to not be able to exchange mail with gmail, or office365, or ...
Spin up a virtual machine! (Or an EC2 t2.micro instance, free of charge)
The harder it is to read, the longer you'll spend reading it. And time spent on page is a really common vanity metric.
I see. My apologies for being so critical. I agree that POSIX is incomplete and out of date.

However I do think it is a disaster that people can't break up their shell code into more modular components, and there is no excuse for it.

And I especially do not wish to discourage you from trying to reinvent shell, because someone has to do it, but at minimum I don't see myself moving away from my shell for the better part of a decade. Hopefully at that point Oil's community has matured to the point where I feel comfortable trusting it to be stable and free of any critical privilege escalation bugs.

Good luck!
Why not to copy and paste:

1) what you paste might not be exactly what you copied. i.e: http://thejh.net/misc/website-terminal-copy-paste

2) possible licensing issues

3) it enables cargo cult programming
Cake Browser for Android and iOS
It's fascinating to watch the British tolerate this bizarre puritanical fascist shift. The forced surveillance laws are not unexpected, that's going on in most of the developed world these days to one degree or another. The laws around porn are the part that I never would have expected. It seems like something the more extreme conservatives in the US would have cooked up.
Except that most consumer ISPs block outgoing traffic on port 25 to make spamming more difficult. So you won't be able to send mail directly to the recipient's SMTP server.
Well to be fair, there are a lot of insane people out there. :-)
Both support for `&&` and `||` (instead of `and` and `or`) as well as supporting `FOO=bar command` are under consideration for fish 3.0 to ease the migration path. The former is pretty much going to happen, the latter if we get around to it, DV.
This is quite interesting -- tangentially related, is anyone aware of studies of the long term effects of sports which include blood chokes (constricting carotids)? These might include Judo, Brazilian Jiu Jitsu, as well as modern MMA and submission grappling. In these cases, there may be plenty of oxygen in the blood, but the blood flow to the brain is being restricted causing loss of consciousness.
Use Firefox ESR 52.x. Firefox 56 is insecure and should not be used: https://www.mozilla.org/en-US/security/known-vulnerabilities...
I predict a surge in the popularity of pornography among British elderly women.
Also location (unless the good recruiters are national operations).
There was a security breach in my company and I didn’t even notice it
In Vietnam, they have Uber Moto, where it's like normal Uber but they use a motorbike. It was definitely a surprise when I found out, but it makes sense, since motorbikes are the standard form of transport there.

I wonder what other interesting regional options Uber has.
Protip: When you disagree with someone, try to offer more than just an ad hominem.

If you disagree with something I've said, by all means explain why.
It is not clear to me from the article whether this is something which will be rolled out only to viewer from the UK, or to all viewers globally.

If it's the latter, I think it will be received very dimly in countries with more-robust internet privacy regulations (or privacy-sensitive public sentiment) than what is currently the norm in the UK.
Ion looks great, but its goals are different -- most importantly, it doesn't provide an upgrade path from bash. (This is also the biggest difference between Oil and fish, Oil and Elvish, etc.)

I talked with the authors of Ion on github almost a year ago. Ion was influenced by Oil, in particular this post:

http://www.oilshell.org/blog/2016/11/06.html
I know a 3D artist who has been creating his first game in GameMaker Studio and it looks really solid for a debut solo effort:

Game site: https://papadar.itch.io/eatvolve

Playthrough of an older version here: https://www.youtube.com/watch?v=s9JgvTus0O0

GameMaker Studio: https://www.yoyogames.com/gamemaker
Does this affect the Tor browser's ancient version of Firefox?
> You don't need an email provider, you can just set up a mail server on your own computer.

Not really. It's not possible to send mail from a dynamic IP at all, and there is a lot of technical minutia to not get thrown in the spam folder for major providers. In fact, many major providers simply assume mail sent from an unfamiliar domain and/or IP is spam by default, and you will have to contact them to ask for permission to send to them.
Fans and coolers are easy to replace as well.
If you care, they're worth a tiny ego boost. (But if you care very much, it often comes at the price of addictive behavior...)
The spec was published in August 2008. So yes, nearly 10 years.

Source: https://tools.ietf.org/html/rfc5246
The stock has already recovered and is above $190 now (up 3.6% vs. close).
You need to add https to the site, also the site makes it look like there's an app to download but i guess there isnt?
You can't type things properly without considering the business logic. Once you have that figured out the correct logic comes easily.

The compiler should be sparing you from wasting mental energy on menial things by telling you what to do, even when making large changes that would be disgustingly complicated in a dynamic language.

If you feel like you're "catering to the compiler", then you're going about things wrong; because you're worrying about logic before nailing down the proper data structures.
Sounds pretty cool and everybody who had to learn bash scripting at some point understands why we need a sane language (my favorite are misplaced spaces in if statements...; Disclaimer: I do and love bash scripting but while the language has cool concepts, some things are just broken by design).

Nevertheless, there is one piece in this puzzle I am missing. There does not seem to be a process which manages the 'core software set' across platforms. So after decades we finally have a shell which is available on most operating systems, but how long will it take before Microsoft, Apple, Oracle, etc. will adopt a new shell?

So why don't the large OS corporations form a consortium to define something like a 'cross platform run time environment' standard (maybe together with the Linux Foundation and some BSD guys?). I mean its not so much about which shell someone prefers, but more about a common set of interpreters and maybe tool kits. And even more than that it is not about the state but the process/progress.

What do you think, do we need such a process or is there another way to solve the cross platform dilemma?
If that's a concern for companies, they can bake measurable minimums (referrals, converted referrals, etc) into their endorsement deals. Any person with a bevy of fake-ness won't meet them and thus won't get paid.
It actually looks quite nice in Firefox, it is hard to read in Chrome though. Maybe they have the one last web design team that primarily tests in FF? :D
Can you use VSCode as just a debugger? IDE's typically require sacrifices like letting the IDE take over your build process.
Bicycles were there before motorbicycles, and in many countries with robust bicycle culture people think of bicycles first when they hear biker.
You'd have a difficult time spoofing your IP address for a TCP connection (HTTPS).
Or.. the harder it is to read, the more unlikely I am to read it. And will instead leave the page and find another source for the information if I care that much.
Focusing on exterminating of social elite (doctors, lawyers, famous artists, officers, writers, journalists...) is admitting there was an elite. How can a slave race have people creating culture and order?
Those sound quite helpful. I'd love get a setup where I could talk to my minitel directly over its POTS line rather than having to enter the hotkey for serial terminal every time I power it on.
What do you mean by embedded systems?

Here's an article from 1998 that gives an example of C++ being used in military avionics systems:

http://www.cs.wustl.edu/~schmidt/TAO-boeing.html

It's been used in civilian avionics for a long time, too. Not that it's necessarily the best choice in those environments, but "starting to accept" seems like a mischaracterization.
‘I am thoroughly ashamed’: British lord resigns after arriving late to work
Why would someone's number of followers be a "material fact"?

I mean, it might make me decide to listen to them a time or two. It won't for long, though - they need to say something worth hearing for that.

(Disclaimer: The previous paragraph is hypothetical. I don't do social media at all, so I don't follow anyone...)
your valuation is correct from what I remember being told by friends.

It's a reasonable return for early employees, but way under $10 a share as they had over 26 mil shares before series b. Assuming 20% dilution in series b, and no other dilution, looking at closer to $7.5 a share in total. Then you get into the VC liquidation preference which would lower value of the employee shares further. Of course if your strike price is 50 cents a share, you still made money, just not what you might have hoped for.
How This Startup Scooped Up 90 Percent of Its Rival's Business--in 1 Week (2016)
Your landing page has several product screenshots with all the details masked out, except inside the small feature highlight circles. It would help if the details (of some mock data) were visible.

Access to a demo account with no signup required would help too.
This is what I want from a service like facebook - posts my friends, groups, and pages explicitly post, IN CHRONOLOGICAL ORDER, and nothing else. No "John commented on this" or "Melanie liked that". No algorithms. No out-of-order, unless I ask for it.

(If 10 friends all reshare the same post, sure, collapse it into one.)

But, of course, if they do that, they make it too easy for people to see posts they want without pages they follow paying for ads. So they put in an "algorithm" and say they're "making the news feed more personal".
It is an argument about whether lack of verification on these platforms is worth preserving. That is not proved convincingly by the instances of protests they allow, since this same practice also allows propaganda.
Pandora to cut 5 percent of jobs
> Public Discourse? Like online? Please do tell me the story of how your parents settled on "bb88" as your name. Very quirky, do tell...

Wow, you're not snarky at all, are ya bud?

But, uh yeah I do believe that, even for me. I don't expect my identity to remain private. Someone just needs a lawyer to sue "John Doe" known as "bb88" and get my IP address from ycombinator.com.

> Yes, I read your argument in the other post that they may have committed some crime.

Apparently, not carefully enough. It's not that "may have", it's that they "might".

E.g. Many states like having concealed gun owners register with the state. Again, not because they "may have" committed a crime, but because they might.
Will probably hit $200 tomorrow
What's the new interface to the framebuffer? As someone who's actually used /dev/fb (on Android devices), it's pretty damn easy, which makes it a great baseline for getting some graphics on the screen.
OBike has been a shocking failure in Australia. Not necessarily from a business perspective, but from an environmental one.

Because they aren't physically locked onto anything, it has become a game to see what stupid place you can put an OBike. Recently they fished a couple of dozen out of the Yarra River. People think it's amusing to just abuse them. Half of them have the wheel lock broken off them, so they're free to ride.

I think it's an Australian culture thing, there is a lack of respect for property. OBike seems to work a lot better in Singapore, where people have respect for property.
IANAL, but I'm pretty sure I can make fake followers continue to be active, unless "active" is defined very carefully...
> thirdly fair use is US-only.

That seems fine. In the interest of their userbase, companies should aim for the least copyright-damaged user experience possible; this means picking a single country (ideally one with liberal copyright law) and ignoring copyright law in other countries they aren’t based out of. If countries want to force their censorship standards, they can at least be honest about it and block the website (rather than silently deflecting the responsibility of censorship to the website itself).
Once the infrastructure is in place to automate healthcare delivery they can lobby the government to implement a single payer solution and they will be the only service provider available to deliver the necessary services. It's a virtual gold mine.

You heard it here first: death panels as a service.

Triage by algorithm would remove one of the most disturbing responsibilities in medicine.
> We went from being able to get a web app up and running with an HTML file and a single JS file

That still works, though.
Fair enough, I edited the comment I posted there to take out the sarcasm and just kept the note on how to make the page readable. OK now?
> It seems like something the more extreme conservatives in the US would have cooked up.

It sounds more like something the US did cook up back in the 90s; the Communications Decency Act in 1996 and then after the relevant part of that was struck down the Child Online Protection Act in 1998; similar age verification was widely adopted by adult sites in the US to avoid liability under these acts, in the brief time they were in force. Usually, credit card verification was used.
If anyone from Strava is watching this thread - is there any way to delete a user's information from these heat maps? I ask, because I'm not seeing anything in any of the suggested links. If so, how can I request my own records be completely deleted?
You are apparently not imaginative enough :)
Note that it includes indirect injury as well.

The most obvious one is that you could could spend money on her as an advertiser, over someone else.

But people are crazy. There are super-weird fact patterns in fraud cases out there.
That seems sort of like a bad idea. I'm imagining trying to solve the coin-weighing puzzle of Spellbreaker or the endgame of Spider and Web while driving, and even with a voice assistant, it ends up like this:

Lake (sitting inside the car)
You are floating on the surface of a beautiful lake.
Someone has foolishly driven an automobile into it.

> CAR, CALL 911
The voice assistant cheerfully burbles, "You shout
'911', but the interrogator is unimpressed by your
outburst." The floor upholstery is becoming
distressingly damp.

> CAR, QUIT GAME
The voice assistant cheerfully burbles, "Autosaving...
Exiting GrueFrotz..." Cold water has risen to your
ankles.

> CAR, CALL 911
The voice assistant cheerfully burbles, "Contacting
Emergency Services!" Lake water creeps up to your
calves.
Immediately stop using 56, downgrade to the LTS or upgrade to 57. 56 is not secure and there are a bunch of vulnerabilities in it.

Offtopic: I get the feeling a fair few HN readers don't keep their browsers up to date for whatever reason. It's troubling, seeing as this is a very technical and presumably security-conscious audience.
I wouldn't get worked up about things being 'limited' when virtually all race cars are limited in some form. F1 has fuel flow restrictions and rev restrictions (which can't be reached due to the fuel flow requirement). Nascar has restrictor plates. LMP2 and 3 both have displacement restrictions. Indycar has rev restrictions.

Unlimited racing basically becomes a bloodbath and a contest of who has the most money (which is a problem that F1 still has). Yes, fan boost is a gimmick, but don't get too upset about the purity of 'artificially crippled' racing.
Just look at his profile (a click away). He is the founder of Skymind.
I’m more used to bits than sets, so it worked for me. People have different backgrounds.
A great game, a programming language, and the 49th most common word in the English language walk into a bar...
They're not in the same performance class. A Crystalwell Iris Pro 580 (and the 2500U) are slightly slower than a GTX 750 non-Ti. The new Intel APU is going to be ballpark RX 570 performance - or something like a 1060 3 GB on the NVIDIA side. About 4x the performance - which is absolutely necessary for the sorts of applications Hades Canyon is aimed at, like VR.

http://gpu.userbenchmark.com/Compare/Intel-Iris-Pro-580-Mobi...

http://gpu.userbenchmark.com/Compare/Intel-Iris-Pro-580-Mobi...

http://gpu.userbenchmark.com/Compare/AMD-RX-570-vs-AMD-Radeo...

Having a discrete graphics die, and especially having access to HBM2, makes a huge difference in performance. There isn't much you can do with 30 GB/s of bandwidth to share between CPU and GPU. Having Crystal Well L4 cache is a huge boost but it's still a halfassed fix compared to having proper VRAM available.

Of course, it's also a vastly more expensive part as well. Just the CPU+GPU package is more expensive than some of the 2500U laptops.

Presumably Intel is aiming for something more like Vega M GH with Jupiter Sound/Arctic Sound - it makes little sense to design a low-end discrete part with no room for future performance growth.
> Usually, credit card verification was used

How convenient. That doesn't prove age at all. In fact, as a kid I'd steal my parent's credit card, but now that I'm an adult I don't own one.

Go figure.
> Why would someone's number of followers be a "material fact"?

People buying followers are often competing for commercial opportunities for which social media influence is a key factor in what they are selling to the prospective buyer.
The problem doesn't begin, nor end at identifying military bases. There's a much a larger problem going on here where individuals' privacy is being waved around for what amounts to PR.
Thanks for including that. I had forget about that the act. My point still follows, power structures will always write laws that favor them over others.
I didn’t see anyone else mention this, but to me it is a problem of facebook’s own making. They drove personal content off the site when they pushed videos and pictures by “viral marketing” firms onto it. They replaced groups (inherently personal) with pages, then scrambled to try and bring groups back years later. They turned the wall to spam from various garbage apps that were given permission to crap all over it by default interspersed with ads and machine-generated content (“a picture of you from three years ago”).

In their zeal to gain IM users, they replaced messages with chat, removing the inhibition that kept people from using messages for one liners. Then they made you always online, supplanting Facebook itself entirely with something that could be replaced by any other real-time communication app. Once phones became nicer to use and there were alternatives to the lag and limitations of SMS, people had no reason to log into Facebook to chat with their friends because Facebook has trained non-IMers to IM and they no longer needed Facebook to do it.

Users would have killed for high-resolution photos (Facebook would make pictures so tiny and so low resolution that they’d become unrecognizable and all talent that went into composing them or editing them would be lost, and they couldn’t contain text or captions because that would be compressed away) or the ability to create albums. A dozen apps existed to shoehorn that functionality in via the Flickr api. Then they had to go buy Instagram to win those users back.

Now people just post major life events to share with people they didn’t bother communicating them to via another, more personal means of communication once a year or so.
From the same government that initially talked about removing Internet end to end encryption.
I don't think the danger is in the presence or even size of the base, because as you say other governments are probably already aware of most of them, and you can get a sense of the activity level through simple direct surveillance anyway.

The big threat I see here is the names. Want to infiltrate a base? Get the name of someone who has access to the areas you want, find them on Facebook, get pictures of their family and children, learn about their habits, and <creativity>use that information</creativity> and now you've infiltrated the base.
It wasn't that long ago that they had a censorship office that prevented import of pornography based on various criteria.
imho the current web is broken.. it has become entirely dominated by monopolists, which will only grow larger.. more dominating

we need:
- The Decentralized Web (as it was originally envisioned)
- Users in full control of their own data
- Privacy-first approaches only
- Stricter regulation (though tough to implement well)
How long before someone makes a chrome plugin that enters a random Brit's information each time?
The first thing, certainly on Android, is to forget the idea that there is one framebuffer ;)

The current interface is DRM (drivers/gpu/drm) and there specifically, atomic modesetting:

https://lwn.net/Articles/653071/
They don't have to do it anywhere else, so they'll only do it in the UK.

This is completely retarded. I'm not from the UK so it's fine, but do they really get paid to dream up this nonsense?
Facebook’s New Policy Bans All Ads Promoting Cryptocurrencies
You misunderstand. The point is that "philosophy improves critical reasoning" is an empirical statement and hence requires empirical evidence. That doesn't mean philosophical discussions themselves must be empirical in nature. But when they refer to evidence, they do.
Companies as Verbs
> How convenient. That doesn't prove age at all.

That criticism was noted in a number of media outlets at the time; it probably would have eventually become a legal issue had the laws not been struck down, rendering it moot.
I'm curious which OS you're using. On Windows, it looks pretty much equally bad to my eyes in Chrome, Firefox, and Edge.
There's a draft to cover server to server:
https://tools.ietf.org/html/draft-ietf-uta-mta-sts-14