skysight-inc/HackerNews huggingface dataset:
Noted!

The CLI (esp. the new configv3), splits the metadata into modular YAML files for much easier config/review etc so that makes things easier. There's still more work to do here to make this easier.

Another option, if you're dealing with the metadata JSON directly, is also to write that entire metadata in code and spit out JSON.

@gavinray put together an amazing typescript SDK to write all the metadata in code:

https://github.com/hasura/graphql-engine/tree/master/contrib...
You can use Focusmate for anything! I use it for 1) accountability to wake up on time and get myself going, 2) going through my morning routine, 3) working, 4) cleaning/chores. I’ve been on sessions where other people also write, meditate, study, or prep for presentations. Someone even used it to take a nap once when she needed some sleep.
You don't know what you're talking about. Male hormones in the womb and in puberty confer permanent, drastic changes to muscular power. After training, testosterone levels have very minor effects. An average high school boy athlete could take estrogen for 20 years and still be vastly stronger after that than most female athletes.
Is this still powered by Quorum, JPMC's fork of Ethereum?
If they’re seeing a lot of disaffected young men without wives who commit crime and otherwise cause trouble, it might have led them to say “men these days have lost their way, we need a war to help them mature.”
Yeah but sometimes when the pain in my arm causes me to wake at night I don't really give a darn what anybody else is feeling. I just want the pain in my arm to stop.
Clamping down on sex workers as described in the Reddit post makes human trafficking more likely, though, as victims of it can't trust the authorities will help them.
“Diversity head” is a title inflation thing here. He was the titular head of some diversity research thing, not the head of Google’s diversity program; from what I remember, it didn’t seem like anyone at all reported to him.
A hypothesis is not a study.
A huge part of advocating for the right to self-identify is about respecting identity whether you like/respect someone or not. She didn't get her contract renewed because she made it clear she was going to be an asshole to coworkers on this exact dimension.

Correct gendering/identification is not something you have to earn. I still write J.K. Rowling's name out like that because it's how she goes by even though I wouldn't waste spit on her in hell.
That sounds a bit like like Ayn Rand's Friends of Global Progress.
> just a set of antiquated laws

The law is from 1999 and prostitution was not illegal before it.
There is always that risk. However, if you are this paranoid, you need to remember that you can do a Force Restart. This is handled by hardware, not by software, so if you know what to look for it cannot be faked.

https://support.apple.com/guide/iphone/force-restart-iphone-...
"Massive infrastructure requirements" for trains. Compared to what though?
I'm not sure I get what you're trying to say, but no, that's just as useless.

What 'whole thing' are you referring to being a lie?
Poorly it would seem.

Very easy to game with keyword stuffing and all round general SEO black./grey tactics
> Those large codebases are being rewritten in languages that support large dev teams and the tooling that static type systems can support.

Of course that's one of the reasons, and that goes directly against the notion that python and ruby are somehow cheaper or more efficient to develop in.

> Horizontal scaling isn't the reason and nor is it the bugaboo you make it out to be.

The point is horizontal and vertical scaling don't automatically resolve the drawbacks of slow code. Using 10x the resources to make up for slow code is generally not a solution if performance actually matters.

> Vertical scaling might get you a factor of 100 on modern hardware over dynamic languages, vertical with threading might get you to 1000x, massive parallelism afforded by the coming exponential jump in core counts is going to get folks to 10-50k increases in throughput.

Not sure what you're trying to argue here. Yes 'dynamic' languages are slower, yes you can vertically and horizontally scale both. I don't see how that's relevant for a comparison of languages.
I advise turning your phone off at border crossings. But even that is getting cut down on.

Maybe I can set this up with automation and geofencing.
I devoured the BEAM ideas in high school ( graduated in 2005 ) and the analog neuron ideas were so interesting to me.

Is anyone but Solarbotics working on this anymore? ( they also seem to just sell the kits of robots made in 20-years ago )
Maybe they have a point, I think it does actually eliminate Apple's choice to have authoritarian control over what software you run on devices you alldgedly own.
> Many sports are closed to poor people. Equestrian, sailing, etc… aren’t sports for the poor.

Skiing is expensive for most people, but having grown up in a mountainous area, most kids could and did go skiing for very cheap.
https://www.latimes.com/archives/la-xpm-2008-jan-13-op-scher...

"people... would rather make twice as much as others even if that meant earning half as much as they could otherwise have. How irrational is that?"

Loss Aversion in action - people who were generally gainfully employed and able to make rent despise people who generally were not reliably employed and unable to make rent.

My last two industries (corporate events and travel respectively) got demolished by the pandemic. I'm much happier being consistently employed, staying off the dole, and being able to make rent but I should be thinking the poors can shove it, I guess.
A better editor than nvi (but, weirdly, not as good a vi as nvi)?
There is a strand of feminism that holds that women should have the right to work as sex workers, because women should have their own agency, yet at the same time men should at least be shamed – if not prosecuted – for recourse to sex workers. In this view, men’s use of sex workers is objectifying the female body, and on a societal scale that is not so straightforwardly a "victimless crime".

In the modern era, libertarianism quickly breaks down when certain demographics feel grievances.
So... now I should just brake my phone in half before giving it to the Police. Lovely!
Browsers have Autocomplete for previously inputted things, but many websites want Autocomplete for partial queries that the user hasn't typed before
Why do you dismiss company propaganda as a cop out so easily? Are you saying that in the Amazon warehouse example their propaganda had no effect? I'd argue that even Amazon disagrees with that statement even if they wouldn't admit it publicly. If there were no effect, they wouldn't have needed to worry about putting a bunch of time and effort into stopping the union.
I bet you played it on a modern display. Contemporary TVs tended to hide a lot of those limitations.
Unions for professional athletes seem to have figured out how to get paid for performance.
I Love it! I built something very similar for a hackathon a few years back. Aside from emitting metrics to a server with a simple real-time graph rendered in a browser, I also had it connected to a janky servo that would lower a tea-bag or loose-leaf tea container only after hitting a target temp (e.g., 180F) and lift the container back out after a target time (e.g 3 minutes). Then I could continue monitoring the graph until the temp dropped down to a non-tongue burning level and it would notify me as well. While neat for a prototype, the setup was too clunky to actually use regularly, but I've often thought about making a nice version of it.

A friend of mine also made an actually cool looking build along these lines too. His doesn't emit metrics viewable on a graph, but it uses LED indicators to show temp ranges on the drink stand itself (though I suppose he could always build internet-of-shit integrations in the future, haha). https://www.youtube.com/watch?v=4gJ1Rk6mqHM
Isn't that why laws should go after the seller and the purchaser not the product (especially in humans-are-the-product situations like this)?
> You do realize that there can’t be a Turing-complete language that can be formally verified?

This is mistaken. Formal verification systems of Turing-complete languages are indeed subject to Rice's theorem, [0] but these systems don't make a claim of totality, i.e. they aren't claiming to always be able to prove all the properties which are true of a program.

Further reading on SPARK: [1][2][3].

> I don’t see why is it problematic to provide a well-defined subset with stricter guarantees while still having the overall language for parts that need the full computational power of Turing machines.

If you're going to make use of parts of the Ada language for which there is no formal model, then your solution is at best going to be partially formally verified. That's not necessarily a bad idea, and you can combine formally verified SPARK with unverified Ada code, but it's also possible to write your whole program in verified SPARK. (That's not to say it's easy/cheap to accomplish at scale. Formal development methodologies are notoriously laborious.)

Using a non-Turing-complete subset of Ada for solving certain problems doesn't strike me as a bad idea necessarily, but it's not the route SPARK goes. I'm not an expert but I believe verification of non-Turing-complete languages is an active area of research, although I think these languages tend to have a functional flavour.

[0] https://en.wikipedia.org/wiki/Rice%27s_theorem

[1] https://www.adacore.com/about-spark

[2] https://learn.adacore.com/courses/intro-to-spark/index.html

[3] https://en.wikipedia.org/wiki/SPARK_(programming_language)
whole related thread on this yesterday: https://news.ycombinator.com/item?id=27593462
Let's test-drive some sorting algorithms
It uses guile scheme as a scripting language which I like. I think if you are using LaTeX already, going between TeXmacs and LaTeX is not too bad. I have to troubleshoot LaTeX issues within LaTeX all the time when I use special packages and then move to a LaTeX install without those packages. The immediate mode of TeXmacs is good for composing technical documents. I usually fall down a LaTeX hole when I try to get a report done that needs to be done by end of day! TeXmacs is my goto for that, and Pluto notebooks and RMarkdown as well.
That's a lot more talks this year. Can't wait!
Reverse engineering the assembly code required to drive the Geometry Transformation Engine efficiently from the compiled output of the C libraries is to this day one of my favorite technical puzzles I've worked on in my career.

I remember sitting in a meeting with our technical contact at Sony's headquarters in San Mateo where he basically asked without asking if we were using the C libraries. From the way he asked the question it was clear that the correct answer was "No, not using the libraries" since otherwise our game wouldn't be performant. At the same time we both knew we couldn't say that explicitly since that would violate Sony's contracts.
iPhone 12S to get 120Hz screen and more power, but no Mini model
Dion Systems
Rembrandt's Night Watch – The Missing Pieces
I am genially confused here. What are you trying to say?
Or Idiocracy.
Maybe this related:

1 month ago discussion:

Advices for Burnout and Depression

https://news.ycombinator.com/item?id=27226918
Yes, I don't think the "Nordic model" is a good final answer. But I am not sure if there are more problems with human trafficking in Sweden than in Germany (of course geography plays a role, too).
The Reddit post in question pretty clearly describes the consequences of that approach; very substantial impacts on the sex worker.
Your ISP is lying:  Monitor your Internet with a Pi
> But EU bureaucrats seem intent on socialism

Socialism isn't really a dirty word in Europe (or anywhere else in the world) like it is in the USA. 20% of elected representatives in the EU are socialists.

So it's less "EU bureaucrats intent on socialism" and more the European zeitgeist.
Someone who never got DDoS’d by their own app after their server went down, that’s who.
Again, we're not talking about UBI money, we're talking about money earned after UBI. Without UBI, people who work in cash businesses have to report a certain amount of income to justify their living expenses. With UBI, there is nothing to justify, and it makes it much easier to operate your own cash-only side hustles tax-free as long as you live in a place you can afford solely using UBI.
This is a terrific value for anyone new to disc golf. Hard to go wrong with this three disc set from Innova and it's also a great price.

https://www.dunhamssports.com/product/3-pack_disc_golf_combo...

To make it even simpler - a beginner could confidently play a course with only a mid-range disc. It's that simple. Don't get caught up looking at players who walk around with 30 disc sets in their bag. It's just simply not necessarily for a beginner.
The battery paradox – How the electric vehicle boom is draining communities [pdf]
> Is definitely the counter argument I would use - if people have preferred pronouns then what is the ethical argument for ignoring those and using words that would cause them harm

So I think a natural conservative argument there would be that the primary reason why we have sex-based (not gender-based!) pronouns in the first place is so that we can talk about biological categories that are important for the continuation of our species: while some men cannot father offspring, certainly no transman can. So why should we call them men, if it is in fact the reproductive function because of which we use these terms in the first place?

Messing about with mechanisms that are crucial to our survival should at least not be done lightly.

Even as somebody who is non-conservative on most issues, the lack of acknowledgment by trans activists that that's what they're doing rubs me slightly the wrong way.
That actually sounds a lot like a <select>. If you need to have the customer ID, you won't be able to do much with just a customer name anyway. If you accept a name, you'd need to accept a separate ID too.
Tesla unveils its new supercomputer to train self-driving AI
This is not true. Google Cloud's speech-to-text service allows users to select the region used to process data, and allows users to pay a higher rate in order to opt out of their data being logged.
so you are in favor of legalizing prostitution?
There Were No Borders in the Middle Ages
> And you are saying if we can't discuss elite trans sports with nuance, then how can we discuss an even more nuanced topic than trans elite sports?

That's all i'm saying. It's pretty obvious having an objection to Fallon Fox fighting biological women has more to it than pure hatred and bigotry towards trans women. If the gender ideology crowd can't acknowledge that or debate that civilly, I really see no chance of debating less clearcut topics. I deliberately chose it as the most extreme example I could think of to demonstrate how unreasonable and emotional I think that segment of the political spectrum is.

> So did you want to discuss trans elite sports or were you trying to demonstrate that people cannot handle a conversation with greater nuance? Or both at the same time?

The latter, but if you want to talk about the former we can do that too.
I've found the best warm up for disc golf is to play catch with a baseball/softball. If I'm solo then I will literally throw rocks (at the course) to get the shoulder moving.
> This has got to be the laziest rebuttal - think of the orphans!

I'm sorry you felt my argument to be lazy. Allow me to elaborate. Widows and orphans is a common trope in finance that refers to the most vulnerable members of society, those without the pricing power to keep up with inflation. Typically it means those on a fixed income such as pensioners. These 'widows and orphans' are the worst hit by inflation since high earners can pressure employers for a raise or switch jobs for more pay while the idle rich can keep their assets in inflation-resistant holdings. Pensioners suffer disproportionately - that was my point.
You could do that, but few are interested in the answer to that question. People want to know who is fastest, strongest, ect, not most improved since birth.

The challenges people overcome makes for a good story, but is not the core competition.
I hear LA and SD are better. But otherwise, pretty bad compared to east coast. Gender balance is just not there because of so many tech jobs.

I have nothing I can do. I’ll see if I can meet someone else in another city when I get back to traveling. That’s about my only hope. I have in person activities I do but I don’t think post-pandemic will bring enough new blood to make up for the bad odds. (Even the activity I do which is normally known for being woman heavy is more heavily male here than anywhere else I’ve seen in the world)
Do iPhones have the hard-reset like Android where you hold power for a while, ignoring the on-screen prompts until it's forcefully reset?

That might be an option. If it's not, I guess it's much easier on iOS to fake a reboot as the boot process (visually) is known, on Android it could be anything because it's manufacturer customisable.

EDIT: Fixed some grammar.
Haven't there been stories of parent's losing their phones because their kids randomly entering in passcodes forced the exponential time outs to be into the years (and longer) time frames?
Spectators surprised by man flying through Times Square on a hoverboard
Where in the EU is air travel not subsidized in some way?
Those melodies were used to fight copyright, not profit from extortion. Different use case.
Why would rankings not be copyrightable?
Getting off topic, but skimming past I read that as "the new tunnel linking New Zealand and North Germany", which would be an impressive feat of engineering!
PipeWire fixed my years-long problem with audio delay buildup over Bluetooth in Ubuntu 21.04.
>Anyway, it’s always DNS. Always.

Which is disappointing. An infrastructure where the backend is VERY easy to make highly redundant. Thwarted by decisions not to do that easy work, or thwarted by client libraries that don't take advantage of it.
He called it a nervous network.

http://faq.solarbotics.net/nvnet.html
I actually wrote a userscript to allow me to easily switch from bing to google or other search engines https://greasyfork.org/en/scripts/403095-altsearchrefactored
The best advice I can offer is that with whatever disc(s) you have - spend time practicing with those discs away from the course. All discs fly differently and it's best to get dedicated practice with your discs.
When I left a previous state, I paid to port the local area code number away from (major cell carrier) over to Google Voice (I've had this number some 20 years now). Many of the folks I work with (tech sector) have cell numbers from different states, having moved into this state only for work and some day plan to leave/return to their original home.
Recent Covid vaccine card scams are related to past phishing campaigns
I have absolutely no problem with workers unionizing if they want to, but I continue to be confused by these kinds of pressure campaigns. The Teamsters appear to be assuming that all workers will love unions if only enough pressure is applied, despite multiple failed unionization votes at Amazon sites. Shouldn’t there be a component here where they talk to the people who voted no and understand how to be more responsive to their needs? I worry that the real goal here is to increase the power and influence of their own organization.
>Amazon warehouse worker is not a long term job for most people that do it.

And why is that? I don't know but I doubt it is because they're "warehouse nomads". If Amazon warehouse offered stable jobs with good wages and benefits I doubt the turnover would look the way it does.
What does turning the phone off solve? Can you not be compelled to turn it on?

I always assumed a border agent in the US would simply insist you turn it on for them, and you have no choice.
The trans person's intent doesn't matter. What matters is that they are inserting themselves into female competition at an immense advantage. The fact of the matter is that if you allow biological men into female competition, females will never win anything. That is literally why there are sex separated sports. Females cannot compete with males at the highest level of sport, this is just a fact. I don't think we should be destroying the sports dreams of half the population to appease the trans people. It sucks for them, but quite frankly I don't care, because there is no better solution than to exclude them.
Portugal also got good results recently:

"Renewables produce 79.5% of Portugal's power in Q1 2021"

https://renewablesnow.com/news/renewables-produce-795-of-por...
you're missing the point. no matter how pure everyone's motives are, it's a mathematical fact that 7 men and 3 women aren't going to end up in heterosexual pairs.
Same or Different? The Question Flummoxes Neural Networks
This is an awesome article! It covers a lot of ground in a way that makes sense for people that aren't game developers or system-level engineers. I love the tabbed sections and the model viewers too.

It looks like the author, Rodrigo, has done similar articles for a bunch of other consoles which is incredible.

https://www.copetti.org/writings/consoles/
The disintegration of Western civilization and the crumbling of the American Empire could lead to an uptick in violence as ideological conflicts increase as these groups either compete for power or simply survival. Pointing to heat seems almost like exploiting a politically convenient correlation.
U.K. Denies Russia Fired Warning Shots at Its Ship in Black Sea
The pursuit of happiness with Python and PostgreSQL
Calling people is just rude. "Drop everything you are doing and pay attention to me". No thanks, text me instead and I'll look at it when I want.
Did I touch a nerve?

I'm not dismissing ntietz. I'm only remarking on general trends. It is a hobby of mine to watch programmer job trends and I'm in the process of compiling my new report for 2021 right now.

https://www.propellers.io/blog/will-it-really-look-great-on-...
Most likely will land you an obstruction of justice or evidence tampering charge - or both. I don't rec this.
"Area" codes in German cellphones were never the area but the cellphone provider. But that became none sense, when you could move your number to any other cellphone provider like I did. I own the same cell phone number since 1998 and was with almost any of the cellphone providers (except QUAM and E-Plus).

Actual area codes in Germany are always area codes. I doesn't matter if they are mapped to the cellphone or to SIP. When you make an address change, then your area code changes. Happened to my area code. But moved it to a friends house in the same area, so that I can keep it (illegally). Because I "own" that number as well since about 1998.
Agreed about preference to approval. My problem with IRV isn't about strategic voting though; I think predicting the outcome is too complex to be concerned about that. The worry that I have is that a voting method that encourages candidates to move public opinion away from them will lead to weird outcomes and undermines public trust. I think the 2000 election had an example of this in plurality voting, where republicans campaigned for Nader hoping to split the vote. In IRV I worry that we'll see similar effects, where candidates campaign for opponents because they think it will give them a tactical advantage. Aesthetically that doesn't sound "fair" to me, and my worry is that weird behavior like that undermines trust in the system.