skysight-inc/HackerNews huggingface dataset:
It’s about the content and if the designer wants to add flair - that takes away from the content by slowing down my browser to a crawl.

I can understand if this is a UX/UI art experiment. But it’s not. It’s about NASA images that are collected and grouped together using machine learning.

Edit: I’m not against the experiment. I’m against how it’s presented in the browser window.
Addition as defined in mathematics behaves differently depending on context.
If this is lower-density housing replacing previously-existing-at-that-site higher-density housing, I see your point. It's my understanding that zoning typically enforces the opposite preference, so I'm still suspicious of zoning in general. However, if the previous use was substantially anything other than housing (which would be my guess with it being on "the main road"), this is crazy. There is no rational set of preferences that would prefer both non-housing and dense housing to less-dense housing. At some point the meddlers have to stop second-guessing the market.

Of course, building permits are one thing and demolition permits are another. What municipality happily countenances the destruction of high-density housing without seeing the plans for what's coming next? That is even more crazy.
The client which today is mostly used in private hubs is AirDC. It is optimized for efficient file transfer and comfortable file organization. For instance, AirDC lets you define different share profiles for different hubs, which is tremendous useful to satisfy different share rules for different hubs. To do so, AirDC makes heavy usage of the ADC protocol (http://adc.sourceforge.io), and they implemented nice extensions for it over the years. Recently, build a web interface. Now you can run AirDC on your server, and access it via browser from your smartphone. Otherwise, DC++ is still a legit choice. Both clients are active and maintained. There are other clients as well: ApexDC++ (modern client, but runs still on WinXP, as far as I know); ncdc (https://dev.yorhel.nl/ncdc) and eiskaltdc (https://github.com/eiskaltdcpp) both run at Linux and are maintained.

Concerning hubs: There are hublists, which include open hubs; but don't except quality and safety there. Most great hubs from the past went off the grid at least a decade ago. To go there, you need an invite. You also need to obey to draconic rules, like 24/7 uptime or 6 TB min high quality share.
Ah, thanks for the link, I'll definitely check it out.
I have no idea if this is even relevant...

I recall reading about expirements with octopi concluding that individual organs have different "knowledge."

IE, if one eye learns to recognise an object the other one doesn't gain that recognition. When one tentacle learns a task, the others don't. This was, iircc, explained via their more decentralised nervous system.

No spine and autonomous decision making in limbs means that the brain must only control limbs mostly by sight. The brain doesn't have enough signal to control limbs by feel.
If you are also interested in learning rust (as I am) you'll find an enthusiastic and new "RustDSP" community.

I'll mention that rust is young for this (e.g. VST dev), so if you don't want to learn rust but just want to get something finished - then Rust is probably not what you want. It's great for audio programming but the GUI buits are still immature.

https://github.com/rust-dsp/rust-vst
I’m going to have nightmares after seeing that gif. How can these people be ok with that?
> Speed limits and other legal constraints on dangerous driving are chronically underenforced.

It's worse than that. My commute features a lot of "bicycle traps" set up by local PD to catch bikes running red lights but virtually zero "traps" for rampant car behavior: texting, speeding, failure to yield to pedestrians.

A lot of your other points get Flat Earth style denial from car proponents: I had someone claim that transit was anti-environment. High density housing leads to unaffordability and shortages. It's maddening.
The IBM J9 JVM was open sourced and now lives as the Eclipse OpenJ9 project [1]. We rely on interpreter profiling (block frequency, and value profiling) before the JIT gets it's hands on the method. Once the JIT has determined the cost/benefit is right for a JIT compile we will run through an extended basic block ordering optimization which will lay out the code by block frequency calculated from the taken vs. not taken profiling information on the branch bytecodes given to us by the interpreter.

The persistence portion you mention between runs is our AOT capability in which we are able to cache JIT method compilations on disk and load them between different JVM invocations to greatly speed up startup performance. There is a recent series of blog posts on the AOT technology in OpenJ9 in [2].

[1] https://github.com/eclipse/openj9

[2] https://blog.openj9.org/category/jit/aot/
Grab Confirms $1.46B Investment from SoftBank’s Vision Fund
Sure, the ones officially contributed by the NSA. What you have to wonder is how much code was contributed by some seemingly normal community member that is actually a front for the NSA to introduce subtly flawed code that they can use to their advantage while being plausibly just a bug?

There are those who suspect Heartbleed came about this way.
Cable would also be reasonably called a competitor.
Not in closed circles/ellipses. With finite wave amplitudes, a fluid parcel in wave motion experiences Stokes Drift (https://en.wikipedia.org/wiki/Stokes_drift).

In water, this effect arises because the fluid is deeper at the crest of the wave than at the trough, and wave velocities are faster in deeper water. The fluid parcel moves up -> forwards quickly -> down -> backwards more slowly.

I'm curious about whether the researchers here have demonstrated a similar effect for sound waves. Pressure waves have similar dynamics (with faster particle movement at lower pressures), and the researchers mention that this is a finite-amplitude effect.
Recycling Is Broken
That doesn't preclude people from responsibly modifying cars or building their own planes or whatever.
You forgot my favourite time slots, 11-7, 12-8 and 1-9 :)
Anecdata: I had a friend have his Model 3 get sideswiped badly while parked outside his house 2 days after he took delivery back in early December and he just finally got it back this past weekend. Kinda puts a damper on that new car exuberance.
I think it also helps a lot to move around all day (as one does while camping). I feel so much better.
Reason being that people picked this up very quickly and for once this poll even made it into mass media before it was over. I think this only shows how much changing clocks annoys people; they hear about a poll, they go vote.

AIUI in most other countries this initial pick-up and publicity just didn't happen.
> Wouldn't OCaml or Haskell have been better examples? Why use Agda, Idris and Coq at all if you're not going to prove advanced program properties?

Why not? Just because they have advanced type systems doesn't mean that we need to make use of those features; the same way writing a Haskell program doesn't require us to use closed type families, multi-parameter type classes with functional dependencies, etc. or OCaml doesn't require everything to be an applicative functor over a row-polymorphic existential, etc.

As an aside, when I am doing fancy things with types, I personally find dependent types much simpler to think about and work with than the tower of cards that Haskell and GHC have been building via language extensions. The downside is limited type inference :(

In any case I was trying to highlight the common implicit assumption that programs written in languages with feature X (like powerful types) must therefore use feature X. There's no reason for that to be the case: programs in Haskell and OCaml can be stringly typed, so can those in Coq and Idris. Yet this clouds comparisons, where on one side we might have a formally verified microkernel, and on the other we might have a pile of bash string interpolations.

I will readily admit that Coq would be a pretty horrible choice for writing regular software, but mostly due to ergonomics like having multiple nested languages (vernacular, gallina and ltac) and having to "extract" programs to run them. On the other hand I think Idris is really nice, and would enjoy using it for projects which don't rely on some exising library infrastructure.

> How often are you really doing non-structural recursion though? It's exceptionally rare to write complex loops like a GCD algorithm was my point.

It's definitely a small fraction of the number of `map` or `fold` calls I write, but it's not insignificant. I worked on a project recently that made heavy use of sets, so there was a lot of sorting going on which IIRC wasn't structurally recursive; it also calculated least common multiples (similar to greatest common divisor) as part of a random sampling function. That project was in Racket though :P

> Either way, I agree an escape hatch for proving properties can be a practical solution.

In Coq I often just stick on a decreasing "fuel" parameter, turn the result into an `option` and bail out with `none` if the fuel runs out :P
> It’s not that nerds, geeks and technology-savvy audience of HN wants something for the “power user”. It’s that we want simplicity in design. We want to get rid of decoration and get to the essence of what is being presented. Animations, fancy loaders, etc get in the way of enjoying the content.

My whole point was that "decoration" can be enjoyable.

> “Chill out, this is supposed to be a relaxing experience” is not the answer. It’s condescending and out of touch with reality. You haven’t put forth a compelling argument besides taking an anti-cliche stance.

You're assuming all users have this stance, and that's what's actually condescending and out of touch to me. You haven't really put forward any compelling argument that doesn't fit my description of HN users assuming what they are looking for in a website is in any way representative of what the average user wants. It's the same thing as the tech crowd getting shouting at phone manufacturers because they're removing the headphone jack: surprise surprise, the average user doesn't care enough about plugging in an adapter that they won't buy the phone.

> Do you remember Apple’s “Cover flow” where you can scroll through album covers? This website reminds of how designers get carried away by fancy, novel ideas. It was a massive failure, everyone used album lists, it was slow as hell and Apple finally killed it in one of the recent MacOS releases. It’s not about “power users”.

Cover Flow was a failure as part of a music organisation software. This is part of Google's "Arts Experiments". It's _meant_ to be pretty and flashy.
Chemical pollutants in the home degrade fertility in both men and dogs
This can certainly work out but it's much riskier than a solo or married couple purchase. When it works out it's an amazing arrangement. So high risk high reward, I guess.

Architecture seems important too. Every couple I know who successfully lived with another couple or singleton, each person/couple had their own floor to retreat to.
A friend pointed out that large states in general would benefit relative to small states in general, even if by a small amount. However, I don't see California and Texas voting together any more than I see Wyoming and Vermont voting together, so that too seems like a wash.
I'm afraid that this suggestion is a bit glib and simplistic: there are people (my S.O. being one of them) who despite no alcohol, no artificial light after dinner and all doing "all the right things" still can't fall asleep before 2-3am, which then leads to 4- or 5-hour nights all week long. For them, catching up on the weekend is the only solution (albeit an imperfect one).
I would expect that this is mostly limited to software-related problems or really small stuff (wipers and window washing fluid) and for everything else they will just tow your car away.
Everybody would have been better served by allowing the defaulting owners to remain in the homes under some sort of managed process until they could start making mortgage payments. Or restructuring the mortgages. Instead as you point out these banks were suddenly residential real-estate owners with no existing property-management capabilities and many of these already underwater properties lost further value due to neglect.
Did they ever tell you why they did that?

I'd like to hear the rest of this story, I was considering buying IDA Pro (though these days I'm having a lot of fun adding M68k support to Avast's Retdec)
PXE Dust: Finding a Vulnerability in Windows Servers Deployment Services – CPR
You think HN has a unified view? And does that "we" include me and you? Or is there a chance there might be levels of perspective and the point of this project has gone way over you?
Facebook Still Tracks People on Yelp, Duolingo, Indeed
How do you know he uses mostly weak papers? That is an overgeneralization. And why would he? Which papers should he have chosen?

And I never said all scientists agree. Typical straw man. But what I will say is there are plenty of climate change deniers that claim to be scientists.
New Intel CPU Vulnerability Bodes Well for AMD
if remote work catches on and is popular this would be great - unfortunately we are seeing all the opportunity and jobs concentrate in the most expensive places in the US right now.
Traffic stops by police leading to fatal or seriously bad outcomes (jail, property seizure).

You could also attempt to clumsily extrapolate PoC to mean "high crime neighborhood" or historically segregated/red-lined communities which would mean higher insurance rates or other ownership costs (parking, towing).
MTG Alpha 'Black Lotus' Sold for over 150k
> There’s a lingering hope among people who are Extremely Online that the internet will somehow right itself and again become the place of bizarre daily delights that made it so engaging in the first place. Those days may be gone forever.

Meh. Just because a big part of the internet really is like the "torture chamber" of Clockwork Orange doesn't mean the internet of the early 2000s is gone. I used to hang out in some forums as a young teenager, and these forums are still there, and active. All of the IRC channels I was active in 2002 are still there. I can still use ICQ to send messages to people I now know for over 20 years. You can still spin up a personal homepage with nearly the exact amount of work as in 2001 (at least in Germany, you had to be very careful regarding legal issues even back then). It may be buried under a ton of shit (read: ton of tweets), but the internet of 2000 is still very much there.
MJIT Support in Ruby 2.6
If I observe regular office hours, it's dark when I go to work, and it's dark again when I get out of work. One hour either way would make barely any difference. Don't see the point. And in the middle of the summer the sun raises around 4:00. So, yeah.
I don't think we disagree. I'm a big fan of DSLs/languages over further app complexity. To clarify my point, Another Language (tm) is not the problem. The problem is a lack of understanding of the fundamentals.

I keep seeing people sell tech/languages/frameworks as some sort of replacement for deep understanding. Hey, that's cool -- as long as you don't spend all your time honking around with the tool instead of the problem. It's when these promises fail that devs and teams end up on a dark, lonely path with unhappy customers.

Overall I am quite fascinated by the concept of new environments for programmers -- and I believe it's not just new languages, but the tools, the industry background, the workflow, and a lot of other things come together to make tools and frameworks rock. (Many times we all want to geek out on language details when the problem with the language is lack of a community or tooling that makes you want to jump out a window. But I digress.)

Something I'm working on is coming up with guidelines of when and how to create good DSLs in order to create that kind of environment.
Let's try the Eleatics next, or any of the other presocratics.
Changed the title from 'Guess what? Facebook still tracks you on Android apps (even if you don't have a Facebook account)' (too long for HN and missing details)
Maybe you should check out the realclimate website.
If the house is worth a lot more than the debt, you don’t see many foreclosures. An owner could simply sell their house and keep the profit, or take out a HELOC. Foreclosures are much more common when the debt level is high and/or the house is under water.
> All the socializing was just hollow small talk and no lasting connections were ever formed.

You have to be the one who moves the conversation from chit-chat about the weather to interesting topics. Sure, it's fine to show up to a dev meeting and chat about your favorite APIs and all, but that won't help you make friends.

The vague process chart I personally use looks like this:

1. Determine if you share common interests with the person (eg, small talk about things you do)

2. Talk at a higher level about a single interest. A good trick is to treat the other person a bit like an expert about that interest - "Oh, what board game would you recommend for X?"

3. Make an offer to hangout in the future. It should be in a situation with multiple people and a public place. You're not trying to invite them to a date, but instead communicate that you're already doing something and want them to join: "Hey, I hang out Tuesdays with some folks at the comicbook shop and play boardgames. You should come join us."

4. If the person finds that agreeable or reciprocates, exchange contact info. I usually just hand them my phone with my contact info on the screen so they can choose their preferred method, but you can also give them a personal card.

Congrats, you've now made a new person you know. Hang out with them, invite them to things. Relationships are like gardens, they require regular tending and maintenance at first but as they get established, they only need occasional check-ins.
I currently have a newborn and I know this too well from experience! I can get a few extra hours on weekends but it definitely does not help once the work week starts again.

One advantage of the extra time is that I finally have beaten my favorite game FTL with every ship! With our first baby I read through all the Game of Thrones books (I was hoping book 6 would be out by the time this kid was born!!)
Labor can be pulled or pushed in certain directions. They're bringing in labor on reproducible builds. I'm saying they bring it in on QA. Those currently directing it try to move it in a different direction.
Waymo: Bringing 3D perimeter Lidar to partners
What is a dog post?
Cancer Inc
I understand the economic reality, but it’s somewhat depressing how it seems like we think only in these terms now — what will maximize financial returns. The investment part supersedes the original purpose, which is to have a place to live.
First, amazing post, I want to see a blog post of someone's day entirely like this.

> That isolation is great though because I went straight back to enjoying my beer.

Second, I find the isolation to be a bit leaky - rarely am I immediately back to my normal operation. Maybe I need to reimplement my VM.

Third, isolation in theory is great, but in practice requires far too many resources. I agree that the "internal virtual machine" metaphor is fantastic, but if everyone is running it to fit in with society...we're wasting a ton of brain space at the societal level.
Android Jetpack WorkManager Stable Release
This site reminds me a bit of how the web used to be and I like that occasionally. It forces me to slow down and explore, not funneled through a proscribed experience.
I’m very curious where you found Hassabis saying DL is at a dead end. I would be really interested to watch or read if you have a link.
Financial intermediaries often have reporting duties in the US. However, there are several services that greatly automate the process.
Good list. Practical Common Lisp deserves that spot at the top. It's very approachable and provides examples of all those features you keep hearing good things about. I remember running through the spam filter chapter and finding an email that SpamAssassin misclassified about four years prior.

I think my favorite Forth introduction comes at it from the other direction, though: https://github.com/nornagon/jonesforth/blob/master/jonesfort...
I think we all agree that these people are the exception to the rule. Just like Elon Musk isn't your typical CEO or Terry A. Davis isn't your typical developer.
> and you wake up 'naturally' 45 minutes before the alarm with a mind full of worries.

I call that my weekend alarm clock. When I was younger I'd stay up late on the weekends and wake up an appropriate 8-10 hours after I fell asleep. Now I can go to bed whenever and still wake up at 6 am to the thought of "Hey, do you think that crack you noticed yesterday is a sign of foundation problems? When do you want to fix that sink? You really need to think about getting the deck replaced."
I agree that with that kind of complexity (or with the belief that that kind of complexity is inevitable) it isn't a great idea. You lose isolation, and if you can't predict which rows will be touched you're hosed.

One mitigating factor, this sort of optimisation should be applied to frequent queries more than expensive queries. In some use-cases the former kind may be simple ("Is this user logged in?") even if the latter is not.

And on keeping that complexity down: the traditional story has been "normalise until you only need to update data in one place," but often requirements don't line up well to foreign-key constraints etc. The newer story can work, though: "Denormalise until you only have to update in one place, shunt the complexity to user code, and serialise writes." It's anathema to many, but it is becoming more common (usually in places that don't use RBDMSs though.)
The Cybersecurity Industry Makes Millions, but Is It Keeping Us Safe?
Neither of you have really presented an argument that (a) establishes that net metering is overall more expensive than other renewable means of supplying the electricity (b) the price of electricity fed to the grid is strongly coupled to the retail price charged for it, rather than a operating as two separate markets; (c) that electricity pricing, which everyone consumes, is actually regressive; (d) that the effect of solar energy supplied at peak time is actually an overall increase in prices, especially those paid by retail consumers ("duck curve"); (e) that this overrides all other ethical or redistributive concerns.

There's plenty of argument in the other direction:

http://www.renewwisconsin-blog.org/2014/06/judge-overturns-r...

https://ctmirror.org/category/ct-viewpoints/eliminating-net-... "This “cost-shift” argument is a tactic from the utility playbook and is commonly used by clean energy opponents. But it lacks any basis in fact"

https://www.utilitydive.com/news/wellinghoff-and-tong-a-comm...
Net neutrality stopped ISPs from tolling traffic from sources like Netflix and its CDN partners, thus making Netflix cheaper. These costs were then spread among all cable customers, regardless of whether or not they were Netflix customers. For the record, this is not nearly as significant an issue today as it was 5 years ago.
Why not something like TeamViewer?

https://www.teamviewer.com/en/download/linux/
indeed many people are biologically wired to be "night owls"; it's a well established individual difference in the psychology literature:

https://www.ncbi.nlm.nih.gov/pubmed/10849238