skysight-inc/HackerNews huggingface dataset:
> a full system for [knowably-non-buggy] programming will be at the same time a full system that will suffice for the description of constructive mathematics.

That's basically the Curry-Howard correspondence[0], which was first explicitly stated in 1980.

0: https://en.wikipedia.org/wiki/Curry-Howard_correspondence
Aaa… this will take too long to do justice to the topic, but politically speaking, the Euro is supernational and the UK collectively hates it, that sort of attitude is part of the problem. “Loss of sovereignty” is how they felt about it, how many discussed it.

> The Venezuelan government would way rather its citizens use BTC over USD or Colombian currency, in order to ensure inflation/deflation is globally decided by neutral parties

Why would those parties have Venezuelan interests in mind rather than their own? One of the arguments against the Eurozone (I’m not qualified to judge it on quality, but it is given as an argument) is that Northern Europe “should” have different inflation to Southern Europe to help boost the local economies. Can’t do that with a single currency, they say, and that would apply more the wider that zone spreads. A single global economy — fiat, digital, or metallurgical — would never be able to resolve it.
Ugh. I appreciate and agree with your perspective, but this isn't related to the content of the article at all. You just responded to the title
> Imagine you go to a foreign country and point at something you like. To your surprise, this is a deeply offensive gesture to the locals and they get upset. Rather than apologizing for doing something unintentionally, you take the position that you didn't know, so you can't be held accountable for it. How do you imagine they're going to respond?

Except this wasn't foreigners taking offense. It was other white Americans that took offense at its use. And it's a very inconsistent taboo, as well. The New York Times has used the word in its own pieces [1].

> And secondly, I just don't really believe you. I don't believe you would feel comfortable saying the n-word around several black people you don't know and using it generically without feel acutely aware that you've likely put yourself in a very socially uncomfortable situation.

What am I supposed to tell you other than that you're wrong? In my experience black people are fully aware of the distinction between mentioning and use of of the word, and aren't offended by the former. I'm no less comfortable than talking about the word "kike" in front of Jewish people, or "fag" in front of gay people, etc.

Notice how this kind of hysteria surrounding mentioning this slur even in reference is mostly raised by other white people, not black people. This kind of intense taboo is more than a little condescending. It seems to be implying that black people are incapable of distinguishing between use and mention of slurs, while most (all?) other groups can.

1. https://www.nytimes.com/2018/08/10/us/politics/omarosa-donal...
Most Common Mistakes Made in Affiliate Marketing
> Falsification in science is possible.

Falsification of really, really simple hypotheses (like "all zebras have stripes", or the classic "all ravens are black") is possible, yes.

But no hypothesis of any real significance in science is that simple. In any scientific model of any significance, there are always ways to patch the model to account for new observations. In a model that is destined to be supplanted, the patching gets more and more cumbersome and less and less plausible over time; but there is no hard and fast breaking point at which there is too much patching, that's always a judgment call about which different scientists can disagree. Also, unless and until there is some new model available that can account for all the same observations, including the new ones, in a simpler and more intuitively plausible way, preferably also with more accurate predictions, scientists will continue to try to use the old patched model because there is no alternative.
Gross. Replacing meat with coconut oil and pea protein is bad for the earth and bad for people.
Our First Year: Auditing Algorithms – The Markup
The previous code that used those functions probably did prevent a SQL injection as a side effect, as using them avoided making a direct SQL query at all.

But you're of course correct that it's not the replacement of an ORM call with SQL that's the problem.
This guy has written so much on Slate Star Codex that you could spend the next month reading it.
I see nothing wrong with that. Looking at where the US is going I'd hate to be there if something I like becomes the next Red Scare.
Dear lord I'm getting old ... :-)
Wirth's original, standard Pascal allowed for int/char/bool/enum, and ranges thereof, as array bounds; it wasn't a Delphi enhancement.
Yeppers. This can be a kind of subtle footgun.
https://fred.stlouisfed.org/series/M2SL
Fiat is not powered by "proof of violence" because violence is not needed for it to function. It is maintained by social contract and the threat of violence, because otherwise it could only depend on trust, and trust is very expensive, as Bitcoin proves.
GNAT debuted in 1995, 25 years ago.
Some 12 years after the 1983 standard.
Hah, I've been in Go lately so my brain defaulted to the wrong thing in that example.
I'm astonished that you have such a strong opinion, while not even trying to understand how pricing works. Good thing you're not gambling on that!

Media hype typically drives demand, not supply. Supply in bitcoin is a very fundamental concept and controversial topic, which is a function of proof of work, difficulty adjustment and block subsidy.

What exactly in supply and demand is manipulation? You can't just shout manipulation and argue with "media hype", which historically for bitcoin is very mixed[0] and affects any asset class?

[0]https://99bitcoins.com/bitcoin-obituaries/
> If the judges nix the legislation, lots of tenants in the formerly regulated sector could get hit by huge and even retroactive increases in their rents.

Am I reading this correctly? So, these tenants might find themselves in thousands (maybe dozen of thousands) of euros of debt to their landlord. And I assume they'll be required to pay it up overnight? In this case, the politicians really screwed these "poor" people in the most unimaginable way.
We have the same taste buds. Morningstar Hot Dogs are also really good for that cheapo hotdog experience.
https://youtu.be/eoWvrcvTrZI
Unfortunately, time crystals do require an external excitation. The key is that the excitation does not have the same frequency as the time crystal.
How does this compare to the behavior of nonlinear optical crystals like lithium triborate? They are also pumped at a lower frequency (e.g. 1064nm photons) but lase at twice that (532nm).
It does not, in fact incentivize upgrades. Because the landlords wait until the tenant moves out, then they can raise the rent to the (high) market rate and that is when they make improvements. Rent control is widely acknowledged to lead to a lower quality housing stock as maintenance and upgrades are deferred.

The provision for some capital offset for improvements is not, in practice, sufficient justification for making the improvements as the offset is only partial, and you want to encourage the long term tenant to move out so you are not going to provide upgrades to the unit.
Automatic Pool Stick
I use these, but only as what are effectively assertions:

[[ -f $input_file ]] || { echo "${input_file} does not exist"; exit 1; }

So you can read the left-hand side bit as an assertion that something is true in the following part of the script, and skim over the right-hand side.
Prior to the industrial revolution the CO2 in the atmosphere was significantly less than today, around or under 250 ppm, so a bit of methane wasn't a problem. Now even the same amount of methane when added to the 410 or so ppm CO2 we have today and it becomes a problem. Of we can reduce atmospheric methane it takes off a bit of the pressure on us to reduce CO2 levels.
> So there's the anti-poor angle that rich deep-blue neighbourhoods take and that ends up being racially discriminatory because of the underlying demographics.

That makes sense, but that just raises the question of why racial demographics are so regressive in those areas.

I genuinely asked because I don't know much about the inner workings of progressive coastal areas. It seems like if nearly all of the politicians and most of the population are committed to very progressive racial policies, you would expect to see... I don't know what exactly, but not this. I'd like to understand why things went so wrong.

Are there any US cities that are good examples wrt to racial demographics? Something that we could learn from?
Open Mobile Maps-The Lightweight and Modern Map SDK for Android and iOS (10)
ZeptoJS has a modular build tool, allowing you to select only the desired modules

https://zeptojs.com/
Neat hack. Not sure why you'd want to do this, but I don't usually let that stop me either. :D
Buy Full UK driving license
Americans with Disabled Australians?
Am I understanding you correctly - do you actually believe the n-word, in its full, uncensored form doesn't offend anyone? This brings to mind the "Say it" scene from The Good Fight: https://youtu.be/S4pSp3Km6Mw?t=66
Why does intention matter? A 6 year old kid born 60 years after something was written does not know anything about any supposed intention. They only know what the material itself says.

If the material does not stand on it's own, then it serves no valid purpose to artficialy prop it up.

It's not censorship to remove something from being actively fed to children. It's still allowed to exist as historical artifacts. No one arrests you for posessing a copy. You are not Jesus's persecuted followers hiding from the Romans.
Applovin Corp IPO Investment Prospectus S-1
I’ve lived in the same apartment for five years in Portland. The rent has never been raised.
As a beef “fan” i was amazed by the taste of beyond meat. I am trying to reduce meat (due to practical moral considerations) so dont be harsh. Happy to try such alternatives.
There are some on the manufacturer's website: https://watchy.sqfmi.com/gallery
Giving money to google to deGoogle yourself is an odd angle.
>when you add up every hot pocket, frozen pizza, slider, hot dog, or chicken nugget, it's hard to argue that most of meat actually being consumed can't be easily substituted. For something healthier and cheaper too!

Read the labels more closely the next time you eat that hot pocket or frozen sausage pizza. A large number of these products already have "textured vegetable protein" (TVP) or other meat substitute in them to pad out the protein on the label and reduce overall cost to produce.

For example, here are the ingredients for Digiorno Meat Lover's (you may have to scroll and click "Nutrition" dropdown. They call it "TEXTURED SOY PROTEIN CONCENTRATE": https://www.goodnes.com/digiorno/products/rising-crust-three...
Risk is an indicator for how you should allocate your limited time. Since most software projects these days directly depend on dozens of software packages, you can't really afford to carefully vet each and every change to all of your third party dependencies (this is for the typical non-critical CRUD app, other applications it may vary).

Almost nobody has time to vet every line of code that changed or if the dependency is a binary blob, its expensive (and likely prohibited by licensing) to tell. That is why I would like a risk score over reading the tea leaves of a projects/products loose adherence to semver.
> But do you think we ever could have gotten to electric cars if we hadn't used gas-powered cars as a stepping stone?

That's probably not a good example, considering that electric cars predate gas powered cars. By the start of the 20th century, 40% of the cars in the US were steam powered, 38% electric, and 22% gasoline.
Show HN: Smidge – Replacing text chat with video chat
Hi folks, I posted this > 4 months ago, but we've been through a couple of pivots since then.

I'm really happy where it's landed now and think the response has been much better this time around.

Smidge allows you to have quick and easy video conversations with customers from inside your app.

As a web user, I'm tired of seeing chatbots and chat widgets everywhere. If I want to read something, I'll read the docs. If I want to ask a question, I really just want to ask a person and get my answer as quick as possible.

As a founder, it's so hard to get customers into a conversation. We spend so much time deflecting them to KB articles and bots that we've lost the ability to engage with them 1:1 and that's what https://smidge.app is intended to do. We funnel users to the right team member and tee up a call instantly in-app.

Would love feedback whether video is a thing for folks (particularly early stage where you prob don't have a success team yet). We've found quick 5-minute conversations to be incredibly valuable.

(posted here 4mths ago with a different focus: https://news.ycombinator.com/item?id=24835602)
> there are rowser compatibility issues that jQuery solved

Current browser support[1] isn't really _that_ great. I know it used to be, but I'm not sure that's a legit selling point these days. Not that it's bad, but I hear that argument come up a lot.

[1]: https://jquery.com/browser-support/
China's one / two child policy is doing a lot more for the environment than what we are doing in most western countries.

That's a sacrifice I can't image us ever making in our democracies.
I tried a Big Mac recently and it's really not that great, pretty dry. The sauce is the amazing part. I prefer getting a Impossible burger from a slightly more expensive burger place instead now. Maybe I just need to buy a gallon of that sauce and pour it on there.
Sounds like this watch is absolutely not for you then, and that's totally fine! For me, in 2021, a watch needs to display more than just date/time to earn a place on my wrist. I'm also ok spending another $50 every 3-6 years on a new watch, that doesn't seem unreasonable to me.

Conversely, I'm not keen on the idea of having to manually wind my watch, or remembering to fix the date at the start of every month.

More options is good for everyone though, so I'm glad both exist!
Thanks for the write up!

What are you thoughts on enforcing future action (pebbles)? One thing I try to push for is to never have TODOs in code, instead make a backlog ticket/issue and link it. Unfortunately those tend to stay de-prioritized.

How often do your pebbles get the desired follow-up?
Thanks. I'm particularly interested in how did you find out that your phone was calling Chinese servers.
The Ellis act allows you to convert the unit to a live in residence, and it can no longer be used as a rental. Thus it is not attractive to investors who are developing rental stock, it is attracted to investors who are developing homes for owner-occupants.
The request was for evidence about whether Gab caters to hate groups. I chose examples for their glaringly obvious nature as opposed to their popularity.
> "If at some point in the future we discovered a way to identify and measure "suffering" in all creatures, and (given this) further found that the animals we eat do not experience it, then what?"

Then I'm okay with it (assuming in this hypothetical the result is true). I'd be surprised since fear/suffering is a pretty base level thing, but it'd change my mind.

> "What if the animals experience quantifiable higher pleasure when raised as food?"

There's still the issue of slaughtering them and the suffering/fear associated with that. Maybe you could argue on net that it's ethical from a utilitarian standpoint if their happy life outweighs their unhappy end. I think though, that I'd find it hard to overcome the negative suffering value they'd incur from getting killed.

One thought experiment is imagine a pig that was historically bred to get happiness from being eaten. Its life dream is to get killed and eaten and that's its main purpose/goal in life, its only source of happiness. In this instance while breeding this animal may have been unethical, it already exists. Now is it ethical to not eat the pig?

I think in the above example I think it'd be fine, but it's also pretty far removed from reality.

Reminds me a bit of this: https://www.lesswrong.com/posts/HawFh7RvDM4RyoJ2d/three-worl...
"Hunter-Gatherers"

There is a great deal of misinformation about hunter-gather diets: https://globalhealth.duke.edu/news/what-can-hunter-gatherers... or https://www.scientificamerican.com/article/why-paleo-diet-ha... (I didn't invest much effort in finding illustrative links, there are many more, and academic research).

Walking around constantly and digging up/harvesting edible plants, insects, fungi, possibly carrion, and the occasional meat (including organs) is much more likely.

Most of our ancestors' calories didn't come from hunting in most areas. Those that did had lifestyles so different from a modern one that it makes no sense to compare them.
I don’t know CA, but in NYC, rent controlled apartments can only become market rate apartments in a specific, legally prescribed way. Even if you are in a market rate apartment, the landlord is only allowed to raise your rent by a certain percentage each year; this percentage is higher for market rate and lower for rent-controlled, and there is also a third category called “rent stabilized” which is between market rate and rent controlled.

(Just as note about rent control in NYC—rent controlled apartments account for something like 1% of total apartments. The number is slowly going down, it was about 3% twenty years ago.)
How are they at 144ARR and 76% gross margins losing money on an SEO SaaS?
That is great to read, and probably a sign that my learning materials should be updated. I'll try to remember this in the future.
You are conflating multiple issues here, including whether consent is revokable (generally not), and copyright protections.
Hehe, this is Tavis (from Project Zero), so he might know a bit about security.

Dopamine hits are probably a large determining factor of what kind of programmer you are. Making something from scratch has a longer glow, and a fulfilling crescendo, but nothing compares with the joy of finding the right thing to whisper to a machine to get it to do something it was never meant to. Whether it be displaying DOS interfaces in wide screen or dumping its memory. The pain of looking for the right combination only makes finding it sweeter.
I think a lot of the comments in this thread that are critical of SPAs are thinking about them wrong.

SPAs aren't (shouldn't be) a replacement for websites.

They are a fantastic option for replacing native apps (PWAs).

Moving from walled garden native apps to the open web is good for everyone except the app stores.
Another scummy website that hijacks the back button. I wish there were a way to block domains from the results I see on HN.
Of all the other energy sources, it's the only one where we have to put serious consideration into warning people not to dig up the waste, and how to keep them from doing it thousands of years from now.
This is bad code and it's a little surprising to me that a former Facebook engineer wrote it (and subsequently became the CTO).

It's been a while since I wrote any Rails but the offenses that jump out just from a cursory inspection:

- large raw SQL query which could almost certainly be accomplished in a more idiomatic way with AREL or ActiveRecord

- no user input sanitizing

- using a regular string literal for a large text block instead of a Ruby here document

- leaving a mess of commented-out code at the bottom of the method

Apparently Gab isn't exactly hiring the best and brightest.
I think it's very silly. I as a consumer would like to buy a substitute for cows milk that is not animal based. Being forced to call it "almond juice" or something is just making my life harder (and not making anyone elses life easier).

Nobody is going to think that "almond milk" is actually the same as cows milk and accidentally buy it instead of the dairy product, so what's the problem?

(Also, almond and soy milk are not new products, they've been consumed for hundreds of years in Europe and Asia respectively)
They are "likely worse", IE. you don't know? IMO they are not worse and the data collected by Huawei is useless compared to anything Google collects since I don't live in or near China. They also don't share it with anyone that might kick down my door if I like something that the US someday in the future sees as the new red scare.
Deutsche Märchen: German fairy tales [pdf]
A lot of SEO and digital marketing agencies use SEMrush because it's an easy way to track keyword rankings for your clients and their competitors. SEMrush also generates reports for keyword rankings that are helpful to provide clients. I haven't used it in a few years but I found SEMrush to be a good tool and worth the cost if you have clients.
I wonder how this links in to optical crystals? KTP, used in solid state lasers, will halve the frequency of a IR laser (1064nm) to produce green light (532nm).

I suppose this is equivalent to adding electrical energy to a crystal to make it oscillate.
A veggie meat with Wagyus fat content would be... interesting.
It might be less subjective than you think. I suspect there are commonalities in how we perceive color palettes, analogous to commonalities in how we perceive musical chords. There are certain color palettes and musical chords that tend to be perceived as more pleasant.

Furthermore, I don’t think everyone shares your ability to pick harmonious color combinations. It must be a skill that you happen to be good at.
There was a time when I read Amazon reviews. At best now, I only look at the 1 star reviews to see if there are glaring problems. Any review with 4 or more stars causes "ad blindness" for me. I don't even see them.
You would be amazed at the number of "developers" that have no idea what an SQL injection is when I ask them as part of my Full Stack developer interview.
Are there any users of Offset [0] here on HN?

[0] https://www.freedomlayer.org/offset/
Comment there says they're only selling the "Basic" which doesn't include GPS or LORA
To be fair, it's only "almost no latency" if you just care about the pixels at the top of the screen. Since CRTs (and LCDs) draw the image over the course of a full frame, it's more fair to say 8.3ms, since that's when the middle of the screen will be drawn (at 60Hz). This is pretty comparable to modern gaming monitors, which have around 8.5-10ms of input delay @60Hz.

Where CRTs do have an advantage over LCDs is response time, which is generally a few ms even on the best monitors but basically nonexistent on CRTs.

But overall, a good monitor is only about half a frame worse than a CRT in terms of latency if you account for response time. At higher refresh rates it's even less of an issue; I'm not aware aware of any CRTs that can do high refresh rates at useful resolutions.

Got my numbers by glancing at a few RTINGS.com reviews: https://www.rtings.com/monitor/reviews/best/by-usage/gaming
In some way, it's the inverse: a nonlinear optical system can multiply frequencies, while a time crystal divides a frequency. That's not as easy as multiplying, due to the symmetry concerns I mentioned.

It's basically a frequency divider, but as a system of cold atoms instead of an electronic circuit, and in a different frequency regime.
We are under no obligation to play along with those who pretend that their mental illness is normal.
And then, of course, California decided to pass Proposition 13 [1] which made sure that owners who got in early also "win" vs more recent buyers.

There are owners of identical homes on the same block in San Francisco who pay 10x what their neighbors pay due only to when they bought (and the resultant purchase prices).

This is unlike saner places in the country which reassess property values regularly.

[1] https://en.wikipedia.org/wiki/1978_California_Proposition_13
Okay. I don't see any way for that interpretation to be derived from the original comment I replied to