skysight-inc/HackerNews huggingface dataset:
"You can write both styles of program in both languages"

No you can't, not in any way that's practical.

It's possible to write Haskell by wrapping every value in a Dynamic type, but possible does not mean feasible.

If you don't believe there's a distinction, then try writing a functionally equivalent `assoc-in` in Haskell. I don't mean sketch out a design in pseudo-code; I mean produce a fully working function that operates seamlessly with all possible types of Data.Map.

"So, you’ve shown that assoc-in can be written so long as type guarantees are thrown away. That seems like a reasonable reason to pick lenses either way."

Well, that's the question: is it?.

Lenses can be typed, but `assoc-in` is conceptually simpler. Haskell advocates using only solutions that can be typed; Clojure advocates using the simplest solution.

Static typing is a constraint, because it limits the solutions that are feasible and idiomatic. In return it provides a compile-time guarantee. The question is whether the guarantee is worth the solutions that are (for all practical purposes) removed.

Immutability is another type of constraint. As is automatic memory management, variable scoping... programming languages are designed around constraints. Pretending that you can introduce a constraint and not narrow the solution space is wishful thinking.
Those are both anonymized, though. That doesn't make it okay, necessarily, but that's a pretty clear line, so I don't think this is a frog in boiling water situation.

They also willing to have conversations with users about privacy in the open [0] [1], and both telemetry and Google Analytics can be turned off. (The latter is already turned off if you've enabled Do Not Track.)

Finally, Mozilla apparently spent a year working on a contract with Google before they even enabled Google Analytics [2], so it wasn't a matter of slapping Google Analytics on a page because they thought one page couldn't possibly hurt.

That being said, I'm skeptical of their use of Google Analytics, so I'm not trying to defend that. I do think it's unfair to imply Mozilla is carelessly following the rest of the web, though.

[0]: https://bugzilla.mozilla.org/show_bug.cgi?id=697436

[1]: https://github.com/mozilla/addons-frontend/issues/2785

[2]: https://bugzilla.mozilla.org/show_bug.cgi?id=697436#c14
Those corners would be public spaces, right?
It's cheap, small, and low-power. It's not a metrology standard like the 5071A. Something like this might be used as a more stable reference oscillator for a radio transceiver. Cell towers typically use rubidium frequency standards, this would likely be part of a package to replace those. They'll also likely show up in high-end test equipment (oscilloscopes, spectrum analyzers, etc).

Note that this thing doesn't provide date and time. It provides a 10MHz square wave output and a 1 pulse per second output. You could use it to make a real time clock, but that's not the intended purpose.
Well, in some European countries the drivers do not handle any cash or tickets. Both for safety reasons and for the fact that having a queue of people waiting to buy tickets from a single driver introduces latency.
Instead, there's a ticket machine on the bus stop, or sometimes inside the bus. Alternatively you can buy a ticket using a mobile app. This means you can board without a ticket. Then ticket inspectors randomly board vehicles to check peoples tickets.
They don't ride the bus because it's too slow, unreliable or unavailable.

Yes - Uber showed up the inadequacy of public transit in the US just as much as they disrupted the taxi industry. Transit seems designed only for consumers who can't afford any other option. If public services want people to choose to ride the bus over taking a car, they need to substantially increase the quality of the riding experience.
This one calculates center & edge thickness: http://64.50.176.246/tools/thickness.php

This one claims to calculate weight:
http://www.glassfab.com/tools/weight-calculators/weight-of-a...
And, similarly, what about vs. clang static-analyzer?
Perhaps you might be interested in working at a B Corporation: https://en.wikipedia.org/wiki/Benefit_corporation
Ubuntu 17.10 Community ISO Testing
I don't know why this wasn't the first option instead of tracking users without permission? This seems easier to implement, privacy-aware and even seems to more explicitly indicate the users intent to keep receiving emails.
Most of my classes were taught in Java, but I took care to also learn and do a lot of work in C++. I've also played around with disassembling various binaries (especially code actually written in assembly, like DOS games). Teaching myself to manually track the state of the stack, and see how it was used in function calls, was eye-opening in a way similar to learning manual memory management.
glmnet, one of the core packages for machine learning is written in Fortran. So are many of the linear algebra packages commonly used. It's not just physicists that still rely on this stuff.
Not parachute related, but the story is Juliane Koepcke, sole survivor of a plane crash, is worth a read as well: https://en.wikipedia.org/wiki/Juliane_Koepcke
A Timeline of WordPress Evolution Throughout the Years
I'm not a clock pro or anything, but it looks like this cites stability numbers around 1e-10 or 1e-11. 5071A says things like 1e-14, but I don't know if it's apples-to-apples. For "portable" applications, NASA's working on the Deep Space Atomic Clock (DSAC) for easier/better space navigation. DSAC is cited as having 1 microsecond per decade stability, or about 3e-15.

While it might be orders of magnitude better than a stabilized quartz oscillator, it looks orders of magnitude away from traditional atomic clocks.
My guess was that the signal was an inprovised “hey! follow me”. But, I have precisely zero expertise.
I think it was mostly a matter of people asking "what is that Coast Guard amphibian rescue plane trying so hard to tell us?" and that question having a very short list of likely answers.
A friend of mine once worked on a prototype for something like that.
> If your spleen has ruptured, you may need a splenectomy immediately because of life-threatening internal bleeding. A rupture may be caused by a physical injury, such as being hit by a car, or by an enlargement of your spleen.

https://www.healthline.com/health/spleen-removal
Any interesting ideas to try C out on for an experienced programmer?
Well, there are designs that claim to be. They are neither ordereable in quantities of 100,000+ nor do they include any peripherals or even built-in flash.
I think the purpose of these "obfuscated" links were to make them easier to type into you phone, if you happened to visit on your desktop.
You're right, but in the current timeframe? That's one hell of a stretch.

I'll go Bayesian on this one. And so: thanks West!
Ehh, semantics. "How do you ensure that your constraints are correct?" is effectively the same question. Any nontrivial set of constraints will need to be validated, and validating those constraints is a pretty big challenge that the compiler by definition cannot help you with.
Maybe the minesweepers decided it was a good idea to switch radio frequencies, so that they could chat.
A ruptured spleen causes internal bleeding. It's one of the more likely traumatic injuries to the abdomen. If you have had it removed, internal bleeding is less likely.
Is it possible to create "real estate" which is basically geared towards this kind of thing?

Eg. a large vertical block of tiny, tiny rooms which are just good enough to be livable, but with extremely expensive components.. designed to be parked and traded and never lived in.
Capture and Automate Any API Call with Chrome Developer Tools
MAC addresses are broadcast in the clear regularly, so any device doing that without some randomization is ripe for the picking.
That's great if you need to do some kind of crawl through the DB for background work, but fails to support key elements (filtering, non-primary-key sorting) that are probably hard requirements at the API level.
Yep. Software engineer at Google in Mountain View here. I voted for Trump.

I literally do not give a damn about anything else other than lowering my taxes. I don't care about climate change (it is being accelerated by humans, I agree) and I literally don't care about BART or SF public transit or homelessness. Just give me my clean air vehicle tag so I can drive in the carpool lane as a single driver in my Model S.

Yes, there are tens of thousands of people like me in the bay area.
Wikileaks makes 50000% return on Bitcoin
I interpreted it that the plane dragged the wire in the sea in front of the minesweeper in the heading of the pilot. This would have drawn a line in the sea, as it were.

That would be a totally unexpected behavior, which would give the minesweeper's captain the clue that it was a signal to change course to the given heading. The plane would have headed back to the pilot and circled, giving the minesweeper's captain assurance he had understood the signal.
The article mentions that if he had a spleen it would have ruptured from the fall and he would have bleed to death.
I'm not a pilot, but I've often read in rescue histories that an airplane's circling and then flying-over in a given direction is meant to be taken as a vector, like "go that way".

In this case I'm guessing the wire was more like the second, confirming clue.
You know, if I had access to the documentation of a major DB system, I would put something about this right on the documentation page for LIMIT and OFFSET. It's just such an attractive nuisance; who can blame a novice developer/DB user for making the mistake of thinking that LIMIT and OFFSET are a good solution, really?
I was confused by this first.

So Nix is ultimately a tool for making and sharing reproducible package builds. It has a binary cache, but it's not necessary. Like Ports, packages get built by default.

Docker, on the other hand, is a distribution and execution mechanism. It provides an abstract way to move around a fully assembled, ready-to-go service or application running in isolation.

It's entirely reasonable to use both. You can use Nix to build and manage docker images and make extremely minimalist docker images. You can use Nix knowing that the entire process is perfectly reproducible, and the Docker containerization is only a final integration step.

With this, you sorta get the best of both worlds. You get a reproducible build (and if done right, also a reproducible dev environment via nix-shell) and with Docker you get the ability to build and run a prepped copy with a well-defined interface.

Docker really doesn't provide a way to reproduce a built image from scratch. You sort of have to trust and build on existing images, and most folks making bulk images appeal to external tooling outside docker files to do this.
I actually took CS107 in 2012 with Jerry Cain, and we still used this handout as a reference guide.
> You seem actively hostile to the idea of there being bad employees, and I'm not sure why.

Why do you say that? Of course there are (were?) bad employees. If they did indeed fire the worst performers, some of them were quite likely bad employees.

> But corporations are usually very reticent to say negative things about people, so for them to specifically call these people out as bad employees at least makes it plausibly true.

Also plausible that it's misdirection or that they're assholes. =)
OK, you're a captain of a boat. A friendly plane is circling above your boat. What's up with him? Radio him. Nope, that didn't work. He dragged a rope across our deck and flew off in a straight line. Let's follow him and find out what the fuss is all about.
What portability do you need, specifically, beyond C99?
Tesla’s New Car Smell
> What's the historical reason we aren't all using TLS to connect to our APs?

Because it’s insanely impractical for home use? Hey, here’s your new WiFi router. Just install this new root CA on all your devices, create a device cert for each machine and install that very as well, and don’t forget you need to re-do this every year...
Not sure there have ever been absolute rights in the United States. So that means rights have to be weighed against certain circumstances.

If the democratic society decides against your conception of the proper weighing of rights, you have the right to continue to try to convince your peers while complying with the law, or to leave.
Archiso/etc are similar, but that lack some things.

---

Layering

----

I can change my inherited build without rebuilding everything.

For example: base > xorg-nvidia > plasma > homepc
I can easily switch desktop environments by making "homepc" inherit "i3", or w/e.

Each layer is essentially a "Dockerfile". If you understand docker, you understand how the images are built and managed.

---

Fast switching.

---

I can create images for different dev environemnts/clients. I can create an image purely for gaming. I can create an image steam.

Darch integrates with grub, so entries will dynamically show up on boot.

---

Sharing with DockerHub.

---

Sharing with other machines (and other people).

Since they are docker images, I can easily upload them to DockerHub.

I can update my local build by doing "docker pull && darch extract && sudo darch stage".

I will soon setup Travis-CI to auto build and push to DockerHub. Then, I never have to build locally. A cron job will queue a build every few days to make my image "rolling". I can easily revert back to previously working docker images (all tagged by date).
This comment personally served as a sharp, jab-in-the-ribs reminder of how two people can approach a problem completely differently and still be convinced of their own rationality based off of their worldview. I was trying to imagine the incredulous look my Republican father would have on his face reading your curt, matter-of-fact moralizing and it made me chuckle.

Anyways, that's besides the point. I think the GP was more trying to compare the debate around encryption with the debate around gun control. People who argue for more regulation and centralized control do so with the same tactics over and over again - they use scare-tactics to portray people on the other side as dangerous, selfish, and anti-social, and they layer this on top of other propaganda techniques like constant repetition. The people on the individualist sides can't compete because they can't cohesively agree on one message and form a group that can counter-shill for it, because, well, that's just not the culture of libertarianism, so most of what they say sounds like inconsistent rambling to outsiders. Very generously interpreting the GP comment, we need to consider the underrepresented ideas just as fairly as we do ideas pushed by the mainstream and accept or reject them based on merit, not popularity or backing. The problem with American democracy is that most people aren't mindful enough of the complexities and gray-areas surrounding current issues to do this. Eg, we (the HN crowd) see the problems with mass surveillance and weakened encryption but we're too busy shouting amongst ourselves to understand why the mainstream doesn't care. Gun control and encryption may be "different things" but the political debate is the same.
Extensive discussion of original article: https://news.ycombinator.com/item?id=15477286
“If you were nineteen and starting out again, would you go to film school?

The best education in film is to make one. I would advise any neophyte director to try to make a film by himself”

I give same advice to aspiring developers.
You are partly right about the implementation coverage. For a lot of embedded development where you can't cross compile with a modern compiler it's of course an issue. For major desktop and mobile platforms, I don't see an issue. Clang has excellent support for the mandatory parts of C11, it's even the default setting (well GNU C11). Given that one can now configure Clang as the frontend for Visual Studio on Windows, the backwardness of Visual studio in regards to modern C standards is no longer an issue as well.

For essential features, well if one uses C it's usually to have fine-graded control of memory use and allocation patterns. Then C11 _Alignas, and _Alignof are pretty essential. Yes you can do that with platform/compiler specific macros without C11, but it's nice to be able to avoid that.
Related (2009) : https://www.slideshare.net/suratbhati/efficient-pagination-u...
Earlier this year on a white water rafting expedition I had the misfortune of falling out of the raft and into a series of category 5 rapids. It was absolute chaos. The force of large bodies of moving water is astounding. Any notion of "swimming to safety" is ludicrous. A more accurate description is "being washed to safety" because you have no control over the larger movements of your body. I've heard in avalanches survivors sometimes don't know which end is up and digging themselves deeper. This was me while underwater in the rapids. I couldn't see, didn't know which end was up, and couldn't breath. How he managed to survive is astonishing. Finding his knife, assessing the situation, and acting before being pulled under while injured almost defies my imagination. Riveting read.
Note that the dev kit just has a socket; you have to buy the actual clock module separately.
You cannot blame colonisation for everything for centuries.

Those people made their own choices in recent decades embracing uncontrolled population growth and wasteful, unlimited consumption without any attempt to mitigate the results.
Show HN: Bedim – Blurs macOS wallpaper when there's an app visible
I thought about moving the work that a flash controller did to an OS, on a game console. Would have saved some money (high tens to low hundreds of millions of dollars over the product lifetime). Just too damned risky and complicated to make work, given the ship schedule. The controllers do a lot of work, and provide a pretty clean abstraction over a bunch of complexity and dirty business under the hood.
I expect they could, yes; WPA2 doesn't offer forward secrecy.

But WPA2 never offered much anyway. If you're on mall wifi, you can already see unencrypted traffic for everyone else, because the client keys are derivable from the shared passphrase (which presumably everyone at the mall has been told) and overhearing the four-way handshake when someone joins. And! You can even fake a disconnect message that forces the four-way handshake to happen again, if you weren't around when the client originally joined.

All of which is to say, WPA2 in passphrase (PSK) mode never actually provided meaningful encryption against other people on the network. :( Someone forgot to tell the protocol designers that Diffie-Hellman exists. Using Diffie-Hellman would achieve both removing the exploit where you observe the four-way handshake, and providing for forward secrecy too.
Thank you, I definitely need to play with it more to understand it better.
Operation Ajax – The 1953 Iran Coup
Wow, you built all this from scratch in a 36-hour hackathon? How much experience did you have with Ethereum?
Same here, no problem with space.
You can get to the level select screen in Sonic 3 using a similar process.

1. Open Sonic 2 and enter the level select cheat

2. Freeze the game by wiggling the cartridge

3. Replace the cartridge with Sonic 3, and hit the reset button

This blew my mind as a kid.
"The worthwhile problems are the ones you can really solve or help solve, the ones you can really contribute something to.... No problem is too small or too trivial if we can really do something about it.” - Richard Feynman

I could give you ideas on how you could change people's lives by volunteering to teach at places like http://shhkids.org/ but I won't. What you should do though, is find something where you can cause impact, no matter how small, and then work your way up from there towards something that gives value and happiness to YOUR LIFE.
Yeah, even if you have atomic clocks in every datacenter, you need an external reference to synchronize them with each other.

(If you try to calculate the offsets between two clocks by using something like NTP to measure round-trip times over the internet, you're implicitly assuming that packet delays in both directions are symmetrical.)
For someone so concerned with slander, that's a big exaggeration and a personal attack. I didn't say anything about you personally; I hope you will withdraw what you said about me. You asked what I thought and I told you.

It's hard to believe you aren't familiar with the white supremacist narrative, including 'reasonably' discussing political oppression, and or that you are unaware that the discussion above fits it well.
I'm not sure of any. I do a bunch of embedded C code. I find a lot of C code tutorials are algorithm / datastructure focused. Which is ok to learn. You should definitely feel confident in implementing data structures / algorithms in C. But I'm not sure of any good tutorials which teach you how to engineer C programs. There is no "one true approach" but you definitely need to take "a" approach to constructing C programs. You need to have really good convention about how to do various things and how to compose your software.

Also C unit testing is often rare. I ended up writing my own framework (which I open sourced, but am neglectful with maintenace) with the idea you can run tests on embedded devices. Meaning it only relies on pretty vanilla C and has no memory allocation.

But, definitely incorporate unit testing in your C coding experience. It will help focus you on not falling for the evils of the language
STL, IFC File Processing Support and Rendering to Image or PDF Formats Using Java
No it's not. It's trivial to outlaw specific things. In fact that is already done.

The speech isn't the crime, it's the involvement in the planning of crime which is a crime.
> who can blame a novice

Even experts fall into this trap, actually:

https://sqlperformance.com/2015/01/t-sql-queries/pagination-...
Part of the issue with buses is the maps. Trains usually have nice schematic style maps but there seems to be a law mandating that bus maps be illegible tangles of purple lines with little hard to read numbers and a table of what those numbers mean on a different page.
Oh no, people shit and threw thrash in a river their neighbors down the river drink from. Why should they worry?
Actually, I'd say the statistical methods used by the Japanese (mostly to zero in on sub-par team members by shuffling them through teams and measuring the results) do have some similarity to test driven development, and even the sort of frequent (rough) measurement that Agile allows.
Advanced C++ Programming Styles and Idioms by James O. Coplien

https://www.amazon.com/Advanced-C-Programming-Styles-Idioms/...
Sorry to break it to you, sir/mam, but nothing is free.
I'm thinking of a mechanism where the router obtains a trusted cert automatically, like Plex does (https://blog.filippo.io/how-plex-is-doing-https-for-all-its-...), and then asks users to authenticate by password over TLS before allowing access to network resources.
Google X and the Science of Radical Creativity
It's especially fun if users enter a spam trap email (something along the lines of a@free-email-service.tld) and they blacklist you for sending a opt-in email to that address :]
By the way, this story happened in 1963.
Isn't it! A clear cut statement/opinion, straight to the point.
You can still support arbitrary filters and ordering, as long as you always sort by the ID last. The nice thing is the queries actually get more and more efficient as you approach the last page. (The normal approaches have the same cost across all pages, or even get more expensive toward the latter pages.)

The only thing this approach does not support is jumping to an arbitrary page number.
I've been trying to find out if using one of these in a GNSS receiver would help with accuracy.

Anyone here know?

Clearly the clock on a receiver is well disciplined, but does that mean a better oscillator like this wouldn't help?
"You must not fight too often with one enemy, or you will teach him all your art of war." - Napoleon