jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
The previous version of the article (https://www.timmons.dev/posts/static-executables-with-sbcl.h...) explains a few contexts where static binaries are desirable.
I think that you will greatly appreciate the desktop distribution helloSystem : https://hellosystem.github.io/docs/index.html. From their own documentation : "[.…] desktop system for creators with a focus on simplicity, elegance, and usability. Its design follows the “Less, but better” philosophy. It is intended as a system for “mere mortals”, welcoming to switchers from the Mac. FreeBSD is used as the core operating system."

If you prefer a video walk-through: https://youtu.be/MomHU2tP8fU
As a user of both services for years, the only point on which they are similar was/is that they both offer shared cheap VMs (as do lots of other services).

Presenting early DO as a ripoff of linode is frankly absurd, the UI, user experience, API, Load balancing, backups, and docs were all vastly superior to Linode, and it honestly felt like the copying was more the other way round as Linode tried to catch up with their UI.
Unions are so unpopular even with people that in theory support unions. Look at the normal, non in power, peoples response to unions at any mid/large tech company.
Really enjoyable content. I also like this tutorials on pseudo-3d raycasting: http://lodev.org/cgtutor/raycasting.html

A few years ago I used this tutorials to hack together a little raycaster is JS: http://jsfiddle.net/htyvrjaa/
The general problem with these kinds of proposed solutions is the unlikely requirement that every single civilization out there would follow such a path (i.e. everyone switches from radio, everyone collapses, everyone goes to VR, etc).
FWIW, if you’re using 75+ connections, it’s probably a good idea to add some kind of Postgres proxy in the middle like pgbouncer. Postgres doesn’t handle lots of connections well because each connection forks off its own full OS process, and the performance can degrade noticeably when you have too many connections to Postgres as a result.

That’s been my experience, at least.
The HFS+ problems would not be related to VirtualBox. VirtualBox gets a bad press from the Linux kernel mods too.

Apple introduced a new virtualisation framework in Yosemite, hence the rereleases of the most widely used virtualization items (Parallels and Fusion).
No no no no no.

The author is making it easy for himself with a contrived example with a key information already available.

> I want to call my Uncle Steve in Melbourne. What time is it there?

In a world with timezones, if your uncle is on the Internet and says "call me at 13h30" but doesn't tell you where he is, you can't call him, because you dont't know when is 13h30. (Think about that... he just gave you the time, but you still don't know the time...)

With timezones, you can't just give the time, you must also give a location. "Time" doesn't exist with timezones, only "time-location".

It's as if a physicist couldn't give you the mass of something without giving you the color.

"This table is 10kg-blue, which is the equivalent of 20kg-pink." (Because kg-colors aren't equal everywhere.)

On the other hand, with a universal time (UTC for example), 13h30 is the same for everyone, everywhere. The time can be given without any other information. If someone says call me at this number at 13h30, I can just do that without having to know where he is.

Let's look back at the initial problem:
> I want to call my Uncle Steve in Melbourne. What time is it there?
Well, if I have a universal time, it's very easy: it's the same time as where I am!
I don't even need to ask google! Beat ya!

But of course the author want to know if he can call someone out-of-the-blue by knowing where he is. Well, if you can use google to tell you what is the time in another timezone, you can use google to tell you what is the usual waking hour in this location. You don't need additional information in this example.

With universal time, the worst case scenario is needing the same amount of information as we do today (current time + location). The best case scenario is having a sane way of communicating time.
Don't use Google search?
I'm not a Linux user because it does cost me nothing. I even have a couple of unused Win Pro licences around here. I'm a Linux user because I like my private freedom.
Indeed. I suppose that there is a blackmail risk: their stake could be made worthless unless Naspers has Prosus have the Stack Exchange people ban Tor, but I rather doubt this happened.
I can sort of see why Jazz on a Summer's Day is missing, but it's a shame since it defined the style of almost every festival film that followed.
I didn't see any bricks in this build. Plenty of Technic beams, though. :)
"But you gotta get outside the bubble to really see it."

Actually, it's sufficient just to not be liberal, and to a lesser extent, be neither liberal nor conservative. (But the liberal machine is much better oiled and more generally competent, moaning about Fox News notwithstanding.) It's hard to see propaganda that you currently agree with. (I do not exclude myself from that general statement, it's just that what I find harder to see is quite different than what the general US news is currently propagating.)

But I'd also observe that even standing outside the mainstream of US political propaganda, I'm not convinced there's necessarily a cabal of insiders sitting around in their smoke filled rooms figuring out how to "keep the masses in line". I think instead you've got people figuring out how to push their agendas, often in groups, and through a process of natural selection on the agendas in question you end up with agendas that tend to satisfy people to some extent and "keep them in line". You need not "conspire" to push fairly popular ideologies on people, you need only let the adherents of those ideologies do the things they naturally will do anyhow.

Edit: Look, downvoters, you might not like to hear it, but the US propaganda machine is liberal, or at least, Democratic (if you are more liberal than the Democrats and consider them "conservative"). Look at the political affiliations of the media, Hollywood, the bureaucratic apparatus, the University and academic system, and to believe that the propaganda system isn't Democratic is to believe that all of these things are peopled by 90%+ Democrats yet somehow transcend their political orientation to push... what, exactly? It's not even close... it's not like it's 60-40, it's 90%+ plus on every survey ever taken of those groups in recent times. Note my claim here is an objectively verifiable fact, not merely an abstract partisan snipe job. Ask yourself, what else would they be pushing?

If you don't see this, well... it's probably because you're not seeing the Democratic propaganda as propaganda, leaving you seeing only what gets through that isn't.

Further edit: Would someone care to post and explain the social mechanisms whereby the media et al is populated by Democrats yet is pushing some other form of propaganda on us all the time? Evidence would suggest it will get you highly upvoted. (Personally I'd suggest the fact that people just downvote but aren't posting suggests that this is either not possible, or very hard. This probably means something.)
Yes, that is too hard for me to accept. I've talked to many people who were younger than Manning who were well aware of the immorality of the war in general and things like Abu Ghraib and torture in particular. My view is that you should think about issues of this sort before you join the military.
Yes, essentially. An attempt at.
Replace Japan with Europe, same shit.
>"all jobs are sales jobs."

some jobs... more than others. If an employer can find a programmer or sysadmin who can't get a job elsewhere because of poor sales skills, well, it sounds like they could either pay less or get someone with better technical skills than they could otherwise.

(That and my personal feeling? the guys who are 'always selling' are hard to deal with. I can handle maybe one day a week, if that, dealing with those folks.)

Seriously. Not everyone needs to be the team lead. The kid in the corner who is really good technically, who solves technical problems has a lot of value even if his or her social skills are poor.

I mean, sure, they'd be /more/ valuable with social skills, too... My whole point is that you can't get the perfect candidate. Quite often it makes sense to take a hit on social skills if it gets you someone who is better technically. (and sometimes the converse makes sense, too.)

I'm just saying, there is a place in the workplace for the introverts who don't interview or argue well. As an employer, if you only hire technical people who can get dates, well, you are limiting yourself.
So after skimming this, it looks like they spend pretty much the whole 34 pages saying "the economy is bad and it isn't getting better." Fine, but I'm not sure that implies disaster. Aren't the typical solutions for massive debt either a) default or b) inflation? Since Britain has its own currency, it can just inflate away its debt if worst comes to worst. I didn't see any place where they even considered this possibility.

On an unrelated note, I'm pretty impressed with how well Firefox's new PDF engine renders this large PDF. It's a bit slow, but not bad.
The "run multiple containers on top of an EC2 instance" is interesting because it is a way of exposing a unified interface for EC2, your local VM, and bare hardware. In practice you'd presumably want to pick instance sizes suitable for your app instead, and keep the number of containers per EC2 vm minimal.

Personally, if I get time, I'm tempted to try to PXE boot CoreOS. Even better if I can do it from Ubuntu's "MAAS", as MAAS supports IPMI for powering servers up/down, and remote control management.

MAAS or another hardware provisioning layer + CoreOS + Docker starts to become very interesting.
I'm actually kind of curious, are you okay with nuking cities in the future?

My point here was never that other war atrocities are somehow good. It's just my belief that intentionally killing unarmed civilians is murder, in a moral sense, irrespective of circumstance or nationality. If you must take out a military target and there are civilian casualties, then so be it, provided you did your best to minimize them. However, sprinkling some leaflets before dropping an atomic bomb is not doing your best to minimize casualties.

If a display of nuclear power as a deterrent was truly required to end the war, and it may well have been, I can think of numerous less deadly steps that could have been taken first. An aggressive warning strategy that comes to mind would be bombing the remote and relatively unpopulated mountainous regions of Japan.
That's not even medium data. Most people probably would be surprised to find out that their data could be stored and processed on an iPhone, and that using heavier duty tools isn't necessary or worthwhile.
No. Subresource Integrity Hashing allows an HTTPS site to use the trusted channel that TLS provides to verify the content of external resources it includes, even if those external resources are delivered over HTTP. There still has to be an HTTPS site to provide a root of trust.

For example, example.com (delivered over HTTPS) could use jquery, and include in the page it delivers to you both the URL and a hash of the jquery scripts; you could then fetch those scripts over untrusted channels or from untrusted servers, and be sure that they are the ones that the administrators of example.com intended to reference. If example.com were not using HTTPS at all, then they could just be the resources that the Man In The Middle of your channel to example.com intended you to see.
I completely disagree with the argument here.

The class isn't a class to teach graphics or to teach how to make android games or how to put something on a phone. Beginning computer science classes explicitly should not be about those sorts of things.

Beginning computer science classes should explicitly be about what a program is, what a function is, abstractions, and so on. Not "what does code look like". Not "how do I make a hello world program". No, what a program is. Lambda calculus or a context sensitive grammar and lexer or what have you. If you look at SICP, it got it 100% right there.

Now, you say, he said programming, not computer science, and your argument presumes computer science. Even so, python and javascript are terrible language for beginners if we ever want to see our craft improve. If someone wants to be a good programmer, they should be able to understand the full implications of having a proper type system, what memory safety and management is, how functions work, and so on. They should be exposed to haskell, lisp, rust, or the like.

If we teach a beginning programmer to use C or Python or Javascript, we're simply teaching a new generation that memory leaks and buffer overflows are not a solved problem. That our languages are so poorly designed you have to constantly check if your type is what you think it is. That resource ownership is not a solved problem. That functions are weak and uncomposable. By God, you're withholding the true beauty of programming from them and showing them some mockery.

If your students find the idea of having a webpage or a game that they produced more appealing than delving into resource allocation issues and understanding what a type system is doing then they shouldn't be told they're professional programmers, they should be hobbyists coders. I'm all for people writing toys like games or webpages in unsafe languages that have learnt little from the last 50 years of CS research... coding but not programming. That's great. I'm not all for these same people being taught that they should be writing security software, banking software, and doing this stuff professionally when they have no clue what referential transparency is.

Truly, one of the reasons professionally developed software is rife with issues is that we don't teach programming or computer science in our computer science course; we teach some coding and software development and never even let them know what true programming is until the theory of computation course in senior year.
Well can you find any such cases amongst the released 130,000 pages and link to them? It would really help your case.
That isn't true.

A fetal calf is meat. But it does not require ritual slaughter - the slaughter of the mother is considered sufficient. (This rule actually has implications for the abortion debate.)

You have it reversed.

If you find milk inside the udder of the cow after slaughter that milk is considered meat, not milk. However it's prohibited rabbinically because it looks like milk and can lead to confusion.
Hey, creator of DevPort here. I got the idea from hanging around Hackathon Hackers Facebook group, where I saw many members ask "where do I host my developer portfolio?" Ask me anything or tweet at @devportco.
Just a typo but good catch though :)
Ok. But if you just introduce an symbol with type NatInd, everything works fine?
Calling those "car crashes" is a misleading title.

IMO these videos don't go far enough. Someone watching these close-calls won't see the actual devastation that distracted driving can produce.

The Aussies and Kiwis put out much more effective PSAs. Probably a little too harsh for American stomachs. (Warning: These are very graphic)

https://www.youtube.com/playlist?list=PLA0553820DE1F6611

http://www.ryot.org/video-safe-driving-psa-will-give-chills-...
> Apple treats you like cattle, because you are in effect a cow to them... there are thousands of people like you!

And how is that okay?
You've listed exchanges, but Coinbase is much more than just an exchange. They are also a broker, as well as bank (provision of loans), custody-provider, etc.

here are some brokers...

Charles Schwab (SCHW): $119.81bn

Interactive Brokers (IBKR): $32.47bn
> Also, big up for the 3:2 screen.

Amen. Any chance I can buy one for my desktop?
One of the repair challenges is access to old parts. The drain hose on our three year-old washer sprung a leak. When I called a repair man, he at first said that Samsung doesn't make that part anymore. Fortunately, he was mistaken, but if that's something that happens for a simple hose, imagine trying to replace the "high-end headphone amp" expansion card on this laptop five years from now.

Even if I'm not too excited about the proprietary expansion card system, which will last as long as the founders' attention spans, if it gives access to standard memory and storage, that's an improvement over the current trend.
Cool! I remember seeing a pg TOTP implementation in this gist[1] before. Seems this extension was based off that?

[1]: https://gist.github.com/bwbroersma/676d0de32263ed554584ab132...
This is a really dangerous way to create more Bitcoin. If the credit markets freeze, then the entire system collapses.
edlin

Why fix what ain't broke? /s
The problem:
Writing forms for web apps is a pretty common task that can be repetitive and boring. Most of us would rather spend that precious time on the business logic of our apps. While some existing tools help minimize the time and energy spent writing forms, we wanted to make it even easier.

Our solution:
periqles is a lightweight component library designed for Apollo & Relay. It introspects your project’s GraphQL schema, intelligently intuits the kinds of input tags needed to make a form based on a given mutation and then generates React components for each field on the form.
periqles allows as much or as little customization as you like. It takes care of its own state management and UI — with override switches built in for developers who want more control over the form’s appearance or behavior.

Get started today:
https://www.npmjs.com/package/periqles
Do we have any examples of proofs that are "unsuited to human mental processes," except by being long and tedious?
Can we edit this to have the correct name and remove typos?

Impact.js HTML5 Game Engine is out
Nobody's gonna let it download 600 MB more over that same 3G connection on first launch. People would just be even more disappointed.
my clickable site: http://nameego.com/
my hopeful screenshot target: http://rubyweekly.com/
Without knowing what the product is it's hard to tell. Typographically the first seems better but it's marginal.

I can gleam that it might be something to do with communication as the Q looks like a speech bubble but it also looks like a penguin looking down (centre hole of the Q is it's eye).

In general I would say they look garish and amateurish.

Having said that, they are fine, get on with making the product, I'm sure you've got more important things to cover.
What tragic thought! While his path may not be laced with such obvious success as Kevin Smith, the whole point of the tweet is that all it requires is passion and a willingness to follow it. Surely anyone is capable of that.
The boy who cries wolf at 10Hz.
Thank you for the feedback! I'll update our website now to include that info!
The first third is a pretty standard introduction: minimize number of files, yadda yadda.

The second third talks about how JS/CSS dependency resolution is handled using metadata included in the files themselves.

Then it explains a client-side library used for enabling dependency behavior on the frontend, including dynamic loading of files as-needed.
I'm not interested in how many of them there are, I'm interested in what they show. And from what I've seen of those galleries, a number of these supposed scanner images show people who aren't in the scanner.

If you can explain to me how that's possible with any of the current porno scanner technologies, you've got a case. (In particular, you'll need to explain why the "scanner images" show people from the same angle and perspective as the photos that accompany them.) Otherwise, I stand by my claim: whether it's one picture or a hundred, they're faked.
Well, the contradictory argument can be made as well: If you're a start-up, and your early adopters get annoyed because someone made sure Firesheep works with your web site, and they're all getting pranked, they're going to decide they won't bother.

OTOH, I am writing this comment on an open wireless router.

On the gripping hand, nothing I put here is private, and if someone "pranks" me, I can just login again and delete offensive content. Karma isn't actually money...
Just got this for my younger brother in September. Good book, though like with most younger brothers it still requires prodding to get him into it.
I meant that too. It's like having to learn how to fight entirely from scratch again.
To provide another data point: I had essentially the same experience at Boston Logan airport a week ago. When I said I would prefer not to go through the scanner, the TSA agent said into her radio "I have a male opt-out." I was calm and respectful, so were the TSA agents, nobody was particularly happy about the process, but everyone was professional about it. It did take perhaps an extra 5 minutes, and I was a little concerned about my luggage being out of sight during that time.

This was after the most recent initial flurry of bad publicity, so perhaps word came down to skip the yelling.
A southpaw is more than twice as likely to win a fight (or at least 1/2 as likely to lose based on the stats), perhaps it would be better to learn to fight southpaw than learn to fight a southpaw.

I was looking for the stats earlier, sorry I didn't post them. Here's the abstract on it: http://bjsportmed.com/content/43/2/142.abstract

> Results: Left-handed boxers had been involved in 75–800 fights (mean 120.6), with 5–79 lost (mean 19.32). A similar evaluation was made for the right-handed boxers. The right-handed boxers had been involved in 50–820 fights (mean 127. 8), with 23–78 lost (mean 42.25). Left-handed boxers were found to be more successful than right-handed ones. The difference between them was found to be significant (p<0.01).
Penn came out OK, but it seems like Penn he had a few good breaks. The guy in San Diego didn't fare so well, possibly because he threatened to call the cops if he was groped. Penn was groped, and then he called the cops. While I don't think that we're going to see consistent cause-and-effect from the entire TSA workforce, these cases are definitely useful in finding out how to react.

I've also been wondering about civil suits. Maybe that approach will be tried soon. It does seem like the number of incidents (or incidents becoming known) is increasing.
"Currently the rom is about 120 bytes free, so I'm trying to add other things."

It's so easy to love old-school programming. (For comparison, my comment here is 178 characters.)
Discussed here: https://news.ycombinator.com/item?id=9291517