skysight-inc/HackerNews huggingface dataset:
I've watched a lot of talks on Python by @dabeaz (David Beazley) and attended a couple of his in-person courses in Chicago. I was always amazed about the fact that he used emacs with no syntax highlighting, no line numbers, etc. as his live coding buffer. When I asked him about it one time, his answer really made me think hard about my own "souped up" vim setup.

He said, "The hard part of coding in Python isn't getting the syntax right; the hard part is getting the logic right. Syntax highlighting makes me focus on the syntax when I should be focusing on the logic."

I didn't change my own setup, but it did get me to question my default assumptions on the practice.

That said, one specific example when syntax highlighting is very useful IMO is "rainbow parentheses". Especially when coding in Scheme, Racket, Lisp, Clojure, etc. But also for matching parens in fluent APIs and for matching braces in JSON.
That's even worse.

I know GGP wrote about "computer scientists", but I've seen similar things spoken (even here) about software engineers - that they have "binary thinking", they "reason in ones and zeros", etc. Which infuriates me to no end, because it's hard for me to think of another domain except hard sciences that forces you to think quantitatively, in numbers and orders and probabilities. Excelling in software requires the opposite of "black and white thinking".
no. but it uses Merkle tree, therefore, the often mentioned analogy.

https://news.ycombinator.com/item?id=9436847
LetsEncrypt was vulnerable to this exact attack - it let people issue valid TLS certificates for domains they didn't control:

https://www.agwa.name/blog/post/duplicate_signature_key_sele...
I'm in Canada, so the bulb he selected isn't readily available. Anyone found a good one with high CRI?

Also, it's not clear to me how important the watts/lumens are in a single bulb vs. multiple. If I can only find 100W/6000 lumen bulbs, are three of those the same as one higher wattage bulb with 18000 lumens?
First up, what you seem to be talking about is Deep Learning, not Machine Learning in general. In more general ML there are many theorems, some also apply to DL.

Also, the step of "shuffle around the ML graph using some intuition" involves gathering that intuition, which usually arises from a great deal of mathematical competence. A 3x3 conv kernel versus a 2x2 one can, for instance, be discussed in terms of Fourier theory and mathematical image processing, but areas with huge built-in theory.

Things like replacing the activation function were initially studied anecdotally. People realized that in some settings one activation function or another would lead. Eventually, there was also theory showing that in large nets of stable configurations, there was serious interaction between the initialization method and the activation function and problems like poor backprop signal propagation were tackled theoretically and practically.

Generally, the mystery comes from the vast parameterization of these DL models. They operate in a space that's very hard to generalize—large, finite spaces. Small finite spaces get treated exhaustively. Infinite spaces get treated asymptotically. Large finite spaces get bounded on either side by those methods.

So yes, there might feel like there's a dearth of theory in DL when it comes to the large scale behavior of a general network. That can be super frustrating. At the same time, people are trying to push through and create more theory every day.
Alarmists Propose Rebranding ‘Climate Change’ for Greater Shock Value
Oh man...I can totally relate to it.. I have a 2 year kid and last 2 years have been most difficult for me and my wife's life given that I need to take of the startup as well
All I can tell you: Good luck.

Once you've dropped over a $1,000 on a MacBook, Apple cleans its hands of any issues that arise:

> Can't deal with the butterfly keyboard? Sorry, that was our bad. However, you returning the computer for a newer model? Are you crazy? That'll affect our bottom line. We can't have that. The best you can do is just buy a new one and sell the old one secondhand. Don't worry. We won't tell anyone.
I think the error made here could also be described in Bayesian context: your posterior shifts to the other side because you keep counting repeated instances of the same information as new evidence.
Check out Snips [0]. My guess is they could bake this in. I think if "smart" speakers had the option for the user to control how they wanted it integrated the consumer would have much control as it would force the manufacturers to compete where it makes sense (the hardware platform) vs what Amazon and Google do today to lock people in and use their data in ways the majority of us don't want it used.

[0] https://snips.ai/
It does indeed.

https://gist.github.com/masak/2415865
Not really?

Literally throwing a dictionary on the floor and pointing would work. Or checking whether the name is being used via a 2-sec google search? People avoid start companies with the same name as other companies -- it's not that hard.

In this case, what about Fett? Flask + (D)jango Fett
Jstates – A simple, small, extendable, understandable, JavaScript state library
And one could say it is also inside-out:

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

Basically in ColorForth, color is sort of part of the syntax. For instance when you want to define a new function, you would use the red color to type its name.
Even then, can't you tailor the whitelisting in a way where it only whitelists specific services on AWS? You could even make it timed so that other IOT devices can't exploit it.
Inconsistent Behavior of Git Merge
They have an extended warranty on those keyboards. Four years I think. They repaired one of our company machines that was two years old no questions asked.

They aren't perfect but I'm not aware of any device maker that is much better.
Synchronization of chaos
I have been emailing links to myself tagged with a one word keyword for the last decade. They focus on things that I or my (unconceived, unborn) son or daughter would like to read, learn or understand “later”. I have about 10k sitting in my inbox (including this one) that I plan to convert into a critical path and consumption order once I take a sabbatical.

Sometimes the best systems are the simplest.
Unless this job was a study on sleep deprivation, how could they possibly believe they had the right to do this?
> A fully-populated 128-bit storage pool would contain
2^128 blocks = 2^137 bytes = 2^140 bits; therefore the minimum mass required to hold the bits would be (2^140 bits) / (10^31 bits/kg) = 136 billion kg.

> Thus, fully populating a 128-bit storage pool would, literally, require more energy than boiling the oceans.

Very definition of excess as well, so thanks for proving my point!
what country was this in?
What Is a Photocopier?
When did Chrome stop supporting web speech to text?
Skimming the transcript, I can’t help but feel like this field needs to study some signal processing ideas. They use a word like noise, but never use a word like filter, or attentuation. Even their use of the acronym BIN is unfortunate, since binning is a very important concept when dealing with the frequency domain.
what do they mean by "full page animation" and why is that suddenly the benchmark for fast rendering?
A valid use-case is to provide a UI for API products (Stripe, Lob, Twilio, etc). The main product is an API for customers to use but you may also want to be able to login to their website and check the current state of affairs of your account. Since you already have to build an API for your customers and everything you're showing might already be possible with the API, you can create a UI to glue the request calls together. A SPA can use the same API, avoids you having to write new code for your website and you get to dog-food your own API.

Disclaimer: I work for Lob.
I have been using home assistant for about 6 months now.

Currently I am mainly using it to show what is happening around the home (device detection, adsl data usage, weather from my simple weather station, house power usage etc, local train level crossing state (barrier down/up))

Very impressed with how easy it is to add new items to the overview.

I have one smart plug, the intention is to control the Christmas lights this year. I did do this about 15 years ago with my old x10 system and it would be nice to try something a bit more advanced.
even if monopolies are stifling innovation? limiting consumer choice?
No doubt, but there's no consensus algo like PoW right?
Beware, I used to do this but VPS subnets are blocked in many places. And also attract a lot of attacks.
What industry was this and where?

There are some industries (architecture, design, medicine are some that come to mind) where sleep deprivation is viewed as a macho badge of honor and there's this culture of showing off extreme workaholism. Of course this is not efficient work due to cognitive impairment and burnout, but it's more of a macho / hazing thing.
No one's said this clearly so I will. oxylabs.io as described in this article is an awful unethical company and should be investigated for criminal activity. If NordVPN is using them to bypass DRM controls, that's pretty ugly.

The central concern is how they get their 32M "residential proxies". I spent a few minutes trying to get an answer and could not find one. The article straight up assumes it's coming from malware, which certainly seems possible. I could also imagine them buying legitimate access from ISPs but given the various legal and technical issues involved it seems less likely.

Is there anything directly connecting Oxylabs to malware? Again I looked for a few minutes and didn't find anything clear. I did find a couple of troubling posts on Reddit from Android Devs saying Oxylabs approached them offering to "monetize your users with our SDK", which sounds like the slippery slope to malware. Or at least bundleware without meaningful consent.

https://www.reddit.com/r/androiddev/comments/ajfc7w/question...
https://www.reddit.com/r/androiddev/comments/ao27tu/my_app_w...

BTW, Oxynet has a list of the ASNs they have proxies on: https://intro.oxylabs.io/hc/en-us/articles/360003444780-Supp...
Could 3D work here by having comments on a different focal plane than the actual code and then by switching the focus plane? This way one either looks at the comments sharply or at the code itself.
They are how I discovered the blog. Eye-opening.
Yesterday was all about getting enough light during the day, today is about getting good sleep at night. Hopefully we'll also hear about eating healthy, getting some exercise, and the importance of healthy friendships.
Go on Amazon and get yourself one of those acupressure mats. Worst case, you will lose like $25, but I can attest to its effectiveness as one of the early users (and I have recommended it to friends ever since). Cheapest thing ever that can change your life.

I have trouble falling asleep, mind racing, all that jazz. I have to be EXHAUSTED to fall asleep. This thing is a miracle. After 15-20 minutes, you start drifting off, then wake up on it about an hour later, toss it to the side, and immediately fall back asleep, super-drowsy. And in the morning you feel like you had slept 36 hours straight.
If there was an alternative to sleep, then that would be a huge evolutionary advantage.
filed under no shit
Dark material: the black alchemy that can arrest carbon emissions [biochar]
We use TLA+. There's nothing particularly magical about TLA+. There are a variety of modeling languages and model checking toolkits out there. I've yet to encounter someone in industries that have commonly adopted model definition & checking who uses TLA+. It's popularity seems highest among folks in newer SaaS/IT arenas than elsewhere.

More often I run into folks using SCADE's model checker. Tied for a distant 2nd, I'd say I've run into more folks who work with NuSMV, CADP, and mCRL2 than TLA+. This could also be mostly sample bias, and it's worth noting that the folks who use any of these things are in the very extreme minority of architects & developers that I speak to in automotive, med. tech., industrial automation, etc.

Though, like I said, we use TLA+. Not for any particularly good reason than it was a sufficient tool among the variety of comparable tools for what we needed to do, but I expect that if we had to go back and do it all over again we'd have selected something else. The specification language has some annoying warts, the checking performance isn't comparatively very good, and the provided IDE works in almost exactly the opposite way any of us wish it would work. To the point that one of our engineers figured out how to wire it all up through Emacs so we could stop monkeying around with TLA Toolbox for 90% of the work. Of course, everything has problems, so TLA+ isn't notoriously different here. We've just used it in anger more than other things.

For whatever it's worth, I also used to be an Erlang developer and used to play around a bit with McErlang, which I think might be a dead project now. However, there's an active project called Concuerror (https://concuerror.com/) which kind of covers the same domain. I don't know how well it works or what its level of maturity is, but it is very interesting in this one very important regard... it's model checking against your actual program implementation. That's an enormous and fantastic difference. Model conformance of concrete implementation to your design (and checked) model is an enormous problem, and tools which can close or remove that gap can be enormously valuable. What I don't know is the level of sophistication of Concuerror, nor if it is able to check for the kinds of properties you care about in your systems.
Inflation is already priced into bonds. It doesn’t matter as long as it’s more or less predictable.
Voyager 2 Illuminates Boundary of Interstellar Space
> they're taking any possible device that connected to the VPN including routers, laptops, iphones, tablets, connected hard drives, etc.

Mind you, that's just sensible evidence-gathering. If law enforcement thinks that the homeowner did in fact act illegally and is using the VPN for deniability, then there would be ample cause to search attached or potentially-attached devices for direct evidence of illegal behaviour. If some is found, that's compelling circumstantial evidence that other identified VPN activity was also instigated by the connection-owner.
The details of what I record (in another comment[1]) might be idiosyncratic and uninteresting to you. Those details aren't important. The important point is that so much information belongs in multiple places. A single statement, let alone article or book, might regard all of economics, justice, common sense and beauty. It might be about parsing, Haskell, and keeping data types flexible. I'd like to be able to search based on any of those things.

If there were a clean distinction between entities and tags, existing solutions would be enough. But what if you want to draw a relationship between two relationships? Most sentences longer than three words, after all, are higher-order relationships. ("Birds #avoid beetles ##because beetles #are hard to digest", for instance, is a second-order because relationship joining two first-order relationships.)

The searches Mr. Borichevskiy imagined are, I think, good arguments for why you would want to be able to encode arbitrary higher-order information. I believe Hode is the simplest solution possible that allows it.

[1] https://news.ycombinator.com/item?id=21665698
> I doubt this has much precedent in history. //

On the contrary I'd imagine there was a deal of precedent for it, but probably not well recorded.

I've the vaguest recollection of inferences that crusaders in a North African situation resorted to cannibalism -- I'll have to look for the source on that.
Rav1e and Gains on ARM Devices
Looking forward to the posts on how Financial stability is conducive to a low stress environment overall improving the mental and physical health of all affected.
>As a Czech person, I strongly felt like German banking is 20 years in the past. Why the heck would you have ATMs with opening hours, and not accepting all cards?

Never seen an ATM with opening hours, other than ones located inside shopping malls where the entire mall completely closes during the nights.

I never had an ATM refuse my card, tho. The worst was some steep fees (see below).

>Why does it cost so much (or anything?) to withdraw?

Because banks are in the business of making money ;) Seriously tho, most Germans do not pay for withdrawals, you "just" have to remember to go to an ATM of your bank or one of their partners, which admittedly you have to know about and then it's a bit of a hassle.

>Why are your businesses not accepting cards, or only accepting some cards with weird details like "CCs only German, other cards only EU"?

Now that's actually more of an issue, indeed. I think it's a combination of

- Germans still really loving their cash, so everybody usually has at least a few bucks in cash with them,

- Germans always being a bit conservative about new tech (that can lose them money or get their persoanl and/or banking data into the wrong hands),

- Germans really despising when somebody in front of them wants to pay for small purchases slowly with a card (insert into reader, type PIN and/or sign) instead of quickly with some cash

- and small shops not wanting to go through the hassle of setting up this stuff. Both legal and also the tech aspects are a burden; there is a lot of red tape to get accepted by upstream processors and CC companies; and the system isn't exactly unified either. Especially small independent shops that usually sell stuff at a few bucks per customer do not really seem to see the point in offering card payments. And from what I heard, purely anecdotal and second hand, it's far more of a hassle to get set up to accept credit cards, especially issued by foreign banks, than German bank cards, so that may explain why some shops will accept some card but not others.

Then again, everything that's part of a chain or franchise usually accepts cards, and most actual restaurants do too (but some still don't, which can lead to a lot of awkwardness once you try to pay), as do virtually all gas stations, and so on.

As a German, that's just something you're used to and expect: The people in the doner shop or asian food truck or Kiosk (newsagent/corner shop) will stare blankly at you if you want to pay your less than 10 bucks with a card, even when they accept cards.

Anyway, banks been rolling out contactless payment systems recently, which might change things for small item purchases finally (or rather eventually). Which, of course, is an area where Germany lacked behind.
Same here. It was a clever hack to move Futures forward without (it seemed) needing changes to the language. But for the sake of simplicity, I'd prefer Rust to have some first-class language construct for self-referential structs.
How do you track the train barrier state?
Rip Laval people
I write async code and I have never, ever used Pin.
You should try rural USA. I’m currently sitting in an area 1 hour from $65/gigabit but the best they can get here is 1.5 down .3 up.
> The ironic (and to me: annoying) thing about the really vocal moralists is that the concept of self-reflection seems to be entirely foreign to them. The problem is always with other people, and those other people just need to change, no matter at what cost.

That's your assumption, and I believe it's pretty wrong. Advocating for changes that go against your own immediate self-interest isn't lack of self-reflection; if anything, it's often a signal of a correctly pointing moral compass.

No man is an island. Rare is the person whose friends and family work in the same booming industry as they do. Even if you benefit from exploiting other people, you might want to that exploitation to cease for the sake of your own life, or the society you live in.
Btw you don’t mention repudiation in there, but would you say it makes sense to say that most signature scheme actually don’t provide non-repudiation?
Somehow you've mistaken a statement about the complaince of Americans due to the level of comfort we have, with the actual legal structure and rights available in two countries.

Additionally, I don't hate America but readily admit we have our faults.

Your statement about my travels, is equally inaccurate.
>They promised they had nothing to do with Oxylabs, but now that assertion seems to be false.

Only if you deliberately misread the post, which is clearly saying that NordVPN doesn't use its users' devices to route traffic, unlike HolaVPN. It doesn't say they don't use Tesonet services to route traffic. They're denying being a supplier to Tesonet, they're not denying being on the demand side.
Is it possible to adopt this as a manufacturer? For example, can we deploy easily new functionality? Can we push security updates?
We discuss this exact attack (and blog post) in Section 5.1 of the paper :).

IIRC: it was missed by both an academic analysis of LE and a 3rd party audit of their crypto design. Thankfully Andrew spotted it a few weeks before they went live in major browsers!
And causes hallucinations!

Will post my story here in the near future, but let's just say a good man was doing my taxes at 3am. It was okay at first, because he was a hard worker. Suddenly I realized it was 3am, and told him to rush it. He complied, hunched his back and buried his nose in all the documents. I looked down at my legs and saw that I was wearing my boxers only, I told him to hurry it up because I gotta go to bed. I could hear him mumbling a response and hunching his shoulders some more to work faster. I felt bad for putting all this pressure on him. I got closer and put a hand on his shoulder, only to find that he had fallen asleep. I looked around and saw that his desk was a crib, and that this man was my premii 2 months old son.

I'm a father of twins.
I'm having a hard time believing that the AI isn't human assisted in some way. I'd expect some incoherent output but there really isn't much. Very fun to watch though.
Just one humble non-lawyer's opinion but I'd love to see merchantability and fitness laws updated to explicitly bar reduced functionality without the forced exchange of consumer data, which is what's happening here. Manufacturers claim they are subsidizing the TVs via data collection, assuming that's true then banning the reduction of features unless the consumer opts in then raises the bar on every manufacturer. If TVs go back up in price so be it.
Disgusting. Slapping the constitution in the face.
So the main use is convenience to seamlessly make stack variables permanent? Intuitively that doesn't sound worth the language design troubles compared to making the programmer declare these things on the heap manually. I'm not that familiar with Rust though.
I mostly disagree.

If your codebase have good, sparse and accurate comments this could make sense.

But I don't see a lot of that. It's mostly low quality and outdated.

I want to see the code, because that's what's actually being executed.
I think that there is a misconception about cause and effect when it comes to corporate greed.

We tend to think that all companies inevitably pursue monetary growth regardless of other costs. If you look at the average corporation that will likely not be true.

Big corporations tends to be greedy because that's how they got big. Not so greedy companies either don't grow or they get bought up by more greedy companies.

The majority of corporations may not agree with the philosophies of the big ones at all. But the big corporations eat more of the cake. One way to counteract this is to starve the bigger corporations of workforce.
Identifying problems != providing a better solution.

Everyone being equally poor hasn't worked in history yet.