skysight-inc/HackerNews huggingface dataset:
Unfortunately there isn't, but I'll try my best here: In two level type theory, your language is actually two languages - a "meta language" (or meta level) and an "object language" (or object level). Additionally, we have a construct for relating object-level terms/types to meta-level terms/types. There are other, more type theory heavy qualifiers, but that's the basic idea.

It's quite a simple system, but it turns out to subsume quite a lot of others. Depending on how your conversion construct behaves, you can get vastly different metaprogramming systems.

The most important consideration when determining what you can do with 2LTT is how "similar" your two languages are, in a rough sense of the word. Remember that these really are two separate languages - they can have entirely different features and behave completely differently. Peridot is actually a good example, the object language is functional and dependently typed, while the meta language is more akin to λProlog or Twelf (it's a logic language).

If the two languages are identical, you can get something akin to partial evaluation for example. Peridot is on the other end of the spectrum, where the languages are completely dissimilar.

Note that 2LTT is actually even more broad than this. I'm talking specifically about 2LTT's applications to metaprogramming, but the authors of that paper used it to overcome some limitations of theorem proving in homotopy type theory.

TL;DR: In two-level type theory, your language is really two languages (levels) stuck together. You also have a construct to relate object-level terms/types to meta-level terms/types (notably, the reverse is not allowed). Depending on how this construct works, you can get all kinds of metaprogramming systems.
I was in a different branch but I feel like the series was probably a remarkably balanced portrayal of Navy/submarine life. There's a lot of cool stuff to talk about but clearly it's a demanding job and most of those sailors looked worn right out.
Anyone really surprised by this? Musk is buddy with Peter Thiel who’s now full-time pushing MAGA agenda.

Regardless of politics, I think this is the beginning of the end for Twitter. Most people will leave the company and I wouldn’t be surprised if they start hiring people directly from Truth Social to replace them.

I think there will be a big opportunity for someone to step in and replace Twitter in the next couple of years.
If the result of a left wing twitter is what we have now I don’t wanna see what’s going to happen if he does what he says.
>Presumably everyone would agree straight white males were given huge privileges in the long tail history of America. (That's a pretty easy reading of history.)

No, that's a biased, agendad reading of history which ignores that the vast majority of these unfairly privileged white males were competing with other males who shared the same privilege. It does not justify discrimination against individuals today. It also does not demonstrate how a 90% majority benefited from workplace discrimination against the minority. Those inconvenient details are handwaved away with accusations of bigotry.

>So, if your claim is that they are now discriminated against- what was the inflection point where they were treated with no net bias?

Given the rate with which this cultural shift has progressed, there may not have been an obvious inflection point. But that's irrelevant to my argument.

In typical fashion you are simultaneously rationalizing discriminatory hiring practices (as though historic privilege requires modern correction) and denying that they are being mandated (as though D&I initiatives do not put implicit and explicit pressure against hiring white males). And the dishonesty is infuriating.
Tesla allows you to send an address from the Maps app to your car (via the share menu). It’s one of my favorite features. I have no idea why other manufacturers wouldn’t replicate that experience.
Personally, it's a huge red flag when anyone in any sort of leadership position in the american military is against any kind of conflict, because they are usually all for it. I also can't help but wonder how this would be reported if these leaders did this to obama. I really wish they did!
Cisco Meraki | Software Engineers & Leaders | Full-Time Hybrid/Remote | VISA | US/CANADA/UK/INDIA/AUSTRALIA | https://meraki.cisco.com/jobs

At Cisco Meraki, we know that technology can connect, empower, and drive us. Our mission is to simplify technology so our customers can focus on what's most relevant to them: their students, patients, customers, and businesses. We’re making networking easier, faster, and smarter with technology that simply works.

About Meraki? https://www.youtube.com/watch?v=QvBFOLkQtJU

We're hiring across all departments!

- Test Automation Engineer: https://grnh.se/60bc1abd1us
- Engineering Manager, Full Stack: https://grnh.se/1c6cb2d11us
- Full Stack Engineer: https://grnh.se/3c10766d1us
- Backend Engineer: https://grnh.se/d146efec1us
- Director of Data Science: https://grnh.se/973ff7ad1us
- Application Security Engineer: https://grnh.se/369a7d891us

... and many more positions! Please apply directly on our website.
You are very welcome! I'm glad you're enjoying it.
Damn it Elon, you don’t get stuck in re-litigating the past, it’s pointless and doomed to failure.

Trump violated the rules a lot for years building up to finally getting banned… and he deserves the ban. Being important and famous doesn’t change the fact he deserves his ban. Anything you do to undermine this undermines the validity of ALL bans no matter how justified and appropriate each ban was.
I mean it does say "Open Street Map" not "Open Rail Map."
"I really really look forward to a world where internet service providers simply stop bowing to shitty unhealthy demands of sovereign powers."

rsync.net is not an ISP, but … way ahead of you there:

https://rsync.net/resources/notices/canary.txt

Every Monday morning for 16 years.
Let's do that power bit.

Okay, so ... statistically, would your average transwoman be taller than your average biowoman? Stronger? There's your power.
The interesting thing about EU is that, because it’s a bureaucratic dictatorship, it can force it (worse, citizens are mostly obedient). So it’s particularly dangerous.

Imagine France orders this! It’s not like Apple responding to consumers’ opinion.
>closed system

That's the point libertarians don't get: there is no closed system. There is no green field hypothetical.
Strategies in the news this week (May 9th)
OT, your comment was intellectual pleasing, that I read it twice.
Oh those are facts. I thought it was just anecdata.
Woah, rebinding the right command key. I'll need to retrain my brain to get used to it, but this is really, really cool. Thanks!
Most VCs are a-holes, why are you surprised?
Maybe the monolith shouldn't use PHP and MySQL. But what about, say, a high-performance managed runtime (e.g. JVM or CLR) and SQLite? Expensify's findings [1] suggest that with vertical scaling, SQLite can go very far.

[1]: https://blog.expensify.com/2018/01/08/scaling-sqlite-to-4m-q...
One personal Mac I use daily.

One work laptop, also a Mac.

One iPad I basically never use.

One ChromeBook I literally never use, think it has a broken screen.
I'm also interested in following updates to your approach here.

Something that stands out immediately to me is that reliance on binary attachments. In my own CouchDB ecosystem work binary attachments have turned out to be just about the worst part of the ecosystem. PouchDB stores them pretty reliably, but every other CouchDB ecosystem database (Couchbase, Cloudant) including different versions of CouchDB itself (1.x is different from 2.x is different from 3.x in all sorts of ways) all have very different behavior when synchronizing attachments, the allowed size of attachments, the allowed types of attachments, the allowed characters in attachment names, and in general the sync protocol itself is prone to failures/timeouts with large attachments that are tough to work around because the break in the middle of replications. The number of times I've had to delete an attachment that PouchDB stored just fine to get a sync operation to complete with another server has been way too many already.

I've had to build bespoke attachment sync tools because I haven't been able to rely on attachments working in the CouchDB ecosystem.

Probably more evidence to back up your gut instinct that a native Yjs-oriented store may be better in the long term.

(Admittedly, too, I've been thinking that I need to replace the CouchDB ecosystem as a whole. PouchDB is great, but the flux I've seen in the Apache CouchDB project and the issues I've had with the managed service providers especially Cloudant after IBM makes it really hard to recommend the ecosystem. Overall it seems unhealthy/in-decline, which is sad when the core sync infrastructure seems so nice to work with when it works.)
the language is more 1SG, an XO communicates via ppt

Slide 1: Leg: Anatomy and Function of Bones and Muscles, Plus Diagram

Slide 2: Establishment of ownership of leg to a soldier, attached and special conditions of detachment

Slide n: ... blasé blasé blasé
There's no well-known millionaire founder behind Signal
And then we could assign a score to each digital identity! A social score of sorts...
Well good thing he's not a journalist. He writes a comedic opinion column that pulls from his experience as an investment banker and M&A lawyer. He's a blogger.
Yes, we should. HN threads and Twitter would enjoy a significant improvement, at the very least.
As a counterpoint, accusations of "violence" get thrown around with little restraint. "Silence is Violence" but I've also found that disagreements can equate to "denying my right to exist".
Oh and I forgot to mention, notice how I say we need to throw something with "momentum" and not "mass", this is because think of photons, they don't have a rest mass, but they have momentum! and all you need to makes photons is energy (Afterall LEDs do it with efficiently). Infact light sails [1] use this momentum to propel themselves forward! Afterall the solar system is full of photons thanks to the sun. The downside is... they are very very slow.

There are also concepts of making a "Photon Rocket" [2] as a viable means of interstellar travel.

[1]. https://en.wikipedia.org/wiki/Solar_sail
[2]. https://en.wikipedia.org/wiki/Photon_rocket
[2].
"Wow, iPods, it's been a wild ride, amirite?"
Microsoft takes 6 months to add AAAA record to Linux package repository
https://github.com/dotnet/core/issues/7435

Am I wrong to assume it should be a simple task to add an AAAA record for this domain?

What could be the reason that it takes them this long?

What does this say about the transition to IPv6? It's never gonna happen?
I think I miscommunicated my point. I agree with you, I am merely providing my perspective as to why they no longer hold those principles: because it "cannot be tolerated" in the modern era. We're still in an era of "punch people whose views i don't like."
And in this hypothetical scenario, how does that protect against the aforementioned attack? If one of deno's hosting sites can be attacked to upload a malicious script, one of the package registries can also be attacked and upload a malicious package.
Transwomen are not normally fertile, since the hormone treatments seriously impede the working of their testicles (if they still have them).
Why wouldn't the consumer care about that?

I'll expand on another commenter's analogy. Imagine if it was possible to easily duplicate, atom-for-atom, the Mona Lisa. How much would a copy go for? Maybe $50 with a nice frame? Nothing close to the mega millions for the real thing.

This means that the value of the painting is not the painting itself. It's valuable because of who created it and the history surrounding it.

It's possible that bad actors will try and sell a forgery, with paintings as well as for NFTs. That doesn't mean all paintings are worthless. It just means that buyers have to be careful.

There are plenty of valid criticisms of NFTs (and to be honest I'll probably never buy one) but this is not one of them.
Vacuous Truth
And as someone asking developers for those estimates, I often see all sorts of equivalents that we complain managers have in the form of politics.

Devs over-engineer, add way too much padding for refactoring and cleaning out tech-debt than is necessary, devs engineer solutions with resume padding, devs like playing with cool tech or trying new tech instead of just using "the boring old thing", they over-engineer (saying this one twice), they get it wrong, devs over-compensate because they got burned previously, they over-compensate because they got negotiated down and then it went bad, they want to impress their peers or whoever they report to, they get bullied by end users that somehow get access to them, etc etc. Yes a lot of those are avoidable, but we don't live in an ideal world.
You need to court startup gatekeepers
In India there is something called "donation fee". It is paid in exchange for admission to a university (as opposed to admission by merit for free). It's pretty ironic

https://www.careers360.com/question-what-is-donation-feeand-...
Incidentally, about a third of Republicans and about a third of Democrats disagree with their party about abortion. This difference is not reflected the congresspeople of those parties, who are more united in their position than the people they ostensibly represent.

https://www.pewresearch.org/fact-tank/2020/06/18/three-in-te...
The story is from this blog post: https://moxie.org/2022/01/07/web3-first-impressions.html

It's incredibly simple. The NFT points to a URL controlled by the author. The author configured the web server so that it would respond with different images "based on the IP or User Agent of the requester." There's nothing web3 or blockchain going on here, it's just a normal image URL where the web server responds differently for different requests. Kinda like image hosting services that would return a placeholder image if you tried to hotlink directly to the image URL.
> Some of their previous grants are downright laughable, like spending $30K to distribute copies of rationalist Harry Potter fanfiction (Harry Potter and the Methods of Rationality) despite the fact that it's freely available online. (Source: https://forum.effectivealtruism.org/posts/CJJDwgyqT4gXktq6g/... Ctrl+F "Harry Potter")

Is this how money is laundered in non profits?
Just went and checked, the Mini 2 didn't have Touch ID, the 3 added it but changed pretty much nothing else.

I think what I had was a 2 purchased after the 3 came out, someplace was clearing them out for around $150 off even though it was practically the same device except it took half a second longer to unlock. Pretty good deal, eventually got demoted to kitchen recipe screen.
Apologies if this is curt, but if you think one of the most impactful altruism movements in the world with major focuses in global health and long term outcomes is a joke because they do outreach in odd (but clearly effective) ways, you have missed the point of effective altruism altogether.

You don't get brownie points for how steadfastly you stick to your Overton window. You get brownie points for saving lives.
> If you're defining it as not fraudulent and not copying anything, then what's absurd about the situation at all? It might be amusing that someone might buy something that you personally don't value at all, but that's hardly unique to NFTs.

We're agreeing then.
The Long Lance torpedo was far better than anything the Allies had, I believe even by the end of the war. (Certainly leagues ahead of the US's Mark 14 torpedo which had the minor defect of not working for several independent reasons). Japanese rangefinders were also I believe ahead of the American ones, and in general. In terms of tactics, Japanese night fighting doctrine was again far superior to anything the Allies had put together--witness the repeated mauling of the American fleets at Guadalcanal for how poorly the US fared in this regard in the early part of the war.
Unfortunately that is exactly why many people idolize them.
If building your own isn't acceptable, I like the Sony Walkman series quite a bit. I have a WM1A and a ZX300 and I have minimal complaints other than they cost way too much. There are also a bunch of Chinese brands making players with decent DAC's, but they all use the same Android interface with minimal tweaks for the most part, the battery life and UX sucks.. Definitely wish there were more high quality off the shelf players for the non-audiophile who doesn't want to use their phone for everything.
Nothing the NOAA presents is without evidence and it is not taken on trust and faith.

Their models, data, and analysis are available for evaluation, e.g. https://mag.ncep.noaa.gov/

External meteorologists perform their own analysis (locally, and globally). Local analysis can and does supersede previous reports out of the NOAA.

Nothing of what they do requires a faith-based enforced orthodoxy. We trust in the science, not the scientists — up until you try to enforce orthodoxy.
I feel the Rust situation is - despite its security focus - much worse than python & javascript.

The standard library lacks a few things you find built-in in most other languages hence you have to use external crates. At the same time, the language is new so there are sometimes no "obvious" crates to select and you simply have to wing it.
On Conversations with Tyler
I guess they made a deal Thiel gets to be king of Earth and Musk gets Mars. The whole surplus people talk is scary asf.
A polytime algorithm, even an implementation of one, does not alone make a competitive SAT-solver for any of the ongoing SAT-competitions.
Agreed it's definitely not a matter of realism = better! DCS looks gorgeous and very realistic, and I know it's simply not for me, because I don't want to actually work as a combat pilot.

MicroProse's F-19 is the flightsim I played and enjoyed the most, and it wasn't realistic.
Isn't Apple Maps basically TomTom?

Also I find that where I live (Germany) OpenStreetMaps is superiour to both Apple and Google.
One absolutely huge limitation of macOS (IMO) is that cmd-` doesn't let you switch to windows on other workspaces. That means, if you have, say, one terminal window on one workspace and one on the other, there's no easy way to switch to the terminal window on the other workspace.
You got me there lol
How would knowing "1 Transwoman is currently housed in a female prison on the territory of Washington state" in any way risk causing harm to that transwoman, or help you identify her in any way?
Yeah bad example, most wiring is visible in the house. But water pipes outside. You have a point. Weirdly cut an old buried feeder out the ground today.

The untidy assortment of cabling under the living room floor sends shivers through my spine even though that's hidden. I once was a cable guy.
Yeah, Apple Maps is still not as good for finding points of interest. A huge missing feature is that there's no equivalent to Google Maps' "Search this location" button. So if you search for something and then move the map, you just have to randomly pinch and scroll a bit and hope that it'll refresh with the new search radius.
I'm actually kind of glad that X11 forwarding didn't stick. TUIs are generally efficiently navigatable using just the keyboard, a property I very much enjoy and frequently miss in "real GUI" apps.
No ECC
The geometric mean being equivalent to the arithmetic mean of values transformed under a log scale is an interesting perspective that I haven't considered, but appears to be well known. https://en.wikipedia.org/wiki/Geometric_mean
You don't need a secret fork. You just need the community to split over some sort of doctrinal issue, such as already happened with the ETH/ETC split.

Only with PoS, there's no way to judge which fork is the "right" one. In PoW, miners vote with their finite hashpower. There's no practical limit to how many hard forks a PoS system can sustain because they don't rely on anything that's actually scarce.
I think if they listened to the engineers they wouldn't have mandated USB-C and GDPR
> Or is it literally just the actual elected officials getting power hungry?

For some maybe yes.

But in many cases they don't understand technology, they often end up with very incomplete and wrong partial understandings by extrapolating from things they do understand, but which do also have very different dynamics.

Also while they often insist on their broken understanding they are not stupid and do realize that there is a lot they don't understand. That frightens them.

Then there are real problems around child abuse/porn in the internet. But they are hard to solve without doing much more damage in other ways. But because they don't understand the dynamics of the internet they don't realize that. Like in the world they understad requiring a thing which allows people to publish things to (skimingly) check the things published isn't hard or a problem (as it's something like a printed book or newspaper, few publisher, many consumer). But if you try to apply this to modern internet platforms it all falls apart. But they don't see it for them e.g. a dating app is nothing more then a fancy "locking for people" section in a small regional newspaper or something like that.

So in my opinion it's less because of power hunger then more because of arrogance and incompetence.

And without question there are exceptions.
In a large corporation with tons of people constantly reinventing the wheel for no reason only for resume bullet points... where you spend two months on test specs before putting down a single LOC because "TDD", where you have to work with regulators, auditors, etc...

I feel weird defending myself but... yeah. This is actually my experience.

I get that teams at FAANGs/startups can typically move faster but for your run-of-the-mill corporate America development teams people do not move that fast.

Personally, I have only moved that fast at startups which is why I typically find myself at them.

Again, this is anecdotal to my personal experience.
Dwarf Fortress famously has Dwarf Therapist: https://github.com/Dwarf-Therapist/Dwarf-Therapist
I usually drink and code my own projects, it makes it more fun. I coded this project entirely while being drunk or buzzed.

I was just pushing code, it should not be buggy. Honestly for some features I don't even know exactly how it works, I should revisit my code.

The idea behind it was that people can ask you if you would do something for a dollar and if you would then you get paid $1.
What would be such a innovative app that people won't pay 1 dollar for it? Maybe there are free software alternatives that are good enough.
Which can be easily seen as it proclaims "many good things" without naming a single one. It's written to play with feelings in a very cheap way.
If you ask me to multiply Roman numerals in an interview then I'm going to multiply the perceived value of your offer by 0.
> Boring, preachy, not meaningfully science fiction

Sounds badly written to me.
Hidden benefit of this--my wife still can't understand how I can get up and go to the bathroom at night without turning on the light. The various dots of light provide me enough reference that I can navigate correctly even though I can't actually see what is in front of me.
> it's just hearsay

He has been offering analysis and commentary on the process since the beginning, floating theories for various parties’ positions and debunking silly ideas that were being taken seriously at the time.
Have you considered Fidelity has done more research and knows more about Bitcoin than you? Your judgement that it just “seems bad” is rather shallow when it’s being leveled at a decision made by one of the largest asset managers in the world.
https://www.youtube.com/watch?v=gwf5mAlI7Ug
My post noted that founders working for themselves are essentially contributing the equivalent to hiring someone at $250k/yr.
It all seems pretty consistent to me. The EU commission wants more power for itself and less autonomy for companies, particularly tech giants, having failed to create any of its own.