skysight-inc/HackerNews huggingface dataset:
For me the best introduction to unification was creating a microKanren[1] implementation based on the "Hello, declarative world" article[2], but even just reading the article can help enormously to understand how unification works.

Basically if you have unification then you already have a simple query engine, which can handle simple equality constraints that is usually used in SQL WHERE clauses. For example "select * where pokemon = pikachu" can be simply achieved by such a system.
Of course this only gives a bare bones query engine, so if you want something more advanced then you will need to implement a constraint system on top of this base unification system. cKanren is a good example of such a system.

Few years ago I had the same kind a of curious question about the relationship between databases and logic programming languages like microKanren and as a result I created LogikalDB[3], which is an embedded query language for FoundationDB.

1: http://minikanren.org/
2: https://codon.com/hello-declarative-world
3: https://github.com/MechaRex/logikaldb
Netflix's “Love Is Blind” Wants Unpaid Photographer for Five Weddings
And people!
Germany would like a word about that.
You need to actually present evidence, saying things just are, don't make them so.
The admins should approve all user requests for consent:

https://docs.microsoft.com/en-us/azure/active-directory/mana...
I’m guessing you’ve looked more at Rust code that uses incubating features from Rust nightly.

Most of those features don’t make it to stable—or if they do, their syntax has usually been refined by the time they do.

Inconveniently, a lot of the Rust code examples you’ll run into on HN uses incubating features, because a lot of the people posting about Rust on HN are language researchers talking about how they were finally able to implement new language feature/performance optimization/safety guarantee X using incubating language feature Y; or how they think nascent library Foo’s use of incubating language feature Z is/isn’t a good idea.

All that is inside baseball. It looks nothing like day-to-day Rust code, any more than e.g. .NET CLR static analysis code looks like day-to-day C#.

(Also, there’s the code examples of Rust stdlib code, which is like C++ STL code in that you have to use arcane language features “in anger” to bootstrap the language — e.g. safe concurrent data structures must necessarily at some point rely on unsafe code.)

(Or it’s code for a Rust unikernel / OS device driver / etc, because that’s a thing you can do. But it’s a still-nascent thing you can do, that’s not yet as ergonomic as regular code that can rely on virtual memory to exist. You have to build the safety yourself in such cases, or rely on a library that does; and there are no such libraries that have yet reached high code quality + wide cross-platform applicability.)
Really great to see how fast this thing took flight!
avo looks like would be a great route for this, though I haven't personally used it.
Tips on how to successfully work remotely
Antarctica will be happy to have you. /s

But seriously, functional governments are what hold society together. We can't have a system without levers.
I stumbled on a really good job posting this weekend, which I’m 100% qualified for and am sure I would have a really good chance of getting, but the last sentence was “We currently don’t offer health insurance.” Based on that alone, I had to slunk away.
It is a deeply weird thing and we do not have a theory yet to explain this satisfactorily, but the one thing we do know is that no information can actually be transmitted this way, so it does not break the speed of causality.
Yes, the well known unforgivable crime of referencing that a publication you do not like exists. I think this is a pretty good basis for upending someone's career.
Not sure about your specific use case, but we at NetToolKit offer address autocompletion in the US; you can see a demo at: https://www.nettoolkit.com/geo/autocomplete

If you have any questions, feel free to reach out at support @ [domain].
Yes, but maybe steel is more essential to society than burning natural gas. But natural gas companies make more margin so they can afford the carbon credits, meanwhile steel has tighter margins so it gets passed to the consumer. This means it might disproportionately limit the consumption of things based on how much money they make. This is all fine until construction becomes more expensive because you can’t easily get the steel you need for buildings (what if you were trying to build a clean energy power plant and. Is it’s too expensive?). Some things are essential and need protection from the free market (ex, hospitals have diesel backup generators. Those would become more expensive). You could add a government subsidy for steel, but now you’re stacking laws on top of each other and playing centrally organized government. Which doesn’t work well.

The downside to having separate laws per industry is that you’ll get insane workarounds (see import tariff law). Carbon is carbon — so workarounds are easy. For example if natural gas is taxed higher than steel, you’ll have natural gas companies producing just enough steel to be qualified as steel production companies so that they get the lower rate. Or something like that.

Choosing policy is tremendously difficult. We could deliberate all day. despite what I’ve said, a carbon tax is better than doing nothing, and we would be wise to start creating/increasing carbon taxes already.
No dashboard, invoice amounts don't add to the total, etc. Doesn't Salesforce dogfood their own stuff? They have a billing product:

https://www.salesforce.com/products/sales-cloud/tools/cpq-so...
You can now bid for the first seat on New Shepard
While clearly an unpopular comment, the "investors" would like you to think that somehow the risks in crypto are any better than the comparably stable government system.
The same reasoning applies to the parent comment which is why I did not make any conclusions.

I am saying racial bias should be viewed with the lens of the larger system or world in which we all operate.
> I don't understand why people are so resistant, or even outright hostile, in making the social justice movement (including the sentiments BLM expresses) more effective. If you truly care about social justice then being as effective as possible should be the #1 priority, no?

Again, you're confusing an organization with the movement. The organization has only minor impact on the actual movement. It's like saying that a group named "Democracy for America" reflected what people in the US believed about Democracy.

> Aren't conversations on how to best affect these kind of changes super-duper important? It appears not, and it seems BLM has become the goal, rather than the vehicle to get at the goal.

I support BLM, but I'm not sure I support the goals of the BLM org. Mostly because I barely know them (I realize I could just go to their webpage and read them). I do know what most people I associate believe BLM means though.

Now this does mean there is a problem in that different people have different interpretations of it. But honestly this is always the case for any type of social movement. There's a base for the support, and then a bunch of splinter ideologies.
Sure - they can’t turn your car into the equivilent of an RC car but they don’t have to. Simply killing the engine while you are in the middle of traffic is more than enough to cause chaos, sew distrust in our infrastructure, etc.
The difference is that with other tech if you have enough capital you can try to compete. With AI capital is not enough, you need oceans of data which is only available to the few companies that were able to position themselves early enough at the data spigots. For example, no matter how much capital Microsoft throws at it they aren't able to get access to all the data generated by mobile.
Linux and Glibc API Changes
Precisely. Just because we can't stop unique URLs from being created doesn't mean we should just keep using them ourselves.
“My car suddenly accelerated to 110 mph, I know, I’ll unbuckle my seat belt” doesn’t seem like a plausible human reaction to me.
They sound awesome, but as far as I know they still haven't been commercialised so their potential is still largely unknown.
Companies are allowed to use words that mean things as their names.
it would be interesting to see if newer cars would even start if you removed/disabled the cellular radio.
How to send $ETH in 19 lines of Python... on top of 19,000,000 lines of other code.
Many Precor models do have a rear guard.

Seen here: https://www.amazon.com/Precor-TRM-932i-Commercial-Treadmill/...

The roller/belt design also appears different - much smaller rollers and a smoother belt on Precor models. Not idea if that contributes, but it might.
> The fight club defence

IIRC that was based on the ford pinto
It's frustrating because it's not the topic of conversation, and it only serves to derail it as we're doing now.

If we're discussing the high cost of apples and someone brings up oranges, it doesn't change the fact that apples are expensive.

> Do you think I'm a bot because I disagree with you?

No, but a lazy comment doing s/China/USA/ certainly reads like it. And if you've seen some of the threads on Reddit or Twitter it becomes pretty clear some accounts search for any negative discussion about China and interject with whataboutism, which would be pretty easy to automate.
Email Capture: Landing Page vs. Pop Up
Think of a treadmill as a tank tread, just kept off the ground. If the treadmill touches something in the back, it get's traction and will will try to "ride" that arm/hand/person/dog, pushing the treadmill backwards and even more onto the item stuck underneath. Most treadmills have a sort of bar/slat that prevents larger objects from being sucked too deeply under the treadmill. This means that while you can totally get your hand or arm stuck, the whole treadmill isn't going to be able to suck you under because you're going to get jammed up against that bar/slat eventually. You'd have to go under that bar (which is basically at floor level) to get into the same situation that happens 3 inches off the floor on a Peloton treadmill.

Google treadmills and find a shot from behind the treadmill like you're walking up to use it. You'll be able to see the bar. Look at the Peloton treadmill and there isn't any bar. I can say that some cheap treadmills don't have this, but they lack the elevation and power a Peloton treadmill will have. Looking at the design, I can almost promise you they left it off for aesthetics, lots of treadmills are "boxy" because they provide a guard at floor level all the way around. Peloton's looks like an elevated tank tread, which is cool, but... no guards.
Unless your computer looks up the Url from a service.
My guess was Germany.
The US army tried and failed. The US Air Force tried and failed. The marines keep trying. Japan has had several fatal accidents in their civilian program just handling fuel. Even the navy limits them to specialist roles, and their success and safety record might all hinge on the legacy of one gifted man (Rickover).

I support research and trials of the SMRs, but you might want to consider the possibility that it really is hard at the full-system level. The human mind does not readily understand invisible, exponential process like radiation.
Yes, please screw the rich guys taking tolls on exchanges. This can be done way simpler and more efficiently without ETH.
This is an incomplete description of the USDA's rationale. Although I agree that there shouldn't be a ban on private testing, the USDA's position is that BSE testing is ineffective at the time most cows are slaughtered, and would therefore provide an unwarranted impression of safety.

> NOT A FOOD SAFETY TEST

> BSE tests are not conducted on cuts of meat, but involve taking samples from the brain of a dead animal to see if the infectious agent is present. We know that the earliest point at which current tests can accurately detect BSE is 2-to-3 months before the animal begins to show symptoms. The time between initial infection and the appearance of symptoms is about 5 years. Since most cattle that go to slaughter in the United States are both young and clinically normal, testing all slaughter cattle for BSE might offer misleading assurances of safety to the public.

> ...

> Why doesn't USDA test every animal at slaughter?

> There is currently no test to detect the disease in a live animal. BSE is confirmed by taking samples from the brain of an animal and testing to see if the infectious agent - the abnormal form of the prion protein - is present. The earliest point at which current tests can accurately detect BSE is 2 to 3 months before the animal begins to show symptoms, and the time between initial infection and the appearance of symptoms is about 5 years. Therefore, there is a long period of time during which current tests would not be able to detect the disease in an infected animal.

> Since most cattle are slaughtered in the United States at a young age, they are in that period where tests would not be able to detect the disease if present. Testing all slaughter cattle for BSE could produce an exceedingly high rate of false negative test results and offer misleading assurances of the presence or absence of disease.

> Simply put, the most effective way to detect BSE is not to test all animals, which could lead to false security, but to test those animals most likely to have the disease, which is the basis of USDA's current program.

https://www.usda.gov/topics/animals/bse-surveillance-informa...
> Yes, that stance is awful.

And having a dating scene with an 80/20 distribution isn't? Monogamy seems like the only way to give everyone chance.

So I guess this comes down to whether you think everyone should have a fair chance to find a partner. Do you? And if so how would you achieve that?

> Going back implies removing the right of women to choose who they partner with.

Nope, they can still choose whoever they want. The point is to get the top 20% of men committed and off the dating pool as quickly as possible.

> Enforced monogamy removes the ability of folks to choose how many partners they have.

Yes? That's the point.

> And who gets to define 'monogamy'

... The dictionary.

> who does the enforcement?

I don't know, society?

> It's at best, a narrow and puritanical view of human sexuality.

Probably. I did say it was the most obvious. Do you have a better idea? Because this "just be better" stuff doesn't seem to be working.

Assuming people even want to help these incels to begin with. Other posts I've seen just want to pacify them so they don't become violent or something.
The only way to destroy prions is to destroy all protein in the material. What's left wouldn't be worth eating.
And is one of the largest source of problems because of unsupportable amateur made Excel "solutions".
While this was obviously an ideological flamewar comment, I'd let it pass if you hadn't included a gratuitous swipe at the end. You can't do that in HN threads, and we need you to do exactly the opposite when the discussion is already a flamewar. That is, we need commenters to add thoughtful, substantive information, not throw bombs.

It's fine to describe your relevant personal experience in an HN thread. What's not fine is doing the equivalent of arson (or criminal negligence). No more of this please. We've had to warn you more than once before. That's not cool.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and sticking to the rules when posting here, we'd appreciate it. Note this one: "Comments should get more thoughtful and substantive, not less, as a topic gets more divisive."
Opus Agency | Advanced Entry Level to Mid Level HTML, CSS, JS | REMOTE but OR/WA candidates probably preferred | Full Time

My employer is looking for a Digital Configuration Specialist. We manage corporate events for large businesses and we use a large variety of event registration and event content platforms to do so. This role will be the person who learns these platforms inside and out, how to configure them, how to collect and manage the data we need from registrants, and to style them with HTML and CSS. Good JavaScript and jQuery knowledge is also important because we're often adding custom behavior to these platforms on top of what they already provide.

Opus has a great team, the team this role is on specifically is very supportive and hard working has some smart, talented, experienced people on it.

You're likely not going to be making websites from scratch. The vast majority of the work will be customizing existing templates provided by platforms. This can get especially complex in many ways, but it's stuff you really just have to learn by doing. Because of this, I think this role is well suited for someone with strong HTML/CSS/JS skills but doesn't necessarily have a lot of work history with that tech and isn't necessarily an established developer. I would recommend having a portfolio of some stuff you've built to demonstrate your skills, and be prepared to talk about it.

Apply here: http://opusteam.hrmdirect.com/employment/job-opening.php?req...
Let's just cut to the chase and do GAN emojis, such that :bald-child-with-icecream: is generated on the fly by something like this https://github.com/Rakshith-Manandi/text-to-image-using-GAN
"Where does flashcards in a text book fit into this?"

Answering a question doesn't have to rely only on rote memorization. For example, a book might explain how to do addition, and then ask "What is 110+257?". You might need to use a piece of paper to work out the answer. And, if that same question is asked again a couple of weeks later, it's unlikely you'll remember the answer. You'll need to work it out again, reinforcing your understanding of the technique.

"spaced-repetition is far more effective when you create the cards yourself"

Yes, but part of the reason is that there's little point in having a card for something you've not encountered in another context. But Quantum Country doesn't present questions to you until after you've encountered the concept in the text.
Whatever happened to Six Sigma? (2019)
You might find the European Commission's recent legal framework proposal interesting: https://digital-strategy.ec.europa.eu/en/policies/regulatory...
Ask HN: Do you use iPad to take handwritten notes?
Hello Everyone,
I was wondering if you have used iPad to take handwritten notes, what apps have you used and how’s your experience like?
brave is bundled with metamask. its not technically native, but it works very nicely.
From an employee p.o.v it should not.

But the reality is that lot of companies open offices in certain countries because they can afford to pay less than US and while extracting the similar work. I am not talking about outsourcing companies and instead I am referring to product based companies opening their offices in Bangalore, Pune, Hyderabad, etc (or may be east European countries)
If you have to choose one, machines like this are vastly inferior to a simple power rack and barbell for the purposes of becoming strong.
The posts on this topic on your site are really fascinating!

https://kylebarron.dev/blog/cog-mosaic/overview

https://kylebarron.dev/blog/cog-mosaic/naip
it's very scummy, making money and surfing on the popularity of a world known event to sell "faulty" bikes
I think that double-quotes has had its Eternal September. Maybe "regular people" used it for mundane search tasks and didn't find what they wanted, Google detected this through their search metrics, and now they've decided to nudge double-quote search terms towards synonyms and typo-corrections... verbatim no longer.

For the majority of seekers, Google may actually be performing better, but for a minority of hobbyists/specialists/experts looking for niche and jargon terms, its anything but an improvement.
Coronavirus: India descended into Covid-19 chaos
Yeah, well, all you need is a single baby to die to get a huge lawsuit so saying 'no one was even hurt' is hugely understating the problem here.
It uses filesystem to read the lookup table, so it's server side. But looks easily adaptable to client.
If nuclear can handle what we currently use gas for, all the better, and I'd be totally down with that.

> We're already starting to hit during peak renewable production

What do you mean by that?
If anything, it's the opposite. Even if engineering advocates for doing more about the problem, it only takes one manager screw it up. Either everyone has to want an ethical product, or there have to be formal processes to make everyone do the right thing whether they want to or not. Ideally both.
So rather than systems with oversight, faces, and names attached to them, you would prefer an entirely programmatic system where all transactions are final and irreversible which is not beholden to any intervention? There’s an old adage about how all programmers hate technology or something like that and I worry that we are flying too close to the sun here with the crypto hubris.
they betted

Just in case you're not a native English speaker: The verb "to bet" is irregular and the past tense is simply "they bet" rather than "betted" (which would be far more logical).
I never said no-value. And my opinion on the valuation is no better than yours.

I'm seriously wondering how many things you did this year where you were like "damn, I sure wish this were decentralized and cryptographically secure, yeah, that would make this 10X better for sure, yeah!"
My pay went up because I'm much more senior than I was back when my employer had administrative assistant pools. Whether or not it would have gone up less if employers still did that is an open question. Certainly lower personnel costs look good to the accountants, but for the price the company pays me, on an hourly basis, to inefficiently muddle my way through self-serve portals, they could probably hire two admin assistants and handle the tasks in half the time for twice as many expensive engineers.
> Why is “developers might have to interact with it” some kind of non-starter, as though having a compile phase is a worse evil than a hyper-slow language?

For big monoliths (like ours at IG), the server start-up can take more than 10sec, which is already super high for a "edit -> refresh" workflow. Introducing a Cython like compilation step is really a major drawback for every single developer.

For smaller projects, Cython works extremely well (and we do use it for places where we need to interface with C/C++).
Unfortunately, oligopolies invariably perceive such measures as incentive & opportunity for regulatory capture i.e. corruption, which resets progress.

It follows that correcting the energy market requires also restructuring the sector.
Trademark infringement (what I'm guessing you're asking about) only applies to other companies operating in the same space. There's no reason someone can't name their product after a common noun. Or even name their company the same thing as another company, but operate in another space (e.g. Despite the existence of Apple Computers, I could open Apple Dry Cleaners).

Or am I misinterpreting your question?
> not because they have built a better alternative to using natural gas or other dirty fuels to cover this load, they haven't, but because it is unprofitable to do the required maintenance and necessary improvements.

Solar and wind are pervasive and cheap in California. If nuclear is no better for the environment and more expensive, why should it keep running?

The whole "profit" thing is a way to manage scarce resources, i.e. minimize waste. That's exactly what we want.

You're right that for basic needs like shelter, energy, food, and water, we shouldn't accept that some people might have to go without. So we have tipped the scales through programs like section 8, progressive energy rates, EBT, etc to get that outcome will still seeing other resources efficiently used.
“If Christians Read Their Bible, They'd Vote for X”
Too late, and those other places are not where I am so