skysight-inc/HackerNews huggingface dataset:
I should mention that constructive mathematics, at least when done in dependent type theory, really starts to shine when things that normal mathematicians think of as propositions, are viewed as data. For example, normal mathematicians think of list membership as a predicate, but in dependent type theory, list membership is a value of an inductive family that is effectively an index of where that value occurs in that list (and in particular there could be multiple different values if that item occurs in the list at multiple different locations).

And dependent type theory is gleaming when things that normal mathematicians think of as propositions are not only values, but functions! For example a list l1 being a subset of a list l2 is a function from memberships of l1 (which, remember is data) to memberships of l2. Now you get partial evaluation when working on your proofs and things just magically unify.

I write about these examples in experience I had in "Taking Propositions as Types seriously" @ <http://r6.ca/blog/20171008T222703Z.html>.

There is a practical difference between Principia Mathematica taking 370 pages to prove 1 + 1 = 2 versus dependent type theory's proof `refl_equal 2`. (I'm exaggerating, but only a little).
I'd love to see this video with some real-time overlays. Landing spot identification with a 90% confidence zone, hazard identification, altitude, etc. I'm also curious how much hazard identification was done in real time versus a pre-programmed map.
Table 3 and Figure 2 make it clear that the hazard ratios for patients with hospitalization and/or encephalopathy are multiples higher for those without hospitalization and/or encephalopathy.

Intracranial haemorrhage is 3-4x more likely in hospitalized patients; ~5x higher in those with encephalopathy. For stroke, 2-3x for both. For first mood disorder, 1.5x/2x more likely.

They don't break down the cross-tabs by age (as they should), but given the patterns here, I would expect to see a strong correlation.

The sicker you are, the sicker you are.
Fascinating. I have so many questions. How did this manager manage to not get his position terminated? Was he able to run Excel calculations for the GarbageCopter outside his office machine? I will stop here for now. Thank you.
I ask the DJ to play an underground Italian new wave minimal electro duo... Of course he doesn't have it. I settle for Daft Punk.
Fuel for ITER is set for test run
FYI: Go's lack of generics was not related to readability - the Go team didn't have a solution they liked, so instead of saddling the language with a half-assed solution forever, they waited for a more elegant solution. Also: the design of Go generics was recently approved (as in the past month).

It's no secret that Go is targeted at "programming at large". Go's design favors larger, fewer modules, how those modules are structured is left to teams/individuals. I may be lucky to work with a great team, but I always find the code where I expect to find it. When I'm starting from scratch, I utilize modules, <$VERB>er interfaces, structs and receiver functions: I cannot remember ever running into an ambiguous scenario where I'm unsure where a particular piece of code ought to go.
Aura | Senior Frontend Engineer | Remote, Boston | Full Time

Currently the biggest competitor to LifeLock, my company Aura (aura.com) is taking a big step this year by releasing our flagship product — a unified security suite bundling our industry-leading services such as identity theft protection, cross-platform VPN, personal data masking, and more. The suite is built with React/Redux and interfaces with our in-house platform of AWS services. We’re looking for an experienced Frontend Engineer to bolster our team as we sprint towards our public release.

You'll be a good fit if...

- You have 3+ years experience developing large scale products using frontend technologies such as React, Redux, Javascript ESNext, CSS/SCSS, Webpack/Rollup, Node.js

- You have hands-on experience architecting global stores (via Redux, MobX, or React Context) with complex data models and can articulate how you solved problems like caching, pagination, etc

- You’ve configured bundlers like Webpack and can give examples of optimizations you’ve made
- Accessibility and test-driven development come second-nature to you and are baked into your workflow

- You live by metrics such as First Contentful Paint, Time To Interactive, and First input Delay and can explain why they are important

You'd be a great fit if you also...

- Have experience developing reusable and accessible component libraries

- Can spin up and modify AWS services with Terraform

- Have previously built integrations with Content Management Systems

- Have working experience with ‘Martech’ tools such as Google Tag Manager and Google Analytics

You can apply through our job board at https://careers-aura.icims.com/jobs/1372/front-end-web-devel... or DM me
btw. these are the platform benchmarks of c# (only kestrel + manually writing the response, basically no framework code) the real ones are in benchmarks (aspcore-mw), which just use a middleware and are also really really fast. btw. golang's std http server is just really really slow. fasthttp solves that and is basically 6x faster in some real code cases.
I've made a pen myself at a local makerspace. If you have the chance, you should definitely try to do it yourself- it's pretty safe and if once you get the hang of it it's very relaxing.
I'm going to educate you more right now - jet fuel is not explosive in the sense that you think it is. It's much less volatile than gasoline and is regularly dumped overboard in emergency situations with no fire risk. Modern jets can fly just fine with one engine shut off like in the OP. Provided that there is enough altitude, planes will glide their way to back a runway to land if both engines go out. The structure can take way more abuse than you think - see this picture of a 787 undergoing a wing structural test. http://blog.flightstory.net/wp-content/uploads/787-ultimate-...
New nose mask reduces infection risk during mealtimes
Thanks for the question! Your concern is justified. There are no guarantees. The only thing for certain is that if you don't get a ping within 60 minutes then your question will be deleted.

It's kind of a chicken/egg problem where there aren't enough questions because I don't have enough people to answer them, and there aren't enough enough people to answer them without a steady supply of questions to keep them busy.

I'm reconsidering the pay rate after reading a few of the comments here.
I've worked several full days at a vaccination center in Michigan. It's quite crowded, something like a grocery store. It wouldn't surprise me if there was some spread there.
This article does not cover it but Elisabeth Ann is not 100% black-footed ferret as the mitochondrial DNA comes from a domestic ferret (via the egg cell the black-footed ferret cell nucleus was cloned into). This means that this individual will breed with a normal black-footed ferret male and only the male progeny of those (that still has those normal ferret mitochondria) will be crossed back into the real black-footed ferret population.
As a long-time Lamy Safari fan, I have a hard time believing people really put these fat, front-heavy pens to use. Anyone here actually use these as more than just decoration or gifts that get tucked into a drawer and forgotten?
The issue is most companies don't want to be greener pastures - which usually means they don't want to promote or give raises internally too often. No idea why.
The Proper Way to Start a Company in College
Are you able to service customers in Canada?
I'm worried this question might get written off. I would actually like to know the answer to this as well.

My immediate reaction is that either (1) it is possible, and the story is therefore more nuanced that might appear at first glance, or (2) it is not possible, and this is an even more egregious problem.
inaturalist really needs the funding to support videos honestly.
Awesome! Thanks for the feedback and the offer!
You are trying to solve a problem that is a feature. Printing money is a feature to keep our societies afloat during dark times.

It is one of the tools to keep a currency stable.

Not to say that there aren't serious problems in the fin-tech world, but immutable ledgers and rigid currencies aren't going to solve those.

The key problem - and your post is yet another example - is that you can't replace trust with an immutable ledger.

https://www.schneier.com/essays/archives/2019/02/theres_no_g...

The real problem - in my view - is that people don't understand the foundations of a society anymore, how to live together.
> statistical outliers

This is the claim I'm disputing. I don't see evidence that this is so rare. In fact everything I can find suggests otherwise.

To be clear, I hate this.
In my country it generally works the same (as writing with fountain pen is enfoced in primary schools), but after "ballpoint" phase during college some people go back to fountain pens, as they are seen as more classy and elegent writing tool.
Premature simplification is the root of bad security
Finally: How to Turn Your Spare Time into a Profitable Online Business
Minor correction regarding Zeta: It's still technically an emulator of a DOS environment - just an incredibly bare-bones one, with enough implemented to run ZZT/Super ZZT and little more. However, being made to run a specific executable lets it do some other tricks - such as reduce input lag or introduce an "idlehack" to prevent 100% CPU usage. Zeta was designed over a year before the Reconstruction of ZZT was even a seriously entertained idea, and I'd have certainly gone about it differently had I had hindsight.

Also, Zeta is a JavaScript/WebAssembly project in this regard (the C part of the codebase is compiled to WASM, but can also produce an SDL-based desktop variant) and developed as such; not just JS!
Elliptic curves are also quite simple. Computing a public key boils down to point addition with a modulus.

The private key is a byte string and the quality of it only depends on the random generator. It’s trivially fast to generate 32 bytes of decent quality random numbers these days. There are many insecure rsa generation methods with weak criteria. Too many are fossilized in libraries and crypto cores. Rsa also has half a dozen padding schemes and most are now considered weak or vulnerable.

EC is generally considered much stronger for a much smaller key size.
It's generally a political challenge for a free society to get the power and the megaphones back from the people they were given to during a crisis.

After an acute terrorism threat ends, it's hard to get power back from the military and the police.

In this case, it will be hard to take back power and the narrative from the public health establishment.

While they perform a crucial role in our society, they will tend to value safety over freedom and quality of life to an extent that would be crippling if we let them continue to set the agenda after the acute phase of the crisis has passed.
Also worth checking out is The Archive. There are some differences, but I've been very happy with it as a successor. https://zettelkasten.de/the-archive/
This, absolutely this.

I looked over a friend's PhD program because the results were unstable. I knew nothing about the domain which was a large disadvantage, but on the code front it was a monolith following a vague data pipeline approach. Unfortunately components wouldn't run separately and there were only a single end to end tests taking hours to run. Had each section had its own tests, diagnosing which algorithm(s) were malfunctioning would have been easier. We never did.
This is neat, of course. But not only does it miss the smell component (which is probably 90% of flavor), but it also misunderstands the temporal nature of taste. There's a reason not all all sour things taste the same sour, and why sugar substitutes are so difficult to get right.

Your perceptions of them rise and fall at different rates, and you're very sensitive to that. It's the reason a diet soda often tastes very good for the first sip, but tastes weirder once it's left your mouth, and subsequent sips don't taste right. Different molecules attach and detach from your taste cells differently, and that makes a big difference.

The article compares it to the first phonographs, and maybe that's apt: the first phonographs are barely recognizeable as the human voice. This will be barely recognizeable as flavors. I've got a sneaking suspicion that it will take longer than it took to get the phonograph right.
If you don't mind sharing - what is the airgap diameter (presuming it's a radial flux motor)?
From outsiders point of view DNS is kinda weird and fascinating (and a bit scary). Conceptually simple key-value store, but then there is readily apparent so much complexity that is kinda surprising. So many extensions, edge cases, legacy leftovers, and all sorts of things. Also nice and interesting that there seems to be many high quality foss options to choose from with different flavors.
i'd always imagined burial was a side gig for kieran hebden / fourtet .. got ridiculed by everyone i mentioned it to in confidence .. they were right
I also have fond memories of ZZT; my first encounter with it was a shareware disc of "SuperZZT's Monster Zoo", which I gather was a somewhat less-popular sequel with a screen that was allowed to scroll rather than paging over. Some of the fan-made worlds were really impressive in how they managed to accomplish visual and gameplay effects.
Who is making 125k p/y that needs a second job??
How do you know that was the reason you didn't get the job? It sounds like they gave you an opportunity to say you made a mistake, and maybe figure out how you'd fix it.
Nvidia announces official “anti-cryptomining” software drivers
I think they are often reserved for signing documents and not for general use.
It’s not clear to me how illustrating the flaws in one country’s healthcare system should affect the decision of another’s who hasn’t experienced the same flaws even with greater per-capita cases of the virus.

My comment was geared towards America because I’m an American talking on a forum operated by an American company.

Italy can lock down to their heart’s content- that’s their prerogative.
The "TD" call is wheels down on Mars. However, at that point the sky crane is still tethered to the rover. If the tether separation isn't successful, and/or the descent stage impacts the rover, then you can't say "We're safe on Mars."

Note that this edited video is compressed with the timeframe. The gap between the "TD" and "safe on Mars" callouts were longer as it happened.
I am skeptical if the law has anything to do with the people employed in the day-to-day operations of the US prison system.
It's not just the landing, that's relatively simple and can be mostly done with bigger thrusters on the craft but you have to slow down a lot before you can safely. Right now that's done through a heat shield then a parachute and finally the actual propulsive landing of the SkyCrane. We've done some testing of inflatable shields for the first step but nothing practiced actually in the Martian atmosphere yet and parachutes aren't great for heavier things.

You want to use the other two to slow down as much as possible so you're not hauling extra fuel all the way to Mars. Ideally you'd be using ISRU units to generate your return fuel too.
Yeah, the idling thing, or looking from the other side, the on-demand expectation pretty much kills it. Or makes it hard to organize.

I used to be active on CodeMentor a few years ago, and the bad thing for these problem solving kind of requests is that they are usually prompt requests. Now working remotely, in theory, you can be available almost any time, the problem is, that after a while you just feel like not wanting to leave what you do. At least not on a short notice.

Agreed upon mentoring sessions that can be scheduled work a lot better from this regard.

Actually, when I joined codementor, I was working on a startup that offered psychology consulting in a similar way. (And one of the reasons me joinging codementor was to get first-hand experience of the dynamics of such a service.) Our psychologists didn't like either that they had to be around and that they had a lot of non-meaningful inquiries. (Similar to what you see on codementor.)
I worked at the Redmond WA Nintendo of America location. You'd get qualified to do the game support lines. The starting was on setup and installs. There was a 4 week onboarding program teaching you how to easily look up things inside of their custom help database. The database would have model numbers and give pointers on identifying the input select. Identifying the equipment usually involved the son/daughter since they could get behind the entertainment center.

Super Agents were the ones who answered both support lines and used a different part of the same db program. There was some AS400 looking terminal for subscriptions, ticketing, and creating shipping labels for say Pokemon game carts that died. People naturally abused this and would send wood blocks. The desks had TVs and game systems and tons of issues of Nintendo Power magazines.

The floor was huge, hundreds of people grouped in by "streets" named after characters. The cubes were in clusters of six. I recall the game testers, they were in a different area, playing and playing one part trying to replicate issues or discover them. Sounds soul crushing. The neat thing were the marketing displays, like the units that would be installed at stores or showing the old card games Nintendo started with. The employee store was neat, getting that gold controller or other games was a breeze. There was an indoor lounge full of arcade cabinets, usually the cheats listed on the sides and one of the corp guys would geek out on Robotron 2084 and get a score so high it would reboot. Good times.
Amen. I bought my iMac with Leopard, wanting to believe in that it would be the "Apple Unix Workstation", and Snow Leopard was one of those rare things -- an upgrade, which was sold as a performance and reliability release, not a feature release, which was noticeably faster for me, and gave me great confidence in the whole platform.

It's been in steady decline ever since, with iPhone and iPad stealing the show. But now we have 1000 USD monitor stands, so there's that.
Youtube early days were similar to TikTok or any new platform, there are now just regular people doing creative things. As more and more videos are added, more businesses start to participate and more video depth/detail is added, then it gets harder to compete. It becomes less about just content value creation and more about content value extraction.

It is almost as if these platforms need a few different algorithm setups, the ones that are for more long term quality content, indie/business and just one that is raw where fresh content can be seen. They try this with "trending" type systems but due to market size they are usually heavily manipulated.

Right now featured platforms like TikTok are similar to like Twitter in that only the latest stuff matters. On Youtube it is more about quality, long term content for many creators. It is about right now but also you'll find amazing videos on history, art, gaming, development, markets, information and more. Youtube, Vimeo and others or sites that have been available for a while, are more about all types of creators so the real-time hype of new content isn't as successful for creatives, they start building more niche or long term bases that requires more work to produce. To compete the levels of production go up and up.

Shorter term real-time fresh platforms like TikTok are like the "new" algorithms on reddit/HN or the Twitter style freshness.

Longer term real-time fresh AND detailed deeper content videos are more like what you find on when looking for information on a search engine like Google or "popular" algorithms and more refined, more competitive and owned by larger players, but also more about information and answers.
If you joined the Ethereum community in 2014-2016, topics like DeFi and NFT were not in the discussions. These things are pure speculative bullshit imported wholesale from the established financial system.

The point of Ethereum was to build an open world computer, to decentralize power, to build collective intelligence, and to supersede the corrupt global financial system with non-speculative economic models that served the needs of humanity and the planet.
That's not hyper-capitalistic, that's just fascist/pseudo-feudalist. Throughtout history everyday people have been pretty much powerless in any meaningful way, always, no exception except maybe for early USA history.
That's relatively simple just wire them directly into the rover to start with so the data is always in the right place.
The legendary Mike Batt!
Yes, a tail recursive coroutine could reuse its previous frame context across yields.

With a state machine transform the `resume()` method on a coroutine is a state transformation, it doesn't necessarily know what is "forward" or "backward" in the control flow graph. There are some tricky bits though, since tail recursive functions can have multiple exits but single entries. A recursive coroutine might have multiple exits and multiple entries, so it's not always clear what is "forward" and what is "backward."
I enjoyed that -- Apple's UI shifts have been subtle (mercifully) but I still think that there was a real high water mark around 10.6 and later to 10.10 too. I haven't upgraded to BigSur.
One of the things that makes these GPT3 startups hard, and in my opinion most likely non viable, is that GPT3 is not ready for production.

It can produce text that at a glance looks like it could have been written by a human, but a human that is not very competent at the task it set out to do and makes basic mistakes. For example:

https://www.buyforlife.com/products/efa8b0c1-d7da-4485-b7f0-...

- Blade will rust easily unless oiled.

- The locking mechanism is not as secure as it could be, and can be difficult to disengage when the blade is being used for heavy cutting tasks.

- The blade is softer than most stainless steel blades, so the knife will dull quicker than others.

There's also no way for the startup to fix these issues, unless they have the resources to actually improve GPT3 itself.
ZZT Ultra is an older project to try and re-implement ZZT in ActionScript 3; it did receive an HTML5 port attempt a few years later, though.

The best way to play ZZT on the web currently is to use the dedicated Zeta emulator; it's integrated with the Museum of ZZT, as well as used by most ZZT-based games published on Itch.