skysight-inc/HackerNews huggingface dataset:
> "linear", which is definitely not used in any usual sense of the word: trees are linear, but graphs are not... huh?

While I agree with your overall point, this is a usual definition of linear: each item (eg graph/tree node) is used (eg pointed to) at most[0] once (eg each tree node has at most one parent node, whereas a graph node can have multiple edges from other nodes).

0→2 0→2
↓ ↓ ↓ ↓
1 3 1→3

Left is a tree, and linear (each node has only one arrow pointing at it), while Right is nonlinear because there are two ways to get to 3 (via 1 or 2). In this context it also means that if (eg) you print out the graph in a naive S-expression-style traversal you'd encounter 3 twice (eg "(0 (1 (3)) (2 (3)))" when each node is a list).

This sense comes from linear functions, which can be expressed with at most one use of their argument in the form λx(Ax+B) for A and B constant in x. (Under this scheme, x² would have to be expressed as x·x, which repeats x; linearity in programming languages generally allows numeric values to be duplicated freely, so this is only of etymological relevance.)

0: or possibly exactly once; I can never remember which of those is "linear" and which is "affine".
> Finally, as we hinted at before, even if Netflix is legally allowed to remove the Cuties trailers and clips from Twitter, that doesn’t make it right. It seems that the people who were targeted have a clear fair use defense.

What is it now? Either Netflix is legally allowed to act like this or the twitter users are legally allowed under fair use. It can't be both right, can it?

> “Is a clear violation of our First Amendment rights,”

I wonder if he has ever read the First Amendment.

The First Amendment deals with the government, not private companies. If this were true, every user blocked from Twitter, Facebook, or Reddit could take those companies to court for violating the First Amendment.
Switching from Vim to Intellij
(co-author of typedefs here): having real ADTs with sum/coproduct type constructors is indeed one of the motivations behind typedefs.

re [1] the language behind ATD seems really similar to typedefs (not surprising, it is the "sane" choice) I need to give it a deeper look to point out more subtle differences. Additionally since we developed in Idris we provide proofs that `serialized . deserialize = id`, which is not possible in OCaml.

regarding [2], it's the same idea, except that doesn't follow any well establish type theory or other mathematical structure as the basis of it's language:

Compound = Record
| Sequence
| Set
| Dictionary

This is mathematically already quite complicated.
Again, I've never seen this distinction made before. Please show me a body of literature that claims that dynamically typed languages do not have a type system - your claims on their own do not convince me.
C is the most popular language for embedded systems development by a huge margin.

StackOverflow is also a place for asking questions. C is a relatively simple language and one which has been around for longer than most developers have been alive. There may just not be much left to ask about it.
AMD Zen 3 Ryzen Deep Dive Review
iPhone 12 Pro Max, iPhone 12 mini, and HomePod mini available to order Friday
Are you talking about air source or ground source heat pumps?
it looks like they have already taken the source code down, which sucks cause i would have LOVED to look at it. github has some of the smartest developers in the world working for them and i would love to pour over the code and see the thought process involved in creating the github backend.
icecat has all the tracking stuff from Firefox removed. If you're willing to put up with the "purists" from eg the FSF you get a lot of benefits like not having your software track you or do things you don't like because the dark pattern works with some sales funnel etc.
I'd guess you'll be shipping precompiled essential .NET assemblies with Edge?
Maybe they should look at hosting at 1984.is instead, as they seem to have a more robust policy in place regarding take downs:

"Unwavering loyalty to our customers and their fundamental rights is a core value of 1984, hence the name to remind us of what can happen if we fall asleep on our watch. We state that 1984 as a company and its officers will always go the extra mile to protect our customers' civil rights, including the freedom of expression, the freedom of the press, the right to anonymity and privacy. 1984 will always do everything within its legal power to inform our customers of any inquiries from any authorities, lawyers or courts into the customer's affairs that we may become aware of. It is essential that the jurisdiction that the company operates in is Iceland, where the IMMI legislation is forthcoming, making Iceland a haven for freedom of the press and freedom of expression in general." [1]

[1]: https://www.1984.is/about/
> they’ll have to tell us who’s paying for the ads that we see

Very good. Ads should always be declared.

> They’ll have to report on what they’ve done to take down illegal material

This isn't a fit for the internet as long as it isn't clear what constitutes legal/illegal content. The principle of overblocking has been explained numerous times.

As a European citizen I don't really want the EU to control content for that matter and I am not letting them decide what to watch. Those times are long over. It would only result in users looking elsewhere anyway.

"Illegal information" is something that rarely exists. Since large platforms decided otherwise in a lapse of judgement, regulation can have advantages and disadvantages. It might be needed to put big tech in its place, but should not concern any other platform.

Information about COVID is a negative example of information control, which is concerning. While there are large parts of the population distracted because they are able to make fun of weird conspiracies should not be an excuse to send the EU back to the last century. Government cannot determine what is information/disinformation, since the nature of politics would reduce truthful information to a subset that aligns with current policies. Nothing for the EU to do here.

Sounds overly critical, but until now Mrs. Vestager did a decent job.

Against "digital hate" write some journalists (writers) I read in conjunction with this act. Governments picking on people for internet comments are always laughable and weak. The press seems to be in its own bubble about financial incentives and certainly not aligned with the interest of common users.

The EU needs to advertise itself or its citizens will look elsewhere. Punishing people for comments isn't convincing, so better create some sensible policies, especially if you democratic legitimization is as weak as that of the EU.
Logging of credentials supplied for 1-Click installs comes to mind.
AMD Ryzen 9 5950X and 5900X Review: Zen 3 Breaks the 5 GHz Barrier
Show HN: Breakout Written Using WebGL
> heat pumps that stay > 100% efficient down

Note: there are two popular "efficiency" measures, and its important to realize that they're incompatible.

Air conditioners are commonly "energy moved / energy used", which can reach greater than 100%. If you move 150W of heat using only 100W of electricity, you have 150% "efficiency".

---------

I don't know the term for the other kind of efficiency (I'm not a physicist), but lets call it "inverse engine efficiency". This is "energy out / energy in", which ends up being pretty close to "energy moved / (energy moved+electricity used)"

Under this measurement of efficiency, 150W moved with 100W of electricity is 60% efficient. This follows the more standard physics rule of thermodynamics (you can never go above 100% efficiency: it will always take some number of energy to move heat around).

Note: Car air-conditioners are funny systems. They use the heat from the combustion engine to move heat from inside the cabin to the outside world. So you are literally using heat to move other heat.
other reviews ( big list ) :

https://videocardz.com/95980/amd-ryzen-5000-vermeer-zen3-rev...
Ask HN: Did you get more activity from recruiters in the last 3-4 months?
I have, and I'm wondering if this is because companies are hiring more remotely and thus getting in touch with many more candidates, or are they actually hiring more despite all that's going on?
It seems like Google is just trying to get back conversions that were lost because of VPNs making location based adds irrelevant.
Rust is heavier than the equivalent amount of pure iron, so perhaps it would be possible to put the furnace at the top of a hill and the refiner stage at the bottom and let the weight difference do the heavy lifting.
Yes as someone who has worked in the industry. We will call to verify your employment days before closing. You'd be surprised how many people decide to make stupid career decisions in the middle of loan financing. One guy I had quit his flooring job to become his own contractor. Another lost her job cause their restaurant burned down. I also had one lady get laid off literally the week of our closing (which was awful cause their employer didn't even mention anything to us when we requested her pay information weeks earlier).

What we'd always tell the borrowers is "don't make any life changing decisions while your in this process. Do it AFTER we give you the money!"
I have a decorator to add support for slots: https://github.com/ericvsmith/dataclasses/blob/master/datacl... (although I'll admit I haven't tested it in a while).

The reason it's not an option by default is because it would be the one case where the decorator would have to return a new class, and I didn't want to do that on the first version. As it is, @dataclass just modifies an existing class. I might bite the bullet add a slots option, and we've had discussions on adding a language feature to automatically add slots to a class, based on annotations and maybe some other magic. If we did that, we wouldn't need to return a new class. But it's not a front-burner task for me.
Triggerless backdoors: The hidden threat of deep learning
What libs are you using? I'm using Typescript with Tsoa and Objection and it's pretty good.
It's official: Intel lost the single-threaded desktop performance crown to AMD
- Uno dev here

Accessibility is high on our feature list; we have added aria base support in recent builds of Uno, which the calculator will start using soon (the iOS https://apps.apple.com/us/app/uno-calculator/id1464736591 and Android https://play.google.com/store/apps/details?id=uno.platform.c...) versions of the same app are screen-reader enabled). The Linux one (Snap https://snapcraft.io/uno-calculator, AppImage https://github.com/unoplatform/calculator/releases/tag/1.2.4...) is not yet enabled, but will also be.

The WinUI framework provides great accessibility support, and we intend to port it fully in the coming months.
How is that going to help?
In where I live I heard a lot of bird songs or voices. Well any sound db with AI to id them ?
Aside from not doing these mistakes in your second startup, what do you think you did right?
It's socialism for the wealthy.
As far as I understand there is no such thing like ASIC resistance. Whenever there is an incentive people will build ASICs. It doesn’t matter how complicated your algorithm is.
Could a part of the reason that XPath stayed a niche technology that WHATWG and Google continuously chipped away at XML support and compatibility and shipped 20 year old implementations?
FBX importer rewritten for Godot 3.2.4 and later
It shows the time the ballots were received. Meaning they weren’t just registered, a ballot was cast
Data Structure and Algorithms Articles Beginners Should Read This Weekend
> Do you have a link that refers to this cryptographic verification? Last time I saw this talked about on HN, the summary was that there really wasn't even an ounce of evidence, and that the people who supposedly had it were not sharing it for no good reason, so I'd be interested if there has actually been a proper verification of this.

I don't know what GP is talking about here, but what I remember is at least one person mentioned in the emails confirmed to the FBI that they're real.
Not quite, they couldn't read the cookies. But they could mess with the cookies on github.com somewhat.

The fully writeup is here: https://github.blog/2013-04-09-yummy-cookies-across-domains/
For "usage", mono being like a kind of jvm, you will have a lot of "desktop graphical" or integration issues.

I can't swear that it will really be the case, but here are some examples of kind of thing that I expect:

- Icons, window decoration, style, not matching the system.

- Copy paste issues, for example the middle click not working.

For "dependencies", not considering the real dependencies, you will have to force your user to install mono and its own dependencies. As the application will run on this, in a similar way that you would have to install a JVM + classpath for Java apps. And this one is really fat an ugly.

For "cpu bloat", even if JIT can be more efficient on the long run, there is usually a higher cost at startup. For GUI application that you start often, like a calculator, that could be annoying.

For "ethics", the code will have to run on the mono(ie .net) kind of jvm and so you are dependent of this engine to run your code. And this engine, even if mono is the open source one, is controlled by Microsoft.
They control the language, they control the features, and it is not the spirit that built the linux community to rely on "base components" controlled by Microsoft.
It is a little bit like the control that Oracle has on Java even if not completely similar.
Assuming something is not very useful cognitive tool.
https://www.techempower.com/benchmarks/

A typical web server application has absolutely no problems with Arcs. They will be just a small percentage of overall number of objects allocated. Most of the time it's just your application dependencies\components that you need shared access to.
I started looking into Flutter. Having to code everything in Dart seems to be a stretch. The cross platform UI toolkits should keep the well established composable abstractions - structure / style / script. This trinity provides developer ergonomics, may be we need a layer on top of these toolkits that gets compiled down to code.

Everyone hates XML, but for structuring UI elements it is one of the best tools.
https://singlefamily.fanniemae.com/media/23726/display
> Surprisingly, including the _fmt_ library adds about 2MBytes to the size of the code.

Part of including unicode package itself (transitively or otherwise) has a ton of package-level vars that bloat the WASM. Also, they slow down init because a bunch of code has to be run to initialize them. Also, due to the fact that WASM doesn't have arbitrary jumping, in order to support coroutine yielding and resumption, Go's WASM support puts big br_tables[0] at the top.

A while back, I brought up some efficiency concerns w/ data size and init instruction count[1] but they were dismissed as WASM concerns not Go ones and there weren't any easy/obvious wins. Also a while back, I used an interpreter to run the Go WASM up until actual main, then bake in the data that was initialized and remove init for packages where I didn't need their values[2]. I kinda gave up on using Go and WASM after all of that, but there is real room for improvement there.

0 - https://webassembly.github.io/spec/core/exec/instructions.ht...

1 - https://github.com/golang/go/issues/26622

2 - https://github.com/cretz/go-wasm-bake
The EJC is there to handle discrepancies between EU regulations and nations (not fully/correctly) implementing them.

So this is not a general supreme court. Cases which don't run in local law conflicting EU regulations can't end up there.

EU regulations don't cover everything and do often have large margins of interpretation. They are generally not laws but regulations about making laws.

So there is a good chance your case will never have a chance to end up there even if it continues to escalate.

Edit: also the ECJ does work different in the results they produce then you think, e.g. they can rule that a certain court action/law/etc. is in beach if regulations and anull it to some degree, but that didn't mean they can e.g. force gurillamail to be rehosted. At most they could "annul" a france court discussion that the takedown for given reasons was legal. Which seems similar but is a massive difference as they then could argue that the takedown was still legal due to other reasons and still win (or just delay it further).
In the Beginning was the Command Line (1999)
This sounds very similar to the shop I'm in. Go isn't replacing any of our legacy Java stuff, but we have new tooling to supplement the legacy stuff built in Go.
Pycharm autocomplete is very good - I don’t know if that is what you mean by autocomplete support

Requests is one of the modules that had more change on 2-3, but
being basically the most popular language (for good reason), it’s pretty easy to find documentation for either version.
I imagine a lot more than for Phoenix/elixir whatever that is.

I think you’re being difficult for the sake of being difficult. I am not a leet programmer and that is why I use python- it does everything for you very well and no more. If you want more “cruft” pip install cruft
A picture book to explain big data to your parents and kids
I would encourage you to benchmark linear search and binary search on a dynamic array (std::vector) of a million elements. You may be in for a surprise.

I can only assume you have 4KB of ram.
Missing out is not necessarily meaningful. FOMO is the anxiety caused by missing out. which may cause you more pain than actually missing out on that thing.
Or maybe experienced CEOs have been around long enough to learn a thing or two from the PR staff
I agree as a developer, but I think the economics favour having many incompatible UI libraries:

A. It’s expensive to standardise and agree on what the UI primitives would be, and a standard would force the lowest common denominator of features. If you want a new whizz bang button now you have to create an RFC and cajole agreement.

B. It’s profitable to own the platform, which includes the UI, because then you can charge 30% taxes. If Apple spent money making a portable library they would be attacking their own income source.
Show HN: Codeply v2.1
Could Mustelids spur Covid-19 into a panzootic?
> One that doesn't claim that will now follow...

Typo. Must be: "One that doesn't claim that will noT follow..." obviously.

I must admit that is a badly constructed phrase.
Okay, fair enough, I guess what I'm getting at is that I find it hard to call that socialism of any kind: it's just corrupt government via bribery (probably).
Depends what you mean by "library ecosystem". If it's raw number of packages then npm is number one. On direct opposite side of spectrum you can find e.g. Elixir/Phoenix
- relatively small number of packages in registry but even built-in stuff covers 99% of what you want - and makes this effortless for you.
E.g. after single `mix phx.new YourAppName`
You get

* Pre-confugured prod/dev/test environments

* Preconfigured webpack for the environments above

* DB migrations

* telemetry/metrics with live dashboard

etc

P.S. encrypted signed cookies, changesets (validations for db models or arbitrary forms), clustering, websocket stuff, "liveview" serverside rendering ...
The safety here is within a context where housing is an incremental and relatively uncorrelated expenditure compared to the rest of your assets. It's one thing to lever to 1.2x your net worth with a highly diversified portfolio, versus using a specific kind of bet to lever 2x, 4x, + to maximize returns.

In a low interest rate but potentially high inflation environment, modest leverage is probably more responsible then underlevering by holding a lot of cash-like assets.
> They explicitly did NOT ignore the history of programming languages, and resisted the urge of adding generics without fully understanding the problem that it was trying to solve (in the context of Go). See also: https://golang.org/doc/faq#generics

That's simply not true. Languages like StandardML, Ocaml, or Haskell have already solved the major issues 40 years ago with types vastly superior to what go offers. Since then, nothing has come even close to that level of utility and usability.

Like so many other things in go, it seems a combination of Hubris and NIH syndrome.
Always good to look at "How To" books with a healthy dose of skepticism. Probably more relevant to the "get rich quick" type books, because if they got rich quick, why would they be selling a book to give away their secrets?

Although I find things like farming and agriculture and outdoors to have a less capitalistic shade and more of a genuine "i want to help people achieve their goals and not die" shade.
I have been doing web development for a while and have always found including icons a bit of PITA. To even include a single icon, you have search for the best source, download it, and then use it in your website/app. Inline SVGs can save you some hassle, but they clutter the code, are hard to use in some cases (like backgrounds). Plus, they lack the straightforwardness of a <img> tag.

So, I built SVGBox - a simple API to use 1000+ icons. Directly copy the <img> tag and use it on your website. No need to download anything. You can customize the fill using the API, and after one request, it will be served through CDN. It allows you to use iconsets as a sprite too, giving you the option to opitimize multiple requests.
What are suggesting, that squatting is going to make a comeback? Without the same legal protections it has in Europe, I don't see it becoming widespread.
Of course I heard of Jailbreaking.
The difference was that jailbreaking and modding consoles requires modified hardware to run unapproved software (digitally distributed).
But reverse engineering the development tools and the signing keys in order to create unapproved disks or cartridges is a viable method to create software for unmodified devices. See FreeDVDBoot for the PS2.
> Maybe you are just concerned with Go, but there are similar instances in Java, Swift, Rust and maybe others too. Every big company sponsored language is like that.

How is that true about Rust? Mozilla fired people working on Rust. Now there's a foundation and from the looks of it there are lots of contributions from individual contributors coming through GitHub.
I think it's important to note here that this is only applying to refinancing, not all new mortgage loans..

Nice misinforming title, op.
The fake 'kitchen hacks' with billions of views – BBC
I wish there was a screenshot of a demo app. How do you market a UI toolkit without any screenshots of what I can do? I'm not going to build a demo project to see what the UI looks like.
Hmm I don't unfollow for the occasional politics, but for mindless spam (which could be politics, but not necessarily).

For example, I unfollowed someone who started to post photos of their every meal. And I unfollowed my own mother because she tends to repost every scare "chain letter" that comes across her :)
Agree :-)

Hinton's comment was meant as, and is, an educated guess, expressed as a belief -- much like expressing belief that P≠NP, say, or that string theory will prove to be a dead end in Physics.

FWIW, I happen to agree with Hinton, but only time will tell if we're right!
Although not at present-day population levels.
The sooner we can decommodify housing, the better. Eliminating speculation in the housing market and instead pricing things by how effectively they house people would go a long way for a lot of families.
Corrupção ALÉM Fronteiras