skysight-inc/HackerNews huggingface dataset:
Only composed contracts which stood unexploited for longer amounts of time should have a lot of money involved.

I'm not saying that there will not be flaws, but this dynamic where there is an incentive to exploit the contracts (be it composed or not) makes contracts which stood longer more interesting.
Indeed. I am looking forward to IPFS being more widely deployed. I'd even volunteer if I had the time... :(
Mozilla mandates that you call it anything you like, but not "Firefox"
The churn is fairly low in screen and there's nothing wrong with that, just like xterm doesn't see huge changes but periodic releases with whatever changed.

Timed releases of screen might be a good idea.
"The amount of hoops you have to jump through to get birth control is ridiculous."

What country is this? In Aus, this is a medical/GP issue and birth control pharmaceuticals are available at the chemist via a script.
...I guess they've curated a set of good-looking and sometimes-not-completely-dressed camera users whom they view more often than the rest of their customers.
Today I pulled into a turn lane and stopped alongside the car ahead of me to let them know their brake lights were out. Had to honk incessantly to get their attention. Then I waited in the wrong lane (no one behind me) to pull back into my original lane to go straight through the light.

Probably would get a demerit from an AI for that maneuver.
Eh. I wasn't around, so I wouldn't know. Although nowadays, you can still kind of see this problem, as your character abruptly turns to where you were looking a second ago.

Also, AFAIK, QW doesn't simulate enemies or rockets clientside, so not seeing an enemy fire a rocket and having it kill you would happen the same way in NetQuake (quake's original network protocol). Of course, I haven't seen the code...
Is this a known and reported bug? Can I encourage you to report it on the mailing list? The current maintainers are receptive to feedback and relatively quick with patches.
Not to mention punishment isn't handed out unless you are an infamous jackass like what happens on 14.313, or if you are a serious repeat offender. It really isn't the motivator; it's honor.
Any ideas on how it knows where you "are" on the keyboard? I.e. How does it know you're pressing the "W" key?
Or look at the javapackager tool that comes with JDK8.
It only supports a subset of ALTER TABLE and the work around for the limitations is very annoying: https://www.sqlite.org/lang_altertable.html
6809/6309 is an awesome processor. But Z80s and 6502s are still being made. And 20mhz range clock speeds. A 6809 or 6309 tops out at under 5mhz and you'll be getting your old chips off ebay, etc.
Well, then, I'm in the clear. I guess I kind of have to do it now... we shall see...
Unfortunately you are correct. However there are many people who aren't OK with this status quo and a good percentage of them are actively working on trying to change it. There are MANY projects that aim to create an universal IoT platform out of Raspberry Pi-s and although this is 1000x times behind building a fully competitive i7 CPU non-proprietary alternative, it's still a good start.

The corporations are shamelessly playing the "they cannot live without our products" but this is already turning on them. It might not be in our lifetimes but I believe that the people in general are slowly but surely becoming aware that in fact they _can_ live without corporate / proprietary products.

At least that's what I hope for.
Offtopic, but does anyone know of a way to ensure I don't introduce non-ASCII filenames, to ensure broad portability across systems? I've had to resort to disabling UTF-8 on Linux to achieve that.
My experience has been that the learning curve for Kotlin is extremely shallow if you're an experienced Java developer. This is not just my experience but also the experience of building a team that's working with Kotlin all day.

One reason the cost is low, is that there aren't really many tools specific to Kotlin (or any, really). You can use the same IDEs, the same build toolchains, the same libraries, even the same standard library as regular Java.
> You go to court to help recover your "money" -- aka bitcoins, because it was a fraudulent transaction.

I don't understand what this means. Courts don't only consider cases where you pay ordinary money for an exhcange of goods. Contracts exist for purely material exchanges, so I don't see "give me bitcoin for X" wouldn't count.
That is simply amazing write-up. I'd still not call it a high-assurance system given some things missing. Yet, the amount of rigor in the testing phase could easily be the baseline for that niche in that it exceeds about anything I've seen. There's basically so little I could suggest on code or testing side that I'm not going to even bother here given how marginal it would be due to effort already put in. Just too well-done for mere speculations.

I also noted that the assert section essentially does Design-by-Contract. This is a subset of formal specification that's prime value is in preventing interface errors (vast majority in big apps) and supporting formal verification. Done in design/spec phase in high-assurance since both Edsger Dijkstra and Margaret Hamilton independently discovered technique's value. Done at language-level since Eiffel due to Bertrand Meyer. Good to see that, even if not all techniques, they're doing the 80/20 rule to get most benefit out of what formal specs they're using. Also allow you to easily enable run-time checks if you can accept performance hit. Nice.
Likewise, I wish JS had just changed the internal representation of strings to UTF8, and accepted that some older code might break instead of adding in the new string/regex bits. It would have made far more code simple start working with large/multibyte/international characters than it ever would have broken.
How exactly would my lack of privacy weaken anyone else's privacy? Is this just a generic slippery-slope argument? What is the causal mechanism that would cause my lack of privacy to effect anyone else's?
Planned Parenthood is often used by women who are not regularly visiting a GP.
> Google built its business and its current $500+ billion status on stealing other websites' content and storing it on their servers.

Dont forget the stolen bandwidth with adverts and spiders.
10 Awesome Leadership Qualities to Adopt
Sure, the culture is a strong component, but that's how most rules work. You have strong social pressure, such that the majority of people don't even consider breaking the rules, and then you have enforcement to dissuade the few remaining bad actors. Neither alone is sufficient.
I read an article about search engines using autocomplete keystroke timing for user fingerprinting, but can't find it at the moment. Wikipedia has a few references, https://en.m.wikipedia.org/wiki/Keystroke_dynamics
AFAIK the building code requires all residential buildings to be built with solar power heaters, they are usually augmented by either an electrical heating element within the heater itself or by a secondary gas/fuel oil heater.

These heaters have been used since the 50's it's nothing more than a few pipes running through a sheet metal frame with a glass cover to force a greenhouse effect they are highly effective and extremely cheap to produce those panels cost near nothing and were implemented very early on when Israel had very little access to overseas fuel sources.

Israel didn't had access to regional oil until the the Iranian coup in 1953, it lost its access to Iranian oil in 1979 with the Iranian revolution, however the same year Israel and Egypt signed the camp david accords and Egypt started supplying Israel with Oil starting January of 1980.

Ironically the Iranian revolution quite likely had quite a positive effect on Israel as it quite likely pushed them to finalize the negotiations with Egypt and to sign an agreement as fast as possible in order regain some access to a regional oil source.
The Ford lobbyists are a principle-agent problem on many levels, but of course all of corporate America is.

When a supplier loses two customers while all its other customers order more parts than before, there might be some costs associated with adjusting to the new circumstances, but it won't go out of business.
Authentication with Hash Chains in C
Re-posting a link to the key part of Tim Berners-Lee's talk at the summit:

https://www.youtube.com/watch?v=Yth7O6yeZRE&t=4395
> sometimes I feel like I am by my self on privacy and freedom issues. Very few of my non-tech friends & family get why I think government and corporate encroachment on privacy and freedom is an issue

Privacy and Freedom are values. The web (along with Facebook et.al.) is a product.

I once read that Steve Jobs told Drew Houston that file sync was "a feature not a product". Obvi SJ was wrong but it's an interesting distinction to make.

The WWW as Tim designed it solved a problem it turns out many people have. Most people don't perceive a privacy and freedom problem though. The can say what they want online and most of us haven't felt tangible effects from a loss of privacy. Perception is reality after all.

What I want to know is what is the next revolutionary WWW like Internet product that solves a pain many people feel? After the WWW what hidden pain is there that might bring about innovation in the truest sense?
I'm not sure if it's working correctly. Clicking "Do it!" seems to create a new black square (presumably a task), but changing the weight percentage doesn't seem to have any affect on the order. I'm a bit confused.
Cybersecurity is the Department of Defense's job. Guess where they're based out of? The Pentagon.
The free version could just be the word "Ubuntu" in a different language. :)
I never really used screen, because all I really want is dtach.
The encryption we currently use doesn't have the types of back doors you describe. Knowing that, how could he claim that they are "theoretical".
Single user, embedded-database situations is what DBMS like SQLite is designed for.

And this guy thinks he deserves a pat on the back for using a tool in the way it was designed to be used?
question: say it is ascertained that 80% of the value of the DAO was tightly held by a small number of people all worth > 1m USD, then have those people signed away their due diligence through the explicit primacy of the code as per the DAO's terms?

question 2: those worth less than 1m USD -> who do they sue? The "thieves" who were acting according to the terms and conditions? Or the DAO itself?
Beet is an awesome program, you should really check it out if you still are among the minority of people who actually have a music collection and don't rent access from spotify/itunes/etc.

I'm glad to see this post; one of the reasons that I like beet so much is that everything is self-contained.
As an (evidently) old school lover of live music, I couldn't agree with this more. To the guy complaining that his phone is "his memory": maybe that's a sign of a problem rather than justification for your behaviour.

Live music is ephemeral. That's its nature and part of what makes live art of any form special: no one will ever duplicate your experience. Trying to reproduce it with some crappy cell phone recording is hopeless, so why waste time, while squandering that experience, by trying?

Add to that the fact that you're interfering with the enjoyment of fellow concertgoers (yes your cellphone screen is, in fact, bright and blocking my view), and I'm all for this.
It would be helpful to add a tour page with features and screenshots.

https://pinboard.in/tour/
Some additional web references.

I broke mine on assembly. This is how I went about fixing it.
https://feilipu.me/2016/06/08/rc2014-troubleshooting/

To reprogram the EEPROM, you need a programmer. This is one I use.
https://feilipu.me/2016/06/08/tl866_testing/
Their modifications to Ubuntu have caused me problems in the past, so I'm not really sympathetic.
Hackathon“ and competition do *not* attract women to tech programs (NCSU c4l16)
Based on this 4-minute review video linked earlier [1], it seems it's not actually a QWERTY keyboard, but rather a custom scheme where specific finger-movements correspond to specific letters.

They say the five vowels are the basic tap on each corresponding finger, and other letters are more complicated.

They show and mention an app that trains you how to use it; think Dance Dance Revolution and other timed 'arrow' games where you have to tap out the correct response.

I think it'd be better if it assumed homerow placement on a QWERTY and worked from there -- to be able to calibrate it to your hand, e.g. by typing a little bit on an actual keyboard to pick up the placement of your fingers for each letter. There's an app idea.

[1] https://www.youtube.com/watch?v=Pq3exdcbU7U
Sometimes I think I should change that paragraph because it too often gets interpreted as generically anti-academia, which then triggers people who think I'm anti-intellectual.

Note the very important part of that statement: It solves problems faced by working programmers today.

Academic PL research can have that property. Pizza went on to be the foundation of Java generics, there's a ton of excellent compiler and GC theory that comes from academic research and so on. And of course a few of the ideas in Haskell and others are leaking into the mainstream.

But when it comes to handling null pointer errors, sorry, it's insufficient to say "some languages popular in academia don't have null". So what? Working programmers today hardly use such languages. They very much rely on languages which do have nulls, and APIs which use them, and yet the only language that came out of academia in recent times which has serious production usage is Scala, which has ... nothing to say on the topic. Except, oh, an option type. Which can also be null, and which even C programmers can easily have. It's simply not comparable to language integrated support with backwards compatibility.

It would have been nice if academic research had identified up front the best set of usability tradeoffs for adding optionality into a backwards compatible language, but nobody did, so JetBrains had to do it themselves.
>then totally mechanical arbiters will handle most disputes once they're good enough.

It seems to me that any such arbiter would need to have the practical ability to interpret the human intent behind imprecise/incorrect language and author/fix code. I think that would be a major advance in computer science and the most important application would be writing software.
True, although I'd guess that the massive decrease in mortality in infants under 1 (who are still massively more likely to die than older children) is probably due to improved medical intervention.

For older children and teenagers it's probably better safety equipment, particularly in cars. I guess we've also got improved treatments now for the few diseases which actually do kill children, such as various cancers.

But hey, it's still good news, even if "healthier" isn't the way to describe it.
Recently I thought that it would be cool if I bought a bathroom scale that would sync with my iPhone so I could keep tabs on my exercise effects.

I bought a clever looking one and took it home and was dismayed to find out the only to get it to sync was to create a "cloud account" which would supposedly allow me to "check my progress from anywhere".

I returned that one to the store and bought another - same requirement: Cloud account needed to activate. Took that back. Decided it was easier to just type the number into my phone.

Its hard for me to understand how there are so many people oblivious / ok with the constant surveillance that goes on in their lives.
Right, there will be less common languages. The faded ones could be kept in the digital world by using special fonts.
My guess is that it might be like playing an instrument like the trumpet. Where instead of pressing different combinations of buttons to play different notes you do different combinations of taps to type letters. It says it comes along with a game to get you used to how it works.
The other advantage is `nethack` mode! `echo 'nethack on' >> ~/.screenrc`

Be careful! New screen tonight.
Man this is a really creep company. What do they imagine their business model really is? The warning thing is not a good business. Presumably they really want to sell this data to insurance companies.
They also need a large amount of storage space and to define how to handle retention (do I keep all footage for a week? etc).

Nest Aware charges $10–30/mo for this (https://store.nest.com/product/security/camera).
I'm sitting here about to watch game 7 of the NBA finals and am getting some kind of deja vu seeing this haha I had to do a double take.
When I checked last, Google API does not allow to identify specific faces. It can detect faces but that's it. Clarify or Microsoft do.
Pricing wise almost all are the same.
In my view, Watson is a complete no no..
>The point was not that events shouldn't be organized, more that they are occasional and other camera use are as important.

Which is wrong. Far more people take vacations photos, selfies, events (birthdays, out with friends), kids, pets and food shots, than shoot their receipts or use their camera as a magnifying glass (taking a picture and zooming in to read something).

And yet, he puts those outlier usages at 99% of camera use, saying that the regular selfie/vacation/kids/etc photos are "1% of photography. On which I call BS.
Show HN: Tapito. Mobile NFC payments for VISA cards you already own
32 bit apps still run on macOS
I didn't make that claim; why add that attitude to an otherwise pleasant conversation?

When disagreeing, please reply to the argument instead of calling names. E.g. "That is idiotic; 1 + 1 is 2, not 3" can be shortened to "1 + 1 is 2, not 3."

https://news.ycombinator.com/newsguidelines.html
Suggesting you add a server dependancy to your desktop app as a solution to a problem that isn't there is pretty braindead.
Given the price, I'd say this is more about entering a commercial agreement. Once they do that they can have influence on the custom version. To use that influence will, no doubt, cost money.
This was a useful and informative post.

Where on earth do you think the author is asking for a 'pat on the back' in this?
Simplication (caused by internationalization) and diversification (caused by localization) are two ends of a spectrum, but languages, both their spoken and written forms, have bounced between those ends throughout history. In a century or two, by the time simplification has succeeded on Earth, the settlers on Titan will rebel with their own graphical symbols for displaying language.
> This book is about programming in Curry, a general-purpose declarative programming language
that integrates functional with logic programming

Its interesting that Haskell Brooks Curry, a logician after whom this language has (presumably?) been named, has had a programming language named after all three parts of his name.

https://en.wikipedia.org/wiki/Haskell_Curry
So I've taken out my sperm production using the old heat methods. It works, I've checked.

Thanks for sharing your experiments, would love to know what heat method/protocol you used, and how you checked.

Thermal birth control looks like a good DIY and low-cost birth control method. DIY spermcount could help ease of adoption and autonomy.
Exactly.

Nobody cares even now what you did at "9:06 AM while waiting in line at the coffee bar" -- regardless of whether such photos get Likes or not.

But you, and others persons in the photos, might care.
A large network by definition cannot be air gapped.

I'm sure if you are able to design a network spanning the continental US, Hawaii, Alaska, US Territories, US bases around the globe, allowing both military personnel, civilian workers, contractors and suppliers to securely connect to it while being both economical on any order of magnitude close to the current cost and being effectively "air gapped" and secure the pentagon would award you a contract to build it in a heartbeat.

Until then let's all stop being literally arm chair generals and assume that while it surely has allot of room for improvement someone at the pentagon might just know what they are doing and they are doing the best as they can or fairly close to it considering all the constraints they have to operate against.
So it's not wrong to intentionally misgender people or erase their gender?
That's funny, they're really not.

According to your own documentation, you have a traditional centralised client-server architecture. (Albeit one with some bells and whistles.)
No. In that case they should demand OVH stops calling it Ubuntu. That would be the good thing to do. Stop people from damaging your brand. But asking money for allowing them to continue this? That just doesn't feel right.
They already thought of that. You would be able to freeze the item.
screen supports vertical splits for me, on Debian 8
You have a lower standard for anti-intellectualism than I do, I guess. From wiki:

> Anti-intellectualism is hostility towards and mistrust of intellect, intellectuals, and intellectual pursuits, usually expressed as the derision of education, philosophy, literature, art, and science, as impractical and contemptible. ... In public discourse, anti-intellectuals are usually perceived and publicly present themselves as champions of the common folk—populists against political elitism and academic elitism—proposing that the educated are a social class detached from the everyday concerns of the majority, and that they dominate political discourse and higher education.

The above sentence fails that test, it merely states its roots and goals can be different from academic pursuits. And it is mostly correct: at best academic work is focused on tomorrow, not today..and at worst it is focused on today but should be focused on tomorrow.
Yes, you're correct. Trouble is, the people who can make this run much faster in terms of adoption and being end-user-friendly, are senior devs and maintainers and have zilch amount of time for this. :(

The game is mostly rigged but some of us still find the time and motivation to try and apply some forced evolution. ;)
I think the problem is trying to teach 'a technology' if you want to teach someone to code treat it like math - teach algorithms. I'm talking about the basics Conditional statements, Iteration and Boolean logic.

Hell you don't even need a programming language - you could teach someone to code by drawing flow charts on a blackboard.

"if statements" and "For loops" those are the tools everything is built on. Want to teach someone to code start there not with a "Python tutorial".
How often do you get a receipt, and hope often do you go on trips?

Really it seems like the camera app should feed out new photos to other apps, like the receipt organizing app, to decide whether it's a relevant image or not, and act accordingly. Put the smarts in there downstream apps, not there cameras app...
“IP over Avian Carriers”
That might not be true for an enemy who has access to some of your other passwords already, but assuming it is I still don't see how the strategy above increases complexity. At best, the complexity remains the same.
Call it OVHbuntu and be done with it.
>No, I mean zero smearing with/without anti-aliasing and pixel-perfect versions of the font that fit exactly into the raster.

I feel like this is not an issue with hi-dpi displays anymore (plus sub-pixel antialiasing and other niceties).