skysight-inc/HackerNews huggingface dataset:
It is not nitpicking. Either a property is true or it not. This is exactly the point article author is making when resisting design pattern ambiguity.

If you cheat you will get invalid results sooner than later. Essentially bugs. Sometimes trivial, sometimes a billion dollar rocket explodes.

If you use math name but lie about it is even worse than if you don't use the concept at all.

For example a String despite what author says is not a Monoid in almost all languages as catenation (operation +) is not strictly associative. (Because memory allocation is different!) Yet he does this mistake...
https://github.com/redox-os/redox
Top Five Caching Engines for Web Apps
I think PolarSSL showed it can be done with reasonable effort and it is not a suicide.
A foreign species is waiting exactly for this to happen (cloaking ship behind the moon)... they will invade and destroy us. All because you imposed your path on us ;-)
When I manually disconnect from a network or a bluetooth device, I want it to stay off until I specifically ask it to reconnect.
Tell HN: Techonology is making politicians look stupid and they're angry
In an increasing number of ways, encryption, broadband,?others? Technology is making politicians look and feel stupid because they can't control the outcomes.

Politicians set Technology policies, and those policies fail hard.

Technology resists politics all on its own and that's not somegthing politicians like or understand.

Politicians depend on words, and manipulation of words, and retelling stories in ways that suit them.

Trouble is that encryption follows the laws of mathematics, and broadband speeds can't be talked up.

That makes politicians both look stupid and feel mad that they look stupid.

So the politicians will fight back, by atyacking the tech companies, who, in their feeble minds, they will blame for the realities of when tech meets talk.

Here the battle starts.
The short answer is that, yes, the only parser available to me is that strict. If I'm going to jump languages, I might as well go the whole hog and jump to Puppeteer.
Aren't the PUFA concerns worse with Olive Oil, which barely has Omega 3 and thus a high ratio of Omega 6 to Omega 3?

Or does the additional 15% to 20% of PUFAs in Canola just cross some tragic threshold?
> During this time, although my caloric intake has not varied enough to explain the results, I lost around 130 pounds in a year: the only change I made was removing foods that are on the list.

That is impossible. You're deluding yourself.
no you can't - or please step-by-step explain how you achieve this
Bradley Olsen: Designing polymers with novel features
I've been waiting for this! Very exciting!

Couple of things I'm seeing:

- The Markdown composer isn't working.

- I can't install plugins.
Can't recommend this game highly enough. It's still a work-in-progress, but it still has a lot of depth and is great fun to play. Steep learning curve, like most Rogue-likes, but really worth it.

It has a pretty active community on Reddit: https://www.reddit.com/r/cataclysmdda
As I said, long-press on non 3D touch devices opens the same box.
ISIS ‘Caliphate’ Fades but Social Media Empire Remains
Fyi... that Rust project doesn't actually cover the functionality of dnsmasq.

Dnsmasq also includes a DHCP server and the ability to read a blacklist to act as an ad blocker. In contrast, the "trust-dns" project is more of a replacement for the "bind" program instead of "dnsmasq".

If your intention was to only show that "non trivial Rust code exists", that's fine. However, some others might get the wrong impression that it's a Rust version of dnsmasq.
I don't know anything about Blow but a bully can actually be the one who suffers emotionally the most. It's sometimes worth listening to what they have to say. Key and Peele did an awesome skit on this:

https://youtu.be/CUvFeyGxaaU
LNAV: The Log File Navigator
Do you mean h-l? H-M-L are useful (top-middle-bottom of the window), but not to navigate words.

By the way J (join lines) and K (look up the current word) are also useful.
> C/C++ is used to write safe code for medical and aerospace applications every day.

Crack is smoked by humans every day. This is an Argumentum ad Populum (https://web.cn.edu/kwheeler/fallacies_list.html).

And I dispute the statement anyway; what is "safe" code without a guarantee of memory safety?
I believe the only way to defeat Ed209 is also through exploiting its faults.
NB: INSTANTLY PLAYING LOUD VIDEO
Well written! I’ve always cringed when I’ve read anything that Uncle Bob writes. It almost seems like his entire existence depends on the acceptance of unit testing, and the unjustified dismissal of tools, especially type systems, seems to me something a only a novice would do when evangelizing their favorite lang (we’ve all been there, right?...), until they get more experience with other methods and approaches.
Really like it so far, but there is one nitpick that is bugging the hell out of me.

I can't "snap" or maximise the window on Windows (Win7). Because I have a decent sized screen I often just maximise to half screen for most applications, but not having the standard resize tools is frustrating. Edit: This only happens if I have the Reading Pane enabled.

Running version 1.0.1-ba1d6734.

Is this something being worked on? Or just a bug hitting me? Or just not something other people have asked about?
I really like the fact that Amazon it's expanding its horizon so fast. I am really hoping for a global shipping service in the coming years.
It doesn't. It's not a buffer overflow issue.
Servo, Firefox, Redox-OS, libsvg, Linker-d, GNOME, Maidsafe, pieces of Fuchsia... it's a huge effort, but it's beginning to pick up steam. I'm certainly trying to play my part as well (still private, but will be OSS).
Hmm, not sure about that.

So many places have switched over to mixing and recording "in the box".

I think the 80's producer would be familiar with any outboard gear, as you say, but be completely flummoxed that the computer is King, and that so much is virtualised into DAW plugins. He/she would also be baffled by the idea of "unlimited audio tracks", for starters... I remember starting with a DOS-based sequencer called Voyetra in the 80's.
wkhtmltopdf is based on QTWebKit, which is truly a pain in the ass to work with. Way more bugs and much less support for modern CSS than Chromium.
Great question. There's and FAQ on that: https://www.rust-lang.org/en-US/faq.html#why-do-rust-program... - tl;dr is that it is by default but you can slim it down to the same size as a C executable if you need to.
Uber: The uncomfortable view from the driving seat
So disappointing. It's amazing that we can have a government claiming that innovation and a space agency will be our future when they just want to lie to us about the NBN and it's being a failed project. One of the largest and most important infrastructure projects in Australia that got gutted because Tony Abbott is a wanker. I really hope the LNP split and Tony joins Cory's conservatives. Telstra and the LNP have lost me forever because of this. I really believe that they have betrayed the country.
I don't know if this is still the case, but back when I grew up the answer was that it was made from live virus, so there was a (tiny) chance of getting the actual disease if you got it.

Therefore it was only given to populations already at risk of infection, e.g. nurses.
I'm always confused by the "safe language" evangelism. Reducing cognitive load is a Good Thing TM; I get that. But aren't we just trusting the Rust compiler and JVM to not have subtle bugs that introduce memory management errors into our programs?

Centralizing the memory management code to some well tested core---like the Rust compiler or some C lib---sounds to be the crux of wiring memory safe code, not the language.
Hm, making the name of a brand you intend to market worldwide something deeply offensive to a huge swath of the world is a pretty poor decision.

I'm not saying their hiring "should" be altered, but I do think were it more inclusive, this would have never flown. Maybe that speaks to the value a diverse team brings to an organization.
The pipes are only used to communicate higher-level IPC primitives. The real data exchange and processing is bidirectional. This is why it is possible for the last client in the chain to provide the inputs that control the game that was being run by the first client in the chain. There is also audio.

The part that I found cool is that the possible data sources aren't just videos, it's emulators, virtual machines, terminals, and so on.

"the example here only works with a single pipe-and-filter chain, but there is nothing preventing arbitrary, even dynamic, graphs to be created."

(and AWK is a DSL for streaming text processing - it's from the late 70ies.. it's dumb as a rock - there's no high level analysis features)
Unbelievable. Unfortunately Oracle will stick around thanks to the non-technical people in large organisations that control the money and like products they can "trust".
Something can be "revolutionary" and made up of pieces not in themselves groundbreaking. Linux was revolutionary and it was just a Unix clone for IBM PCs.
Cubber Championship League (CCL)Contest and Win
The disease itself too, once you recover from it. That's how vaccinations and the immune system work.

https://en.wikipedia.org/wiki/Hepatitis_A

"After a single infection, a person is immune for the rest of his or her life.[8]"
This attack uses physical fault injection, so it shouldn't be trivial for remote attackers to use it, but it definitely is a nice demonstration, and exposes vulnerabilities on chips that generate and store such keys, like maybe pay-tv cards (remember the business of Kudekski/Nagra).
The fighting game genre was invented years before Street Fighter 1. Like I say they were underwhelming.
I haven’t had ups or fedex deliver an amazon package to me in about two years. But I miss it. Instead some random person pulls up in a beat up minivan and leaves a package on my steps, and now they take a picture of them the porch before leaving. It’s all just too weird. I preferred getting packages from ups.
Tracing Digital DNA
Ferrari owns it, you buy a license to use it.

That sounds like sort of claim that should be backed up with some pretty significant evidence.
The usual rule of thumb for a restaurant: lunch pays your rent, dinner pays for labor and profit.

If you don't have any lunch business because everyone eats at work, you're done.

If your dinner seatings are empty before 8PM because nobody leaves work until 6:30 and the traffic is terrible, you're done.

If the rent keeps going up because the real estate market says so, you're done.

What survives: takeout, with low service overhead, small footprints and fast turnaround. High-end, where the money from a few tables each night pays for everything.

I think SV and SF are heading for a Shoe Event Horizon.
It's an uninitialized read, and PolarSSL is actually also proven to lack uninitialized reads. It's just that asn1_get_sequence_of was not included in verification (as it is unreachable in verified configuration).
Airplane mode also turns off cellular data.

Personally, I only want Bluetooth on when I'm intentionally using it, but having to go into settings to turn it on and off is cumbersome when I used to be able to toggle it from the control panel.
How to make Mortgage Originations more efficient
Yeah, it seems easy enough to do client side unless one wants it to be synchronized across devices. Then, I imagine it'd be easy for the email provider to do, though it'd need client support or to be in the browser.
AutoRest: OpenAPI Specification code generator
Which I’ve long held is a wedge they use to force the obsoletion of otherwise suitable devices.
The problem is that the more tools you add, the more mistakes you make in the tools.

This is the same debate we had previously about formal methods. They don't eliminate errors, they just move them to the testing systems and where there are several the gaps between them. Communication becomes more difficult between the people involved and you rapidly start looking for the Chief Programmer Solomon who knows everything. then you get communication failures because not everybody is Einstein.

So it is always a trade off.

And it would help if we stopped calling automated testing as testing and described what it is - a domain specific type system checker.

If we realised we always build a system and a compiler for that system we might stop reinventing the wheel so much.
Trouble is that in C there is no way to encapsulate the unsafe code. Rust has tools that let you do that - it's not perfect, but depending on the level you are working at you can even build operating systems like Redox with the majority of the code in safe Rust.

The language has not been formally specified which is a concern, but this is an active area that is also being worked on in collaboration with universities. This should make it easier to write unsafe code in combination with theorem provers like Lean or Coq for even greater confidence, and ensure that any soundess holes in the type system are found.
Two-car link-up improves intelligent-driving
Amazingly enough, this is exactly how I feel. There's no chance for raises, although the company have a lot of opportunities to make more money, but I can't deal with the commute and office politics ever again.
Here’s how to find a learn to code event for EU Code Week
> It's why you feel like you have no power, it's agile practices used in non agile ways.

Yes and no. Yes, because almost nobody really follows an agile process -- the original manifesto seems to be lost on almost everybody in the area.

No, because I feel I have no power because nobody wants me to make decisions that even the slightest business implications.

This is wrong on many levels. I'll be the first to agree many programmers are naive as cocker-spaniels and only think of the technicalities and never of the real world -- sadly that's true enough. Those of us with a wider culture however can make huge impact, and we're denied the possibility because of prejudiced cretins in suits who actually have much less culture in different areas of life compared to us.

> From my experience, ~90% of time is spent on technical excellence, 10% is the broader process, and the broader process get's tweaked regularly to adapt to changing circumstance.

Nasty stereotyping, unless I am reading your text wrong. What I and many others have as daily reality (happily I parted ways with such employers but many others haven't yet) is:

- 40% of the time is spent in meaningless meetings: sprint starts, pointless bickering in status meetings, discussing a task for a longer time than it would take me to code a prototype half-asleep, personal vendettas concealed as coding style wars -- you name it, it's all there.

- 20% of the time is spent in documenting things you simply don't know right now. You're paid to spend 20% of your time as a fiction writer.

- 20% of the time is spent in actually coding. If you don't get interrupted 5 times an hour, count yourself lucky.

- 20% of the time is spent in "retrospects", mini-meetings, mid-sprint priority re-adjustments and the "Scrum master" trying to act like a big daddy to everyone while full-well knowing he can't influence his boss' opinion on when the final shipping date should be.
Obvious implementation: use IMAP to create a folder, snooze-$timestamp. Move messages there. Every so often, check the snooze-$timestamp folders and present every one where the timestampt has expired as part of the unread group. Delete empty folders.
If you think the desire for sound money is weird you'll never understand why we need bitcoin. The hard core gold bugs in the Libertarian forums circa 2008 STILL don't trust bitcoin because they can't hold it in their hand. You think these are the folks that invented it? They're typically not computer savvy in the least and would rather invest in canned food with a 90 year shelf life. In that diverse group there were a small subset of cryptography nerds who had worked on several digital money theories and iterations before actually inventing bitcoin. Those people knew a lot about finance, economics, politics, etc. People like to flatten groups into one personality and call them weird or fringe to auto-win an argument when the reality is a bit more complicated than that. I'll remind you that the early days of the internet attracted some weird characters too. Doesn't mean they were wrong to be excited, and it doesn't mean the people who actually invented it wore spiked collars and combat boots either.
> Linux Snap Coming soon!

Soon™
Speaking as a parent to now teenager.

Fact is just like their parents, kids are tremendously connected these days, so there's a massive networking effect in the cohort. There's much less outdoor/social activities among kids than there were couple decades ago, simply because there's noone playing outside. Yes we can argue that no screen can replace human interaction fully but it does replace quite a bit of it.

We often hear this parents not doing their jobs sentiment over and over, either from people who have no kids or had them prior to smartphone era. Do you often find yourself spending a whole evening with a laptop or tablet? Checking facebook on your phone compulsively? Well same thing with kids. Sure I could just seize my son's devices, but then what? Push him out to the empty street? Try to be his playmate until he's 18? Because it's not just your kid, the whole social interaction fabric went the way of Great Barrier Reef.

Sure no technology can substitute parenting; most parents we know do the expected job of taking the kids for activities, courses, helping with homework etc. But you can't (and shouldn't) hover over your kids all the time. If this project can convert any of the social media/gaming time to at least something useful, it is priceless.
Looks like a good alternative.
You are right. On the other hand, in practice, implementing it in language (really, compiler) seems more effective than in library, as in reducing number of bugs. Why it is so is an interesting question, but is not very relevant to empirical basis of safe language evangelism.
Not all ligatures work for all syntax files. Therefore the syntax file has something to do with ligatures, therefore it has context.
With blockchains or distributed ledger technology in general you can replace an organization of people with code and logic. You need not dependent on people/organizations doing the right thing anymore. If you look at equifax or uber (e.g., god mode stalking) that can be a huge plus.

The biggest problem I see is that developers might want to seek rents from their contracts as organizations do from their activities. That would perpetuate the problems of inequity and simply update the technology underlying our society. If contracts were all free public goods on the other hand, things could change dramatically. There would be other problems to be solved (e.g., distribution of crypto currencies, move away from centralized mining to better alternatives, etc.) but there would be hope!
Who says it's right? An angry moustached guy in the first half of the 20th century thought for sure there was a master race and that killing everyone else probably was the right path. Another dude (incidentally also with a moustache) had this vision that the state should be the end-all-be-all and own everything, and killed a bunch of people including his own citizens to try to realize it – right around the same time as the aforementioned fella actually.

I mean, there's plenty of things wrong with trying to steer humanity on to the "right" path, and at the top of that list is probably the arrogant notion that you know what "right" is while others don't.
I have to admit I thought this app design through before and think it's a great idea. I have wished to see an app like this and have tried other nanny style apps but found that they eventually break and can be bypassed.

My question to the developers is are you using undocumented APIs for core functionality and what is being done to ensure that future android updates don't kill core functions that make the system work.
Discover a new book every time you open a new tab
I use one of these, with a 2tb HDD in the 2.5" bay. It's plugged into a big screen most of the time. Makes a good, inexpensive portable desktop. A 12" 16:9 screen is pretty useless for doing anything apart from checking mail or watching videos, unfortunately. A 12 16:10, or 3:2, would be better.
IIRC that's how gmail implements its labels.
> Anecdotally...

This sounds to me like nothing so much as confirmation bias. I've lived in SF for six years now, and gone on dozens of first (and far fewer, but still nonzero, subsequent) dates. While I do see some slight evidence for this notion, it's the exception, not the rule, in my experience.

That is to say, "the plural of anecdote is not data."
C++ is not C. They are two totally different languages. Boundaries and overflows are not an issue in C++ like they are in C. I have no idea why people can't understand this.
Memory safe code is the basic requirement of of safety critical code. Btw. memory safety includes checking for stack and heap exhaustion.
LOL at the downvoters.
Well, even that has its problems. Consider the case of Rachel Yould [1], who obtained a second SSN with her married name claiming abuse and stalking from her father. She was convicted of falsely using the second SSN and name as an originator and cosigner for hundreds of thousands of dollars in student loans in both her married and maiden names under false pretenses.

[1] https://www.newyorker.com/magazine/2010/10/04/the-scholar-je...
Because it is not true. C++ is not memory safe. Especially, C++ is not very good at handling use-after-free.
It's been so terrible the management of my apartment building sent out an email last week asking everyone to contact Amazon and complain after months of escalating problems.

The staff keep having to rescue packages Amazon drivers have left outside of random building entrances and even neighboring buildings instead of delivering everything to the mail room like the real carrier services have no problem accomplishing.
It's about time that a generation takes a stand.

The monetisation is one aspect of course but a lot of the toxicity of social media comes from its hyper-politicisation and virtue signalling which coincided with the Millenials coming online. The quality of the discourse was then radically different from Usenet, IRC and other proto-social media like Livejournal.
It has always seemed like a footgun for the algorithm to totally cave if the 'r' value is reused for the same key and different message. This attack uses the deterministic 'r' generation using the key and the message (to ensure that the 'r' is only reused if the message is the same), but then glitches the hash function that is used on the message during signing (so the same'r' is used on a different message).

Edit: Removed silly question on why the order has to be 'r' before the second hash. Spolier: Signature is two parts - and at least one needs to be fixed to prevent an forger just modifying both. That needs to be the 'r' part, so it has to be before the S.
Machine Learning for Managers [video]
Controlling hybrid nonlinearities in transparent conducting oxides via two-co
Cry more tears, bitch.
Speaking of which, how is that long-turn bet against China going?
I don't get why automated testing is a "domain specific type system checker". Not saying it's not, I just don't get it. Maybe that's because my automated tests are pretty free-form and tend to be more about throwing mud at an algorithm and seeing if the results stick.

Your last line is bang on, though. We build a system, and a compiler (or processor) for that system. It doesn't matter if everything is "data driven" if your data is code and the thing it's driving is an interpreter.