skysight-inc/HackerNews huggingface dataset:
Not all computations produce a value; most don't. Consider this TLA+ specification:

VARIABLE x
□(x ∈ 0..9)

or, written in a form that can be checked by TLC:

VARIABLE x
x ∈ 0..9 ∧ □[x' ∈ 0..9]_x

It says "x is a variable that is always an integer between 0 and 9, and it describes a system that nondeterministically assigns a number 0-9 to the variable x at each step, forever. It has an uncountable number of executions, each of infinite length, yet because it has a small number of states -- ten to be precise -- TLC can easily and quickly check many propositions about it. It is true that most of the behaviours don't have a corresponding determistic Turing machine and so most of those sequences are not computable, but it is not only a perfectly valid specification, but also a reasonable abstraction of real systems (e.g. a program that forever asks the user to input an integer between 0 and 9).

On the other hand, this specification describes a system that picks an arbitrary natural number and then counts down to zero. It has only countably many executions (one for each initial number chosen), and each of them is finite in length -- i.e. they all terminate (I've omitted a liveness condition necessary to state that each computation will actually terminate, as it would mean little to those not familiar with TLA+ [1]):

VARIABLE x
x ∈ Nat ∧ □[x > 0 ∧ x' = x - 1]_x

And yet TLC cannot check it because it has infinitely many states and TLC is an explicit-state model checker. In practice, we let TLC check a derived specification that overrides the value of Nat, the set of all natural numbers, with some finite set.

[1]: To those familiar with TLA+, the real specification is:

VARIABLE x
LET Next ≜ x > 0 ∧ x' = x - 1
IN x ∈ Nat ∧ □[Next]_x ∧ WF_x(Next)
JNI is so expensive when cross the language barrier, you have to be conscious to constantly minimize your API exposure. This may be helpful in long-term, but not helpful for onboarding purposes.

On the other hand, if you can lower Kotlin to native code, it may be more natural to interact with (of course, there are still these nonsense of Java's default UTF-16 string <-> Swift's native UTF-8 string conversion).

Interoperability between high level languages are just hard. I am skeptical of either way, but I can see how it is more appealing to go from Kotlin to Swift direction.

On the other hand, data modeling and high-level data transformation doesn't require all language features. It is possible to do such with a limited DSL that supports product / sum types, some filter / map / flatmap / zip, and boom, you now have your view models for UI rendering. As long as we've made up our mind on string UTF-16 / 8 or have some performant library to do lazy transformation on these. We can go a long way on standardize business logic cross iOS / Android platform.
Is there a library or service for quickly deploying these sort of email collection websites and managing emails?
I wish people stood up for night owls when I had to suffer the sleep schedules of the elderly or 9-5 schedule in public school.
That sounds bad until you think about how many of those are openions are "black people are lesser than white people"
I think the DJ role rotated amongst the support staff. At least that's what I told happened in the UK (Source: worked for Lotus Support, nearly worked at WP).
Well, it's not difficult to have service that's better than something basically nonexistent.
This is great. Anyone have any similar repositories?
Many Americans Plan to Move, Now That They Can Work from Anywhere
The Art of Questioning Everything
> The right is often threatening violence while the left is trying to get you fired from your job.

Violence like setting up guillotines in front of Bezos' house in Washington? Violence like when the Trump supporters held parades, shops were looted, people were beaten, buildings were burnt, and police were assaulted? So much so that shops boarded themselves days before the parades? Violence like protesters threatening "burn the system down" or "there is going to be a war" if they lose election?

Or violence like Hollywood actors and actresses openly discussing beheading or assassinating the most evil orange man, or politicians openly discussing how they wanted to snap Republican supporters, and how BLMs and Antifa chanted that they wanted to kill the police?

Of course there are extreme and crazy people in all spectrums, but where are the right except a few marginalized small groups?

Oh wait, I’m wrong. Anyone who disagree with the left is far right, right? So Shapiro should be beaten in Berkeley. Mayor Wheeler’s apartment can be stormed. Anyone carrying our flag can be sucker punched?

Yes, half of the nation is far right right and they threaten violence.
Aren't all agreements enforced via coercion? either via the law/government or personally (which can be much worse)
Whenever I hear people propose "radical" ideas about work shifts and weekends, I always wonder how they expect it to work at e.g. nuclear power plants and 911 call centers. Most people, given the opportunity, would opt to take the day off whenever they felt like it and come in and leave work as they please. Creatives seem to propose these ideas as universal, but never give even a passing mention about work that is necessarily shift-based. The handwavy answer is "oh we'll incentivize that" or "oh we'll automate it so they don't have to do shift work!" They should just be honest and say that they want special privileges for work and aren't concerned about putting any further thought into it.

Anyway, this tweet is really someone trying to turn the thought "I don't really like my work schedule"/"Some people don't like their work schedule" into something profound.
We're in a Spiral of Silence
Right, just keep shoving the latest version onto the end of the blockchain, and point some wallet at the latest revision. Point is nobody will be able to DMCA it.
Those are all valuable tools to have in a system where the law can deprive a person of property, liberty, and life.

It's not necessarily the case that you have to spend nearly as much on a code of conduct system where the ultimate worst-case scenario is that an innocent person is denied a platform or has the reputation tarnished in a reversible way.
Discussion 19 days ago: https://news.ycombinator.com/item?id=24765868
Unfortunately, on mobile. At least on iOS
If you just need to look at the traffic, maybe wireshark in combination with SSLKEYLOGFILE can help, if your client supports that option (eg: libssl):

https://gitlab.com/wireshark/wireshark/-/wikis/TLS#using-the...
> "I don't need insurance."

While they do earn revenue for selling insurance, they need you to have it to protect themselves. Arson, theft, and storm damage is very common and the last thing they want is to get hit with a bunch of costly
lawsuits from people who refused to insure themselves. Basically the same concept as renters insurance.

You usually don't have to buy theirs though, you can buy more comprehensive policies online for less and just provide proof of insurance.
What makes BeOS and Haiku unique? (2018)
Don't ODPs need to have a degree in England?

https://www.healthcareers.nhs.uk/explore-roles/allied-health...
In the past, w/ Axis cameras, I have enabled two streams, the high quality, high res. h.264 with high latency, and a lower resolution mjpeg stream with much lower latency.
All the explanations of it that I found seemed completely implausible, but that didn't make me doubt any of those sources. This is probably an example of Baader-Meinhof-Streisand-Gell-Mann amnesia.
I'm confused, who is saying that a line doesn't need to be drawn? The line already has been drawn, in law. SCOTUS has made the line clear and present danger[1]. That is, a threat made via speech has to be clear, credible and imminent else it is not considered a threat and hence not speech that may be interfered with legally, but if it is then it can be.

It's distinctly possible you've read more Popper than I have but his words seem very clear here too[2]:

> I do not imply, for instance, that we should always suppress the utterance of intolerant philosophies; as long as we can counter them by rational argument and keep them in check by public opinion

He goes on to contrast that with those who give up on speech and respond with violence (and it's all within about a page).

So we have a clear line and there's no need to wait for violence to actually occur before legal remedy can be sought, which would appear to me to fit with Popper's statement and what you studied.

I completely agree with Popper on elections, and free speech fits the same mould, it's primary function is to reduce violence. Without free speech the options for those who wish to change society are only violent. With it there is no excuse for violence.

[1] https://en.m.wikipedia.org/wiki/Clear_and_present_danger

[2] https://archive.org/details/TheOpenSocietyAndItsEnemiesPoppe...
You're not wrong, but what you say is also not helpful. You're suggesting a microeconomic solution to fix a macroeconomic problem. It's a form of the Tragedy of the Commons. Doing what you say will simply hurt the person who does it, while making no difference in the large scheme of things.
Isn’t this the whole idea? Unless you mean more widely used as a baseline test like TodoMVC is.
I think you need to think hard what is a bug. Need to update the URL to the outlook API because microsoft is changing it every now and then? Need to send a new icon/logo because reasons and the client doesn't know how to update an icon himself?

These are dumb things that can be easily sorted out.

On the other hand it's super risky because you don't control the environment of the client (dude can't open a firewall port to make the application work, security department needs 3 weeks of ticket to open the firewall). One unlucky client and you will be in a world of pain.

I think the OP is working on small projects of a reasonable nature/domain or he would have learned the hard way to not promise upfront. (Well, it's possible to do and thrive, never getting burned by a dysfunctional client)

Benefits: You can double the project price to factor in the bugfixing/maintenance included. The client is okay with it because it comes as a great deal, project and maintenance guaranteed. The only reason to work per project as a consultant is to bill wayyy more, because you take on more risk, gotta manage the quality the scope and the client tightly.
If things are unexpectedly broken you don’t want to continue making the system worse by executing transactions against the drive
Friday Finds Links – David Perell
Which is what pdfs should be (mostly) restricted to.
Can a doctor turn away a person who is a member of the KKK?
And the US has hard borders with Canada and Mexico... both of which have been closed for 7 months now.

... but somehow cases are still not under control.
Thanks for bringing up the DJ. I remember that but what company had it. You could also have convinced me I dreamed it.

edit: googled it and found an article from 1991 on what looks like a local news site. https://www.deseret.com/1991/7/17/18931236/don-t-hang-up-dee...
I'm not censoring the guy. I'm just telling him he's being dumb.

You can be anti-censorship and still find our libel & slander laws reasonable.
> First, deaths aren't the only measure. For every death there are many more people that just barely survive after a hospital stay, and data suggests a significant amount of those people will have long-term problems.

...where long-term means a few months at most. People do recover, just uncomfortably slowly.

> Second, if the hospitals are overloaded by such people (even if most of them survive) then the IFR of Covid can rise higher than 0.5-1%.

I'm not so sure about that. These IFR estimates haven't changed much since spring, when half of those hospitalized died.[1,2,3] Our treatment methods have improved since then. If the estimates reflected the IFR with treatment, they would be lower today. So I think an IFR of 0.5-1% is actually the worst case.

Unfortunately, I haven't been able to find any source explicitly comparing death rates with vs without treatment.

[1] https://www.thelancet.com/journals/laninf/article/PIIS1473-3...

[2] https://in.dental-tribune.com/news/new-estimate-by-the-cdc-b...

[3] https://pubmed.ncbi.nlm.nih.gov/32234121/
I love when the Downvoting Crew finds something they dont like and then go back in history to downvote something totally unrelated and mundane.
Fair enough. My gut feeling says such mechanisms are impossible. If you do find any without obvious loopholes, many people will be quite excited. Keep us posted!
I think we have to make a distiction here:
- On one hand, having access to these large scale language models that can do few-shot learning is incredibly useful for the industry as in can be easily deployed to solve thosands of simple tasks.
- On the other hand, this approach will not solve harder problems (as Yann points out) and "just" creating bigger models using the same techniques is probably not the path forward in those domains.
After testing this with a temporary email, I received an email prompting me to confirm my address but nothing else after confirming. So you're basically just collecting emails without sending anything in return.
I founded, grew, and sold a boutique software services co. Here's the skinny:

* The core revenue model is charge customers a certain amount for doing work, and to have a lower internal cost. (duh)

* Typically you're looking for a 30% margin or thereabouts; after cost of sales, consultant bench time (yeah you gotta pay that even when folks are idle, if they're employees), etc. you have maybe a 10% profit margin when you're at decent utilization.

* Hourly and fixed bid are the primary structures - and I've seen plenty of both. This is simply a question of who will take on the risk of overrun. If it's the services shop (i.e. fixed bid), then they pay for that additional risk by padding the price above their best hourly estimate (that padding is what pays for the services if it does overrun, and is the reward for taking the risk if it finishes on time).

* You can lower hourly costs and increase predictability on your resources (an endearing term for employees/people) by hiring them full time, but you take on the risk of paying them for bench time (when you don't have a contract for them, they still get paid). You can avoid this risk for higher hourly rates by using subcontractors. A good practice is to keep a "bench" of folks in your primary areas of expertise and to supplement with subcontractors for speciality tasks.

* Ongoing maintenance revenue - maybe, maybe not. Wise customers will want to learn how to maintain their own software and include training as part of the contract - or even embed their resources in the team. This isn't quite like sales of a big enterprise software platform in that regard.

* A better long-term practice is to utilize the "foot in the door" to spread out and find other, new work within that customer's organization. Of course existing projects will continue as long as there's a need and the customer is happy, but I don't see a lot of "maintenance" contracts per se.
I don't think it's that.

I think it's because it's a stretch of the law and can then abused to block a LOT more.
Quit that soul-sucking craft two decades ago, and although I think about contracting every now and then for some coin, I haven't regretted the decision. Of course, as a massage therapist during Covid, things are pretty ugly right now.
Have a quick read on the so-called robber barons.

Many of the tactics of the era should sound very familiar, and many of the resulting social issues should also ring a bell.

I’m personally dreading what the next several decades will bring.

Edit: In case it isn’t clear, Gates is a lot like Andrew Carnegie or some of the other ruthless businessmen, some who later turned their wealth around and became great philanthropists.

Some of the robber barons were miserable to the end (Larry Ellisons of the day?)
Public static final int EM_NATION_TYPE_UYGUR = 1;
It's a pity there's no (link to the) definition of language they used. With so many, where do you draw the line?
And don’t forget about retainer based work. You agree on a cost per hour and setup a retainer on that. It’s similar to sprint based but more open ended. Works great for clients wanting lots of design rounds and tweaks.
No, the current IFR of about 1% is the best case with current treatment options. It was much higher earlier on.
I don't understand this attitude. It's seems to essentially be "it requires thought, planning, and effort, and therefore is impossible."

Was this kind of mindset as common when the world irradicated Small Pox and Polio, as it is now?
One thing to point out is that there are varying degrees of customs. Every client project is custom in the sense that they all have different pics, layouts, colors, et., but the underlying technology may be the same (e.g. Wordpress). The more you can use off the self components and just tweak them, the more predictable a project will be. This type of work tends to be very competitive & you’ll often hear that it’s a race to the bottom. While the quality of Wordpress implementations can vary drastically, it can be difficult for a client to understand those differences, which makes it challenging to sell premium services.

When work is truly custom, and you’re building much of it from scratch (e.g. using Ruby on Rails with extensive amounts of custom design and business logic), this can be much more expensive. It’s quite difficult to find good developers who can help you figure out what you need, come up with a plan that you’re comfortable with, and actually deliver something you’ll be happy with.
There is a widespread misconception about India's National language as being Hindi.

Article 343 of the Constitution prescribes Hindi as written in Devanagari script as the official language of the government along with English. The Constitution, however, did not declare Hindi as the national language or any other language.

Hindi does not have any special privilege than any other state languages like Tamil, Telugu, Malayalam, Oriya etc.

Hindi is not even oldest language in India. It's Tamil.

The politics behind promoting Hindi is a religious one. It makes convenient to promote the varna system(modern caste system). This is the reason the religious party and organizations(BJP, RSS) promotes Hindi and forces in to the education of all non-hindi speaking states too.

Another misconception is all north indian states government administrative language is Hindi, which is not the case.
Exactly. There is no evidence that there is a significant disability rate, so no one can provide any.
YouTube may terminate your access, or your Google account’s access to all or part of the Service if YouTube reasonably believes that its provision of the Service to you is no longer commercially viable.
Could go really wrong though - civil asset forfeiture comes to mind in parts of the US as a relevant analogue.
Thermal storage is based on basic physical principles. There is no question that it can be done. It hasn't been commercialized because the market for energy storage has heretofore been served by fossil fuels.

If you remove fossil fuels, you have to replace them with something. You're building new power plants. New nuclear power plants could straightforwardly be built with thermal storage.
I don't think the instruction sequence from the article would qualify for macro-op fusion. Berkeley looked at this for the simplest case of LEA [1]:

// &(array[offset])
slli rd, rs1, {1,2,3}
add rd, rd, rs2

The sequence in the article uses what Intel calls the fast case but it still wouldn't qualify for Berkeley's two instruction fusion. Dunno if anyone does three instruction fusion.

As an aside, LEA is never getting added to the base RISC-V nor should it be. But I'm surprised it isn't considered for an extension.

[1] https://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-...
Making a small game with Gloss [Haskell]
I also saw someone else say if we had done the Sweden approach and allowed those 15k deaths and saved all that money and ALSO made cigarettes illegal we would have saved many orders of magnitude more lives.
It has some I/O pins for expansion, so GPS could definitely be added. A camera might require a little more creativity, maybe still possible?
Does anyone technically have the right to download from youtube in this way? Even if so, it's clearly in the category of software predominantly used for piracy, all of which can also have legitimate uses.
You can use a DNS based solution on iOS. It's easy for WiFi and there are apps that can change it for the cellular network as well.
Except in these cases, undefined still can make complete sense if you're willing to rephrase things (like sindresorhus is).

For your Node.firstChild example, one could say that if a node has no children, then it's firstChild is not defined as it doesn't exist, and so undefined makes sense. You can construct similar plausible arguments for other usages of null, though you cannot do the inverse.
Games to Level Up Your CSS Skills
I recommend driving from New York to San Francisco as a research project. It will take you through Omaha, across Nebraska on the Overland Route (or Lincoln Highway or I80 or the Oregon Trail -- fortunately your sister is unlikely to die of dysentery these days) and along the Platte into the Wyoming Basin, then down into Ogden, across Nevada, over Donner Pass, and down into Sacramento before finally reaching the Bay Area.

The most direct route hasn't changed because the geography hasn't changed. You'll spend a thousand miles going up and down mountains and valleys. Most of it will be sparse desert and bitterly cold in the winters and broiling hot in the summer. Sparsely populated -- even Reno is only 1/2 a million people and everyone Casper, Wyoming will fit in a Division I AA football stadium because it's all a long way from anywhere of much importance except to the people who live there.

Though I said I recommended it as a research project, I really recommend it because driving it will probably change your life. It's beautiful and remote and awe-inspiring in a way that the average place that people live isn't and doesn't convey over a few hours in the air 8km up.

There are only four practical rail routes across the US. One further north through Montana and down to Portland used by the Great Northern. One south of the Oregon Trail that follows I40 over the Colorado Plateau south of the Grand Canyon. And finally, the only all-weather line across the width of Texas through El-Paso and southern New Mexico and Arizona. It's the reason for the Gadsden Purchase.

The highway system is what public transit looks like in the US because the US is what it is. Increasingly vast, rugged and remote once you cross the Mississippi. Vast, rugged and remote in a way the tends to make it map poorly between the way we tend to think about political geography relating to physical geography.

The reason there isn't high speed rail across the US isn't in the details. It isn't because of some great conspiracy. It's in the course grain of physical geography. It's not a lack of imagination. It's an abundance of rail expertise applied over the better part of two hundred years.
So we've basically reinvented Java applets - 25 years later.
That's a really good idea - I use version control when writing code but it's never occurred to me to version when I'm writing English!
Seam (YC S20 – IoT/Hardware) Is Hiring a Head of API Platform