skysight-inc/HackerNews huggingface dataset:
That's like saying that we've been able to turn lead into gold for a while now. It depends on what you mean by "we" and by "can." Some specialists have turned some lead atoms into gold in a billion-dollar particle accelerator.

Common, "ordinary" software can neither be mechanically derived nor verified using any feasibly affordable process at common scales. Let me remind people that the largest programs ever verified end-to-end were one-fifth the size of jQuery, and they required world-experts years of effort as well as careful simplification.

I've written a fair bit on program correctness and formal verification/synthesis [1], and I, myself, am a practitioner and advocate of formal methods, but I am not aware of any in-the-field, industrial scale, general (non-niche), non-specialist, repeatable, affordable formal synthesis/verification techniques that can handle systems and specifications of the scale TLA+ is commonly used for by ordinary engineers. If you know of such examples, I'd be interested in seeing them.

[1]: https://pron.github.io/
I too thought the key travel was fine with my AlphaSmart 3000, but found them too loud when typing in a conference room. That 500 (no typo) hour battery life with 3 AA batteries though. Brilliant device.
You also have a legal right to take time off to go vote.
It seems like another way of expression this notion, in both the negative (suspicious) and positive (exploratory) senses, is "how well does the data map onto reality."

Better data intuition refers to a strong mapping between the two - you can sense when they diverge. Poor data intuition is an exclusive focus on the quantitative with little understanding of the underlying reality.

You don't understand the actual patterns in reality, therefore suspect data movements do not surprise you (and make you suspicious). You don't understand the actual patterns in reality, therefore you do not explore potentially fruitful avenues for data analysis.

Expanding one's data intuition is about using data to enrich one's understanding of reality, as opposed to ignoring reality in favour of the data.
mitmproxy is great! I wish there was a way to conveniently look at non-HTTP TLS traffic, though. I saw a few documented "TCP mode" options but they don't seem to get me access to plaintext. Any ideas?
“Let’s contract out the development of our infrastructure,” they said.

“Use the cloud,” they said.
It probably depends on whether you tend to favor a midweek break or whether you want to take trips or do other activities on weekends that benefit from a longer block of time. (If you just hang around the house or otherwise do short local activities I'm guessing people are more likely to "waste" that extra weekend day than if it's a midweek break.)
Thank you. It seems like a great tool that I including everyone in our family will now start to use as well!
I lived in Toronto for a couple of years in the early 90s. My apartment in a house had no off-street parking. No problem as all residents on street get a parking pass. But mine was never sent and so I got a ticket every day for many months. I ignored them. My wife and I went out to dinner with some friends one weekend evening. Parked on a side street even though there were temporary "no parking" signs posted on lampposts. Left restaurant to find a movie shoot in progress on that street. Someone gave me the name of the impound lot and our friends drove us there.

I had a sick feeling in my stomach because of those unpaid tickets. Certainly a much larger dollar amount than the value of my 15 year old Honda. Told my wife and friends that the best case was that they'd keep the car but that they may still come after us for the balance. But information flowed more slowly in 1991, and the tow lot had no knowledge yet of those unpaid tickets when I arrived to get my car, and I only had to pay $75 to get it back. If I'd waited, they perhaps would have accessed the ticket database.

Some time months later, we finally got our parking permit sticker. And somewhere in a file in the Toronto traffic department there's probably a couple hundred tickets with my license plate.

As for the Accord. I had purchased used in Pittsburgh for $5000. Got married. Drove to Toronto where I lived for 2 years during graduate school. Drove it to MA where I worked for 5 years. Had a baby. Bought a 2nd car (also an Accord). Drove it to CT where I did consulting for a year. Then drove it back to Pittsburgh where I sold it for $500. Haven't thought of that story for many years.
What if it is a social marketplace: both a social network and a marketplace?
I took a fairly deep dive looking at Flutter last spring and I was impressed. My work involves semantic web and deep learning, I am not a UI developer professionally, but I enjoy small UI projects.

Try spending one or two evenings with Flutter writing a simple app and build it for two or three platforms to see what the few issues are.
Writing down ideas is always a very useful exercise. Having introspection is a good trait, so writing a "User's Manual" for yourself is a very good thing.

Now, having these User Manuals in a company, I don't know if they are any useful; you may get the one tidbit of information that somebody you don't interact much with says they prefer email to chat or something.

I propose an exercise: if you have people's "README's", go through them, if possible without seeing their names and test if you could match what they say they are/like/etc to who they are and what they actually are like. I simply find no correlation; everybody says they value honesty etc (including myself) and you still have no idea of how to interact with that person, or what they really value. We are really bad at judging ourselves.
Yes and no. The massive use of the internet makes communities very different now than they were 15-20 years ago.

I don't see the same level of fascination with Discord that we had back in the day with IRC. Maybe because we're used to it now and having a chat with thousands of people.
My start in the world of urban work environments was an office temp. Oddly enough I got pretty good at using Word Perfect and was given free training for more features and stuff by one of the top temp agencies at the time, and then I got to work the "lobster" shift at lawfirms and banks.

Word Perfect for DOS has a ton of features that folks normally wouldn't know about like redlining and all kinds of fancy image rendering things (sorry it was > 25 years ago and I can't recollect specifics), law firms had an entire version-control system integrated with it.

Word Perfect was also how I ended up being an actual programmer for money in NYC. I started automating my work at some of these firms with macros and later with some C and Perl code and some of the gigs I had I could just walk in and spend all day on IRC while I'd get paid $20 an hour (which was a lot) for my scripts to run through all the docs they thought I was re-formatting by hand.
> one of the most unstable times in history

I can think of far more unstable times in history than the times we’re living in now, recent examples being WW1 & 2, nuclear threat during the Cold War.
I have a feeling that most people offended by a tiny laptop sticker (regardless of which party) are exactly the kinds of employees we wouldn't want to have.

If people are focusing on work, these little things go unnoticed.

What's great about it is that it's engendered a culture of eye-rolling to people who try to interject their religion or politics, and this has become somewhat self-perpetuating.

If someone spammed a political article into a common venue (we don't use slack because it's such a waste of time), then I doubt it would get reported - just ignored.

> Politics are inextricable from most plausible modern workplaces.

I don't see how you could logically make this argument. Our business plan and financial goals have zero to do with the current political landscape.
The io monad is fully pure.

The interpretation of the io monad? That's another story.

Once you realize that mutation itself is a side effect then why not use the single most powerful idiom we have for abstraction over side effects? (Monads with do notation; for blocks in f#)

For the record io is st with an opaque realworld type. And st is fully pure with a neat type trick to prevent leaking of st references.
If you want your property to have a default value, give it an actual default value, not the explicit absence of one (kind of defeats the point to set a default value of null).
> but eventually there's going to be a NEON 2 that obviously will only exist on newer chips.

Isn't it SVE? So far, it has been only implemented AFAIK by the A64FX, which is used by the current #1 supercomputer in the TOP500 list, but it wouldn't surprise me if we start seeing it on newer 64-bit ARM chips.
Do you have any sources? I'd love to look into this more but can't find anything about the overpaying for Covid-19 medical equipment.
Yeah... this might be something that needs legal action, like manufacturer liability for security issues within a specific timeframe...

(could even be a "best before" date on electronics; at least this way you know what you get when you buy, the vendor can decide on their own how much support they want to offer, and the user can choose between the "good for 2 years" router and the "good for 5 years" one...)
Eh, I just looked it up and the Streisand effect was about an aerial photograph of Streisand's mansion which she wanted to hide, not about promotion of Streisand's work. So unless you downloaded that photo, I guess this is an anti-example (as in this case the effect worked in her favor, not against her).
I have used this https://github.com/jacksonliam/mjpg-streamer for a number of years to great success.

However a word of warning:

Wifi streaming video can really degrade your wifi for other devices. especially if the streaming device is at the edge of the range of the wifi.

Ethernet streaming is really the way forward.
Github MUST get it back. Otherwise this will initiate the potential collapse of their service
Like a friend of mine said, where's the line between a totally honest and transparent workplace and a toxic workplace?
I haven't looked at the project yet, but... your comment precludes the possibility of your computer having a wired ethernet connection to the internet.

Then the camera could be placed anywhere as long as it can get power, and your computer could connect to both the camera and the internet.

But, I don't understand why the project would really benefit from the Pi Zero hosting a wifi hotspot... it seems like it would be better for it to just join an existing wifi network.
> If designed today it would return undefined.

Absolutely not.

Null means it knows what you’re asking for, and there’s no value.

Undefined means it doesn’t know what you’re asking for. (This includes function calls that don’t return a value, since you’re asking for a value that wasn’t produced—again different from null, which is explicitly producing a value.)

Node.firstChild being null for a node with no children is absolutely correct. Undefined would be incorrect.

Seeking past the end of an array finds elements that have not been defined, so undefined is correct and null would be incorrect.
Monday: Microservice developer tool, how it works? [video]
Why men's health depends on feminism
Can you even do this if the client hasn't installed your cert?
The cellphone/app seems like a weak link for such a safety critical system. Is there no other way to control the blinkers?
> I love how the "Streisand effect" is an example of itself.

For the Streisand effect to be an example of itself, there would have to be an attempt to ban or suppress the usage or knowledge of the idea of the effect. I don't think that's happened, so I don't see how it's self-referential.
I've worked on plenty of small to mid-size apps and that's not how we ever do it. Like I said, we build views and API requests. That's just the same MVC framework for the past decade or so. And I've done the same for streaming services albeit not at the scale of Netflix. Given how apps like Netflix and YouTube are so nicely synced between mobile, web and STBs I'd still imagine all the logic and persistence is server-side. I can only speak from my experience though, I'd love to understand how you've done it and when you need to embed a lot of non-UI code in a client.
You could create a zip of the contents of site-packages and add that your PYTHONPATH.

Look for the metadata.json, in the dist-info directory

{
"requires": [
"chardet (>=3.0.2,<4)",
"idna (>=2.5,<3)",
"urllib3 (!=1.25.1,<1.26,!=1.25.0,>=1.21.1)",
"certifi (>=2017.4.17)"
]
}

which I see isn't in all dist-info dirs.

You could also look at

pip download --no-binary ':all:' --src src requests

It will download the source archives for those package and its deps. I think what you want is within reach. My email is profile, feel free to ask questions.
Show HN: Learn about computer science one paper at a time
My personal theory is that weather is proximate. The spread is not about population density and social patterns.

Take England. I’ve lived in London. There’s a large segment of British social life that revolves around going “down pub”. People will gather at pubs in confined spaces for long periods of time. Those seem like the perfect conditions for community spread. It comes as no surprise to me that England is in another lockdown.

Boer I’m sure weather plays a part on that. Nicer weather and people might go on holiday out do things outdoors but once the weather starts to cool? They’re back to the pub.

I suspect you’ll see patterns like this in other places.

As for your theory in cool climates, well you’re also hitting the climate barrier for high density living and high population centers.

There are outliers (eg Moscow) but generally speaking big cities aren’t in Arctic-like climates.

I don’t know Melbourne at all but o suspect there’s a predilection for pubs, bars, nightclubs and restaurants and there’ll be some relationship there between colder weather and indoor patronage.
For online and authoring, sure. If they print the books, it gets converted to a pdf.
The point is trying to hide something only makes it more known. In her case it was a picture, in this case it's software.
I get "ERROR: can't find the current version. Please try again later."
It removes a large part of the incentive for corruption (since no one directly receives the profits from towing), and allows for better oversight and much tighter rules.
> Land borders can be closed except for a few checkpoints, which serve as the equivalent of international airports (and seaports, don't forget about those).

Not in continental Europe, not without involving the military.
The right way to do this is via digitally signed PDFs. The signature is invalidated if the document is edited (other than adding a signature).

Disclaimer: I work for Adobe, but not directly on Document Cloud.
I'm not sure what issue people have with this statement. Sure, if you have collaborative work you need to do that you're just going to blow off. But in general?

There have been a number of times in the current situation where it's been a nice day and the weekend has a lousy forecast and I didn't have any meetings or only had them in the morning. I've just told my manager I'm taking the afternoon off and would make it up on Saturday. TBH, I didn't even really need to ask. I'm not sure why this would be controversial.
five? ADWD was published in 2011. We're coming quickly up on ten years for the next to last book, no one holds out any hope the last one will ever be written.
By prefixing a title with “Unpopular Opinion” an author is essentially applying for a license to say something unpopular and not get too criticized for it. This is cowardly, people should just state their opinions and be open to whatever reaction it spawns.
Youtube-dl enables things that should just be allowed across the internet. The "hope it doesn't get noticed" strategy is optically terrible and generally set up to fail.

Even if you are against these downloads, there are laws that let you prohibit such downloads by using DRM. Ignoring those laws or trying to claim that publicly available links count as DRM means these programs should be allowed.
Fair point on the semantic vagueness of "open source", I'll exercise more caution. However, I think it was clear in context what category of licenses I and the main conversational thread are referencing.
That may be true, but it is so deeply embedded into publishing workflows now it would be hard to dislodge.
Not to nit-pick, but physics? What would you use flash-cards for in physics? Memorizing equations? Why would you ever do that?
It's interesting to ask why people didn't understand the importance of compatibility at first.

One reason could be the tendency to disregard the cost of software, which is a mistake people still make today.

But there was also another factor back then: computer hardware was very expensive. It is understandable to think that, if you're going to spend a gigantic pile of money on computer equipment, then it needs to be the absolute best computer equipment you can get. I think wanting to squeeze the most value out of your investment could explain why buyers and manufacturers were willing to sacrifice compatibility.
Agreed. I’m Canadian though. It’s a constitutional right here.
I have to imagine that's mostly due to encoding, right? I wonder what the cheapest format to get a hw encoder for is.
Ah, I don’t think so. It’s a different way of thinking about it, but it’s hardly broken.

It’s only broken if you expect files to be modules and they’re not.

It’s just as (if not more) confusing if you go from PHP to JS and expect modules to work like files.
Sure, the bridge operator could do that, but why? Bridges don't operate as efficient markets with heavy competition, instead they tend to act as regional monopolies. If you don't cross this bridge, you usually have to drive an hour or more out of your way. This market position of the bridge operator gives them outsize leverage over their customers, and so there is no incentive for them to compete on things like price or low traffic congestion, because who are they competing with?

So, I'm not sure a "profit motive" is really the solution here. Yes, the bridge operator could make that contractual offer and add towing infrastructure out of the goodness of their heart, but there's no incentive to doing so. A decent local government does have that incentive (as they are responsible to the commuters as voters), so they offer that service. You could have regulation that forces the bridge operator to provide this service instead of the government, but is that really less government intervention?
Wireshark might be a better tool for this
Can you give some examples of the bigger part of the tech industry without supporting legacy systems, government IT and academia? I feel companies are having very similar business models because all get from the same pool of money.
Does anyone know how far down Kotlin Multiplatform is likely to scale, because most engineering org charts are not the shape and quality of Netflix's engineering org chart?

At what size and level of expertise/experience does it make sense to consider it?

What are the prerequisite knowledge/skills/abilities that a two pizza team needs to keep the learning curve practical?
Well, a nautical mile is defined relative to a fundamental constant -- the circumference of the earth at the equator. This is objectively useful when at sea, and so I, for one, prefer it to either statute miles or kilometers.

Here in Norway, people tend to talk about wind speed in meters per second. Happily, a knot is very close to a half a meter per second, so I'm not as lost as I'd be otherwise.
Some use cases I think about off the top of my head:

- Data model operations on local copy of data: For some use cases you can't just send everything to the server all the time, instead you want a local representation which is periodically synced with the server

- Logging / monitoring: Expose a single logging / monitoring API which can be shared across platforms

- Input validation / rules engine: Consider implementing a syntax highlighter, you wouldn't want to do that on the backend. Even simple form validation might sometimes be preferable to do client side, calling the multiplatform validate(data_model) and getting per-field validation back would allow for a lot of logic re-use.

- Do work that could be done on the server: Because of a lot of factors, like privacy or cost you might want to do work that could be done on the server. I.e, calling some sensitive third party API (banking?) where you have to transform requests/responses. Or maybe computation on large sets of data (video compression?) which otherwise would need to be sent to the backend.

- Interact with devices only locally accessible: IoT/bluetooth things
It depends on how the client will treat an untrusted cert.
Having every second week a Friday off (or random other weekday, if I announce it ahead of time) gives me an amazing amount of breathing room and flexibility compared to my girlfriend who has to be on the clock 10:00-16:30 ("key hours") every day of the week without fail (well, holidays, but those are planned months ahead and not flexible at all). It docks 10% of my pay but it's so worth it.
It has never been perfect, there have always been some uploaders where some of there very long videos would fail for me. I suspect if I toyed with the formats requested it would work, but generally just don't try.
No, only works if there's a way to install custom certificates on the device you are monitoring. Otherwise that would defeat the whole purpose of https (If there are no bugs in the implementation or other security issues of course).

For mitmproxy that would be achieved like this: https://docs.mitmproxy.org/stable/concepts-certificates/
> I do think code organization is one of the primary jobs of a programming language/ecosystem. I want my tools to help me be better about that, not worse.

Isn’t splitting up all your classes into separate files considered to be a good thing?

Considering how huge we can make files in JS I’m sort of inclined to consider that a problem instead of a feature.

I think any project that started around PHP 4/5 will look like Wordpress. Looking at more recent projects (after PSR’s became a thing) would be more representative.
Yeah, pretty much agreeing with you. I think if they are going to rely on fusion in the ISA, they should limit it to the most minimal fusion implementation to have the widest possible chance of adoption. So assume the hardware can only fuse two instructions and design the ISA with this restriction in mind.
Ask me in a few months.
One issue is that the 'extremes' change over time. It used to be that emancipation was a very extreme view, same with universal suffrage.
Does anyone know if any of these projects capture the h.264 stream encoded inside the webcam?
I would be interested in setting up something like the nest paid subscription but on a local server (meaning record 100% of the video and build a nice interface to navigate it. No "detection of movement" kind of thing involved unless for tagging).
It didn’t help that the original logo was an orange and white windsock...