skysight-inc/HackerNews huggingface dataset:
Casinos can refuse service to someone who wins too much anyway (e.g. counting cards), so that's not such a big problem for them.
YouTube Responds to the LGBTQ Community during CodeCon
Can anyone recommend any books or resources to get started with pcg??
There’s actually a pretty good real world metaphor when you realize that Google is a telecommunications company.

Imagine if when people called your restaurant to make a reservation the phone company had someone else answer the phone first and suggest you try a different restaurant.

No metaphor is perfect but that’s pretty reasonable. Conceptually Google is some kind of an amalgamation of a common carrier and natural regulated monopoly at this point and should be treated as such.
Mobile Free Antivirus
PREDICTION: Redmond gives up on the traditional OS business and instead offers Windows 10 on a Linux chassis, a la Darwin/Aqua.

And there is much rejoicing.

(yay)
The usual counter-point is that even when you're solo you're not - it's you writing the code today, against you reading the code in 6 months or more and not remembering anything. I think that's often overblown in importance though.
It's not a bug. Its part of a patent Google holds designed at frustrating access for bots.
I get these messages now. Probably everyone will at somepoint. Its a problem big enough now that extortion's mention in the Revelation makes perfect sense.
The US is perpetually at ‘war’ on purpose. It helps to justify the military spending which in turn boosts the economy.
According to Susan Wojcickis statement YouTube/Google can't enforce policies because there would be "too much content to take down".
My "favorite" is the one where you have to select the boxes with traffic lights. Does that mean just the actual lights, or the entire structure? More importantly, what does Google's AI think the answer is?
I guess it's down to what qualifies as "fast" and "cheap" - I tend to use dirtypcbs, mainly out of habit, and they're usually well within 2 weeks to my door in New Zealand via DHL shipping. OSH Park is in the US and claims under 12 days to ship with their standard option, their 5 business day option doesn't look too expensive. There are probably other competitive options available.

For my hobby stuff, I feel like even if the board fabrication were instantaneous it wouldn't affect my project start-to-finish time very much. The time designing boards, making mechanical bits, and developing software are dominant, and my hobby time comes in little bursts, often several days apart. It would also take me longer to design a board for home manufacture and to do the assembly, since my hypothetical home fab won't produce reference designators, solder mask, nor vias.

Anyway, I'm not meaning to talk down at folks making their own PCBs, but more wondering if there's some missing information or niche there.
My experience at a big defense contractor was like that. Huge spectrum of work. Fortunately I got to work on some very cool cutting edge (at the time) technology. We were developing wafer scale integration, doing things like inter-reticle stitching to make chips the size of an entire 4 inch wafer (4 inch wafers were common at the time). Through on-chip redundancy/self-testing/configuration we were getting 50% yield. It was pretty amazing. But so many other engineers were using stone-aged technology to field satellite systems, working under hugely bloated management structures where easily 20% of your time was spent reporting and accounting for hours and costs. For quite a few years I was clever enough or lucky enough to avoid ever having to work one of those dinosaur projects.
> Category theory ... has the potential to be a major cohesive force in the world, building rigorous bridges between disparate worlds, both theoretical and practical.

I got this same impression while delving into type theory [0], but even moreso with category theory. It seems the chaos of the information explosion is being organized and how we presently do software and data may go the way of the dinosaur "overnight".

0: https://en.m.wikipedia.org/wiki/Type_theory
>You are not the target market for this product.

I've been using Firefox since it was Firebird. The people who did not abandon it are technically savvy folks who enjoy controlling our browser experience.
Hope you all remembered to short sesame seed futures.
Doesn’t automation of editing your hosts file potentially open people up to fairly insidious man in the middle attacks?
On Apple TV there is a 9 minute documentary about this relationship and specifically Apollo 10. It aims to answer the question: was Snoopy a secret astronaut?

It’s pretty cute.
>We can’t use unsafe.SizeOf as it is not a constant expression

I'm not sure why Dave claims this, since the docstring of unsafe.Sizeof says, "The return value of Sizeof is a Go constant," and this can be trivially verified: https://play.golang.org/p/OvShLD4KLKY

By the way, it turns out you can exploit Go's map initialization rules to assert arbitrary boolean expressions at compile time: https://twitter.com/lukechampine/status/1026695476811390976

And this turns out to be rather useful in combination with unsafe.Sizeof, since you can use it to write compile-time assertions about the size of your types.
That all sounds like frontend components to me. Is there any benefit to duplicating the implementation of business logic for each micro frontend? My instinct is that would lead to inconsistent behavior across them.
work on side projects and draw
It was with your comment that the thread became unmoored from the topic and went to Genericland. Such threads are lower in quality, so we moderate them more. See https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme... for plenty of posts about this over the years.
Mmmm there's a bit of truth there.

I have to use HeidiSQL in Linux via Wine because IMO all GUI MySQL clients written for Gnome are either not powerful enough or are just memory hogs.

But you will have to kill me before I use something that's not a dark theme in my code editor.
Who said the database needed to be of any particular size?
http://www.streamingmedia.com/Articles/Editorial/Featured-Ar....

"We will be satisfied with 20% efficiency improvement over HEVC when measured across a diverse set of content and would consider a 3-5x increase in computational complexity reasonable."

Encoding time takes a backseat.
> In fact, Google has a patent on blocking users by means of CAPTCHAs that always return failure[1].

Erm, unless I'm mistaken, that patent says it's owned by Juniper, not Google. Google is just hosting the patent document.
Just not a big fan of hypocrites. I see it as similar to a country that preaches peace and diplomacy while manufacturing weapons and selling to beligerants.
I don't see the comment as an attempt to influence others. It describes the commenter's experience. We have a site guideline that covers such cases: "Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith."

https://news.ycombinator.com/newsguidelines.html
I see that many people are asking for examples.

Zalando is doing this for couple of years now, you can look at their talk [1] where they describe how they use this pattern + some open source libs for composing those UI components [2]

Many other components of this kind of infrastructure are described and linked here [3]

[1] https://www.youtube.com/watch?v=m32EdvitXy4

[2] https://github.com/zalando/tailor

[3] https://www.mosaic9.org/

Also this
https://jobs.zalando.com/tech/blog/front-end-micro-services/...
I am still learning this stuff (and have only had undergrad abstract algebra), so thank you for the context and motivation.

As it happens, today I was thinking about semirings, and how to apply them to discrete event systems[1][2], and was fascinated to see that both algebraic geometers (Alexander Grothendieck) and computer scientists (Robin Milner) were doing[3] some of the same[4] sorts of tricks to transfer algebraic structures (like rings) over to settings lacking an inverse (like semirings)--rather than take the direct approach (as you mentioned in your lattice example):

There are many times in mathematics where some class of objects has a nice additive structure, except that one can’t always invert elements. One approach is to say, “oh well,” and develop the theory of monoids; another,which we’ll discuss today, adds in formal inverses, in effect pretending that they exist, and uses them to recover something useful.

[1] https://www.cl.cam.ac.uk/%7Esd601/papers/semirings.pdf

[2] http://r6.ca/blog/20110808T035622Z.html

[3] https://web.ma.utexas.edu/users/a.debray/lecture_notes/sophe...

[4] https://old.reddit.com/r/haskell/comments/2d8q24/additivemul...
Google chrome can already identify who you are and it knows you're not a robot.

That said, it still forces you do to work for its self-driving car effort.
You can use single-spa to do this while still having a "spa" and not using iframes.

https://github.com/CanopyTax/single-spa

Disclaimer: I work at CanopyTax
What planet is this from where Tech Goliaths face any kind of "reckoning"? What they are facing is a man-child who feels as though they don't fawn over him enough, who is making noise to injure share prices to compel them to do what he wants, while simultaneously making clear that -should he be sated- he will make his 'concerns' over monopolistic business practices swiftly evaporate.

Neither party here is guided by principles about monopolistic business practices.

Regulating monopolistic business practices is incredibly difficult to achieve in even a stable regulatory climate by genuinely interested lawmakers and regulators. In a White House environment driven primarily through personal animus, this shares vastly more in common with a shake-down than with small-business emancipation.
One of the benefits of renting vs. owning is the relative ease of moving around. Nomadics has a lot going for it.

https://en.wikipedia.org/wiki/Digital_nomad
Such monad interfaces are best enforced by language / compiler, however it is non-tractable to do that. Even in Haskell they just move the monoid check to programmer (especially associativity). What is worse, if the law is violated in some tiny subset of the data, that can lead to non-trivial bug. That is why it is difficult to apply in real world, which is usually very complicated :-(
Thanks!

Archive.org does have a source scan in PDF too.[0]

It would be good then change main link from Gutenberg/GITenberg pages to direct link on Archive.org's PDF.

[0] https://archive.org/download/modernbicycleits00schw/modernbi...
Sure there is -- I use it for my personal projects (so no CFO's), for example for email sending and object storage.

Sure, your own server is fine when you have unlimited time; but once you want to save time (CFO: to pay less salary; personal: to have more time in life for other things), AWS makes a great deal of sense.
We don’t have locusts but down here in the southeast US we have cicadas every dozen or so years.
Probably because it didn't happen; these people got away with it for years, and don't seem to be in any hot water.

They bought tickets and won due to the inherent probability of the game, fair and square. No inside information, no gaming of anything.

What supposed to make mass ticket buying non-profitable is the expected return being < 1, not any hidden terms and conditions.
What does reading a companies pr website have to do with figuring out the facts?
Vulnerability Found in Millions of Email Systems
It’s really the materials used for RF, which typically have a much better properties than the FR4/G10 offered by mass PCB houses.
My well water was alkaline. Not something I'd pay for.
You cannot make an appointment on the california dmv website without using google services, in particular recaptcha. Also, just browsing the website, it tries to log you in.

https://dmv.ca.gov

additionally, lots of schools now require their students to use google services.

I hope there is a privacy lawsuit in the future to stop this sort of nonsense.
Here's the author's github with the reference implementation.

https://github.com/bforte/Alchemist
It's not meant to replace. It's meant to provide an alternative to.
Why should the LGBTQ community be any more protected than any other group?

I see hate towards white people, Republicans, and Christians on Twitter, Facebook, and Youtube and none of the content gets taken down. Complaints are responded with a 'this doesn't violate our terms of service'.

Until Youtube finally admits that it's completely biased and doesn't care about hate speech towards groups in which it disagrees, I can't really take them seriously.
I need to try this, I also need to get a Librem 5, and build my project for it. Anyone know of any good projects for replacing google services with FOSS services that do the same basic things?
The Unique Culture of Japanese Convenience Stores
Curious if anyone ever tried arranging large radar dishes around his farmland and zapping the buggars while flying in with kilowatts of microwaves, no chemicals needed.
Thanks :-) I'm not speaking on behalf of the terrific Mynewt team, but I feel that Mynewt is already a great embedded RTOS with many well-crafted low-level APIs, done in C.

Like the Mynewt Sensor Framework. It really saves you a lot of trouble when building IoT devices. Just pick a sensor driver from their library, and Mynewt handles all the sensor polling for you...

https://mynewt.apache.org/latest/os/modules/sensor_framework...

Adding Rust to the core Mynewt OS may cause "Abstraction Bloat", I think. We will start adding layers of wrappers on top of bare metal to make the OS look tidily object-oriented, to fit all past, present and future microcontrollers, peripherals, data interfaces, ... Then add another layer to make it easy for app developers to call.

No offence to the Embedded Rust community, but I fear that Mynewt with Rust will become a complicated OS with this GPIO code...

https://rust-embedded.github.io/book/static-guarantees/desig...

The best way forward I think: Get embedded app developers to move away from C and port their embedded apps to Rust. Build the apps with safe Rust wrappers on top of the OS.

Once we figure out what kind of APIs the embedded Rust apps really need (e.g. Sensor Framework), then we dig deeper and restructure the OS with Rust. This could work with any embedded OS: Mynewt, Zephyr, FreeRTOS, ...
Procedural Generation in Game Design - provides a good overview, but is a bit light on implementation details.
https://www.amazon.com/Procedural-Generation-Design-Tanya-Sh...

Mazes for Programmers - only covers procedural mazes, but contains a lot of code and different types of mazes.
https://www.amazon.com/Mazes-Programmers-Twisty-Little-Passa...

Great channel with Unity tutorials on terrain generation, cave generation using cellular automata etc:
https://www.youtube.com/channel/UCmtyQOKKmrMVaKuRXz02jbQ

Procedural Content Generation for C++ Game Development - decent, but basic book with 2D examples in SFML.
https://www.packtpub.com/game-development/procedural-content...

Procedural generation Reddit:
https://www.reddit.com/r/proceduralgeneration/
Because more people are becoming aware of the negative environmental impact of raising animals for food, or questioning the ethical implications. When meat analogs become cheaper and taste the same as meat, it's likely that it will become the norm. BYND seems to be well positioned to dominate this market.
Here we can possibly have an underestimation of how much value the module has. Having real historical artifact available in a museum over decades if not more could help provide inspiration to more generations of space explorers - and others.
I'm really excited for it. I also have my eyes on the Pine phone project.
"We choose to go (back) to the moon. We choose to go to the moon in this decade and do the other things, not because they are easy, but because they are hard, because that goal will serve to organize and measure the best of our energies and skills, because that challenge is one that we are willing to accept, one we are unwilling to postpone, and one which we intend to win, and the others, too."
> Auorara claims to improve encoding speed by 32.2% against x265 veryslow

I'll have to see it to believe it, because av1 has a long way to go to become even remotely comparable to x265 in encode times, let alone superior.

With ffmpeg built from git, I can encode a 1920x1080 video file to x265 (with a boatload of parameters and options, via a custom threadpool I've written that can saturate all the cores regardless of input stream complexity or size) at 9.2fps on a 16-core 1950X with sufficient RAM.

The same harness powering ffmpeg's av1 encoder (not the fastest, they haven't switched to rav1e yet) does not manage 2fps (I'm letting it run to see what it ends up with, but it'll be a while for this short 3:13 video).
That's a little oversold. In general only the most subtle code is going to rely on instruction ordering for correctness. Pedestrian users just use an OS supplied locking primitives, which will include appropriate fencing at both the ISA and optimizer level.

I mean, yeah, compilers can reorder your instructions at build time just like CPUs can at runtime. But neither will reorder across a call to pthread_mutex_lock(). Use that. Doing otherwise is just a footcannon, unless you happen to be actually implementing a locking primitive.
Antitrust investigators should look into captcha stats for at least browser, ISP, mobile device, IP address, and referer header. It would be better if they could just get Google's algorithm, which I assume is based on more data. I'd be very surprised if Google popped captchas less for non-Google IPs, devices, and browsers.
PG does indeed use a lot of mutation in his Arc code. "Karma" on `vote-for` on HN is just incremented like this:

(++ (karma i!by) (case dir up 1 down -1))

At first this looks nice and simple, but when you have to write `unvote`, you're in trouble (because not all votes increase karma, and you'll have to figure out whether the particular vote being unvoted did).

I was reading through The Reasoned Schemer (which covers MiniKanren). They do a lot of unnesting when translating from functional to logical programming. And yes, this does introduce an additional variable each time, making the logical version slightly longer.

Apart from the `markdown` in the Hacker News code, there is an `unmarkdown` function[0] (whose job is to translate back from HTML to markdown!). In Prolog you could have gotten away with one predicate for that. That's a 50% saving just there. And you could perhaps use DCGs to cut it down further.

Not sure I about Prolog being mostly first order. Plenty of built-in predicates that take predicate arguments, like `maplist`, `findall` and `foldl` that seem to be as commonly used as in Lisp. You might be right about lambdas missing though, so not sure you can emit a predicate (although you could emit the name of a predicate and call it). I'm too new to Prolog to tell, really.

[0]: https://github.com/arclanguage/anarki/blob/master/lib/markdo...
Mispell a url and it goes to a competitor
type in wwwbandwith.com and it takes you to https://textita.com a competing sms api provider

anyone else know of any other url redirection tatics companies employ?
Think downvoting is on first half of the comment because as is noted already, compounding.

On the legal topic, I think it’s not a prohibitive risk. It’s completely in the game’s design and completely within the lottery’s control as they basically control distribution. Running a casino isn’t a risk free operation, miscalculations cost money.
Asteroid Has a 1-in-7k Chance of Hitting Earth This Fall
So, where is it, and how was it found? The article and even the source it links are extremely vague.
Non-military, executive branch headcount has remained relatively consistent in absolute numbers since the 1950s, believe it or not, at ~2 million, even though the budget has expanded enormously. Sources:

Historical table: https://www.opm.gov/policy-data-oversight/data-analysis-docu...

A concurrence in my assessment: https://www.nationalreview.com/2017/02/federal-government-gr... ("So, since 1960, federal spending, adjusted for inflation, has quintupled and federal undertakings have multiplied like dandelions, but the federal civilian workforce has expanded only negligibly, to approximately what it was when Dwight Eisenhower was elected in 1952." Note I'm not necessarily agreeing with the sentiments expressed elsewhere in that article.)

AFAIU for over half a century there's been something of a gentlemen's agreement in Congress among Democrats and Republicans that keeps the official headcount fixed while expanding government through contractors--the closest thing to a wide-spread "conspiracy" (tongue-in-cheek) I've ever seen. Of course, lobbyists and the contracting industry play a huge part in maintaining the system, but IMO that overlays the long-term political equilibrium reached in Congress.

One reason I finger Congress, and not lobbyists, as the principal supporters of the system is that Democrats would much rather have full-time federal employees, so they're clearly compromising. It's hard to say what Republicans want, but to many Republicans hiring contractors 1) squares limited government with electoral pressures to "do stuff" at the federal level, and 2) superficially provides better price signaling through competitive bidding (though if we're honest that's... complicated). Note how the numbers remain conspicuously stable across major domestic and international political shifts. It's fascinating.

State and local government workforces have ballooned, and a lot of federal expenditures are administered via state-based programs. But that doesn't conflict with the "conspiracy" noted above, it's arguably just a way for the Democrats and Republicans to jockey around it.
A Study on Twins Offers Proof That We All Need Personalized Diets
Very happy for the Tableau folks, they are great to work with!

My firm uses Informatica's IICS to output all of the datasets for Tableau to visualize, its not as exciting as the hundreds of frameworks and languages that do the same but it works reliably and I don't have to hire expensive data scientists to get the job done or switch tech every few years to whatever is the flavor of the month.

We take the 80/20 approach that most questions the business asks can be answered with Informatica. The last 20% we save for our developers and the odd data scientist to help us with.
And that’s why I don’t want my face as my passport.
New Horizons: Exploring Pluto and Beyond
The VC will cash out with the IPO. That’s the new strategy. Drive companies to valuations higher than the market cap of many S&P500 companies and then sell them to the “free market” (Uber, Lyft). Great deal for the involved VCs and banks. Is the end result a sustainable business...? who knows...? who cares...?
I am not even sure if there is anyone that would like working on such environment. They are not designed to be productive and in fact tend to work against anyone who actually wants to get work done. But you bet that they are the first to punish workers for some perceived 'unproductivity' according to whatever random metric the consulting company came up with.
This is not solely relegated to the defense industry - the financial industry tends to come up with this sort of thing as well.