skysight-inc/HackerNews huggingface dataset:
Domain specific languages.

They always end up being hacks in Python and are almost impossible everywhere else. Numpy, various ORMs and so on.

Since you get a built-in de-facto compiler (macro expander), implementation of such DSLs is pretty easy. Racket, for example, has pretty good support for pattern matching and error reporting during macro expansion, which makes the DSLs debuggable.

Typed Racket has implemented a type-checked layer on top of the regular Racket with automatic unboxing of numeric types whenever they provably don't have to be boxed. You can mix typed and untyped code freely with contracts being inserted at the boundary. That means you can implement a busy loop in typed code with unboxed integers and only guard the inputs and outputs. The potential clearly is there.
Evaluation of PCR Diagnostics for SARS-CoV-2 and Variants by Sanger Sequencing [pdf]
How do you recommend identifying the good ones? I know to look for the more experienced ones and avoid people who’ve been bouncing around various sales roles. Also the ones hanging out on dev discords or mailing lists tend to be better. But it’s very hard to tell on LinkedIn.
> Oh, and it is a beautiful country with super friendly people

Yeah despite the rampant, unrelenting racism, of course. Perhaps this should be prefaced with "If you're a white European with an English name"
As a moderator of one of such forums, all of the behavioural issues have been a staple there too. We always had to moderate not just spam, racism and insults, but also "that dude that rants about his pet peeve in every topic", "that dude that rants over Apple even in topics where someone is asking how to change keyboard layout in macos", "that dude that's obviously mentally ill" and many others.

It was always a job of ensuring a comfortable environment for the community gathering on the forum and it did require "censorship" beyond obvious to prevent a minority of users from souring the environment for everyone.
PayPal probably have a legal entity in the EU, and different terms of service/privacy policy (to reflect EU regulations like GDPR), so probably not. You're free to read the double digits terms of service you agreed to to check the exact process :p
Here are some of my pictures with mobile.
https://www.instagram.com/raghughanapuram/
The point of copyleft licenses (which I assume are what you mean with "opressive") is to subvert copyright in order to incentivize others to share their code by providing them with something to build on if they return the favor. You cannot possibly call these licenses opressive since the default state with copyright is that you are not allowed to do much at all (at least when it comes to copying). In fact copyleft licenses allow you to do much much more than your average corp-lawyer approved proprietary license.

The problem (or A problem) with copilot is that it tries to sidestep those licenses, purpotedly allowing you to build upon the work of others without giving anything back even if the work you are building on has been published on the explicit condition that what you create with it should also be shared in the same way. While the great AI tumbler makes the legal copyright infringement argument complicated by giving you lots of small bits from lots of different sources it really does not change the moral situation: you are explicitly going against the wishes of the people that are enabling you to do what you are doing.

Beyond copyleft, this kind of disregard for other peoples wishes also applies to attribution even with more liberal licenses. Programming is already a field where proper attrubution is woefully lacking - we don't need to make it worse by introducing processes where it becomes much harder if not impossible to tell who contributed to the creation.

Now I am all for maximum code sharing. I'm all for abolishing copyright entirely and letting everyone build what they want without being shackled by so-called intellectual property. But that is not something Microsoft is doing with Copilot. What they have created is a one way funnel from OSS to proprietary software. If Microsoft had initially trained Copilot on their own proprietary sources this would have been seen very differently. But they did not. Because the way Microsoft "loves open source" is not in the way of a mutally beneficial symbiotic relationship but that of an abuser that loves taking advantage of whatever they can with giving as little back as they can get away with.
I have been trying to upload some information they asked to verify my business account. For a new business account I opened

I already have 1 business and 1 personal account which is their limit and got permission from PayPal to open this one.

I kept getting an error when I go through the official form. Possibly because I have a linked account already.

So I talked to customer support and after a huge timesink and getting passed around between several agents and contacting them multiple times they gave me an alternative place to upload.

Which worked but I think no one saw the documents as that alternate form.

I contacted customer support again and they said that alternate upload form was just for personal accounts.

In the end I just decided not to accept PayPal as means of payment for that business.

Luckily wasn’t a big deal for me in this case.
Great, i can review it then. I don't want to write boilerplate or tooling. It's a waste of my time.
> through friend of friends or social-oriented clubs

Seems likely a limited pool of relatively homogenous people to date in? That's why people use apps - to meet different people outside their friend and hobby groups.

And I think a lot of people very specifically don't want to date in friend and hobby groups, to avoid mess.
If you don't like long sequences of closing parentheses, you could try Lisp Butt Mode for Emacs: https://gitlab.com/marcowahl/lisp-butt-mode
Yeah what I meant to underline was that for a critical application you won't be able to react faster than one hour in case the data reports a critical issue. So not suitable for security or any application where you need less than one hour latency. I guess if you need satellite coms maybe the sensor is not in a place you can go in one hour anyway.
News you may potentially be able to use: Stripe (which employs me) launched in Thailand about 2 weeks ago.
JAX is a DSL on top of XLA, instead of writing Python. Example: a JAX for loop looks like this:

def summ(i, v): return i + v
x = jax.lax.fori_loop(0, 100, summ, 5)

A for loop in TinyGrad or PyTorch looks like regular Python:

x = 5
for i in range(0, 100):
x += 1

By the way, PyTorch also has JIT.
Might be an ok suggestion for some (after talking to their doctor!), but a particularly dangerous one for anyone who, like the author, is a Type 1 diabetic, or other person with a tricky metabolism.
base85 is already fairly widely supported also in libraries for many languages, its in python's standard lib

https://en.wikipedia.org/wiki/Ascii85
Yes, I made a mistake about the key. Adding a key is safe by itself. However by adding third-party repository you are granting Signal a permission to replace packages on your system (unless you manually whitelist package names in apt preferences), and by installing a package from Signal repository you grant it root access to your system.

Sadly debian-based distributions do not respect the principle of least privileges and grant unnecessary permissions to installation scripts.
Related: https://twitter.com/i/status/1588231892792328192

And the first tweet here: https://twitter.com/balajis/status/1588240007000911873 (I think it’s generally right even though I don’t really like the author)

I think the general thrust seems pretty reasonable: saying ‘we should cover all tech with an investigative lens’ isn’t actually a neutral policy because if you’re a newspaper then you already want to find good investigative stories anyway. Instead it’s saying that the only stories that go through must be critical or uncovering various hidden harms or issues. It doesn’t seem like a good way to learn what is true.

(Nitter links)

https://nitter.fly.dev/i/status/1588231892792328192

https://nitter.fly.dev/balajis/status/1588240007000911873
> money used for the buyback makes the company worth less, so it should be neutral if the share price was accurate

Assets decrease. But so does the share count. This tends to raise earnings per share while decreasing assets per share [1]. (Liquid assets, particularly [2].) Meanwhile, there are signaling and liquidity factors which raise the theoretical value of the company.

In summary, there is no rule that says a buyback should be share-price neutral. (The same for special dividends.)

[1] https://www.nasdaq.com/articles/does-stock-buyback-affect-pr...

[2] https://business.inquirer.net/238377/share-buybacks-affect-s...
>Authors Guild v Google

At which case Google paid some hundred million $ to companies and authors, created a registry collecting revenues and giving to rightsholders, provided opt-out to already scanned books, etc. Hey, doesn't sound that bad for same thing to happen with Copilot.
I've never heard the term "solar north" used that way before.

It seems like you're defining it as 90 degrees left of the point of sunrise, but that seems arbitrary -- why not define it as 90 degrees to the right of sunset instead? And if you try to resolve this ambiguity by defining it as the midpoint between sunrise and sunset, then that's just the same as true north. The sunrise and sunset points are closer together in summer and farther apart in winter, but true north is always halfway between them.

(Well, there's a very slight seasonally-dependent error, due to the fact that the sun is at slightly different latitudes when observed 12-ish hours apart. But on average it's exactly the same.)
As my grandfather said "I can't complain. Even if I did, no one would listen."

My view is it burdens other people, it's boring, trivial, sympathy-seeking, and dumps problems on others they can't do anything about. It's better to be graceful than whine because the risk of competitive grievance storytelling is without end or fruitful accomplishment. There are bigger ideas, existential threats, and excessive suffering in other parts of the world like famine and summary executions.

I broke T-8, my nose, and had a one-part proximal humerus fracture. It wasn't anywhere close to a "10" on the pain scale, maybe a 3.5. E.D. kept trying to push opiates and adamantly refused. A genetic test claimed I have a reduced pain perception but not convinced yet.
I was going to post the same thing.
Dating apps enormously improve discoverability - find like-minded people in roughly the same area, but whom you'd never meet. It's not like the day before dating apps you had this rich network and you lost it. It's a net plus. You can still do IRL, in fact you might have better chances at it, because it is a rarer skill.
> a secure boot setup is much more difficult this way.

Is it? Don't you just sign the bootable kernel image that already has the initrd and command-line built in?

Oh, I guess if you're using Microsoft as a CA I can see why that would be tricky.
Eh. I guess I'm happy with any reduction of entropy in the UA string (which today almost contains your family name and dogs favorite meal in an unparseable string blob). But "client hints" seems like very little bang (device-specific cdn assets?) for the buck (an interactive, configurable and stateful protocol). And if this is for privacy reasons, but you can circumvent it by requesting client hints, then won't that end up an always-on default anyway that nobody benefits from in practice?

I guess if it's fine if users and devs don't need to think about it. OTOH, this is yet another barrier to competition in the browser space, which we desperately need to curb.

It seems like someone should overhaul the whole privacy mess with cookies, fingerprinting, user agents and other remnants from the 90s and take a slightly more principled approach to making a sane single standard, instead of adding hundreds of highly specific single-purpose headers and JS APIs.
There's probably a lot of political stuff I am unaware of here, but a "sex realist" immediately made me understand what Colin's views probably area.

I don't get the "legitimatize" bit. If I acknowledge that some people believe the Earth is flat, and call them flat Earthers, how does this make their position legitimate?

Is the thought process here to pretend such people do not exist? I don't grok.
> what's the threat model here?

By installing signal-desktop you give Signal not only access to your messages (which is fine), but root access to the whole system which allows reading and modifying any file. Even if Signal doesn't have malicious intents, they might have vulnerabilities in their installation or configuration scripts.
The lawyer did work, thankfully.
"Your role at Twitter" - Official comms out for Twitter layoffs
yes but not anyone with an computing device could. Today he can easily start a group on social media and spread this thoughts and idea.
Well, I am a medium sized IT company in India, it's still hiring, but my bonus was magically reduced after my appraisal despite getting a pay bump in my fixed pay. But overall, my salary has gone up ~5%.
Here are the records I am using with cloudflare. Ive never had an issue

@

v=spf1 a mx include:_spf.google.com include:_spf.mx.cloudflare.net ~all

_dmarc

v=DMARC1; p=none; rua=mailto:my@emai.com; aspf=r;

The way I have it set up is that cloudflare catches all my email and then routes it to my gmail account. My gmail then uses my email as a "send as" address. No DKIM record is needed because google is the one sending the emails with smtp, but dmarc and spf are needed either way.
Agree with discoverability. I met some fellow programmers :)
Well, good to know. I was about to forward this.
upload ebooks and metadata to Arweave, index data with the Graph.
The thing that surprises me most about these stories is that Twitter had 7000 employees.

Anyone who's ever tried to get hold of a human being at one of these online behemoths and been given the runaround with 'un-monitored' email addresses, contact forms which submit into black holes and copy/paste 'support' staff, would have been forgiven for thinking the whole thing was run by a couple of dozen people, at most.

What the hell did 7000 of them find to do?

Mind you, looking at some of those job titles 'Head of Inclusion, Diversity...' etc. I suspect quite a few of them are just pissed off that the gravy train has finally run into the buffers.
One (non?) problem with Scheme is that it is has a long history of being a language implementation research device. This is why it is relatively easy to implement, and this is why there are so many implementations.

At least it didn't go the way beautiful Standard ML went!
If your cost of capital is cheap and your shares are even cheaper, surely a reorganization of your capital stack is in order?

I struggle to apprehend the fanatic hatred of buybacks that's overwhelmed the national conversation in recent years. Buybacks seems like a rather benign and boring function of corporate finance to me. Comments online would have you believe an orphan was killed every time a share is repurchased.
> The author agrees - that the tech industry should not be subject to investigative coverage?

That this very basic failure of reading comprehension has been voted to the top is both sad and surprising.
Different Colin Wright as the commenter here.
from your own link:

> The abolition of slavery in 1833, and the entitlement of slaves to remain in the colony in which they were freed, meant that many freed slaves had continued to work the plantations.

so slaves worked the plantations on the island before 1838.

and as an aside, what do you mean by Marxist terminology? I didn't see "proletariat" or "bourgeoisie," nor workers seizing the means of production. it's sloppy and lazy to use "Marxism" as a catch-all bogeyman.
The experience of local anesthesia needles can be very painful, especially if they get up near bones. I had to have 8 x needles down the sides of my left fingers for a procedure, and it was more painful than when I later did the same procedure by myself at home on my right hand with no anesthetic.
> Specific language expertise rarely matters.

+1 to this. Especially at the 16-years-experience level. Maybe earlier in someone's career where their primary focus is how to fit in and ship stuff without getting stuck all the time. But at ~staff level, your thinking and your contributions become a lot more language-agnostic (not entirely, but mostly)
Couldn't you get the best of both worlds by having an upright fridge with drawers?
I can't comment on their morals or views on customers, but I think they've been governed by banking regulations for some time now. In my country (.ie) that's their claim. Banking regulations come with quite a lot of consumer protection, both national and EU originated.
ok, so there is no way to run XBox Gamepass games straight from the Deck (sans streaming) :(
No, these are your assumptions made through fearmongering and looking away from what is actually happening. Women are not fragile flowers being super selective with strangers out of security. They are increasingly hooking up with strangers compared to before, and they specifically select men in populations which are more likely to have psychopaths or men with dark intentions. Your average woman has plenty of suitors and friends able to set her up with dates, and she chooses not to.

The entire notion falls flat the moment you look at the actions of women and men as a whole, and take a moment to remember what ideals 80s and 90s coming-of-age movies showed.
> Flipper Zero is Swiss Army knife of antennas

Is this thing homologated ?
On the other hand, they are amazing at catching bots. Almost all bots (obviously excluding disguised ones, but those never were an issue for us) have identifiable user agents, by blocking bots via UAs, we became better than Google Ads at blocking bots, they are probably doing some kind of complicated ML thing that works far better for edge cases, our simple solution works better for normal cases…
If you know this area of IP law then you know that LOTs of licenses, copyleft or not, require attribution (which copilot never does, and can’t do by its construction), and you know that what’s problematic is when the model output is arguably not “fair use”. Examples of that abound.

You don’t need any fundamentalism to know that copilot’s output carries huge and untested legal risk. If this lawsuit clears some of this up, that’s a big win for everyone.
Twitter verification started because of a fraud and a lawsuit: https://bleacherreport.com/articles/193279-tony-la-russa-law...

The news is that they're effectively removing what verification there was, and the checkmark becomes basically a TF2 hat that means nothing. You'll be able to change your display name to "Elon Musk" and buy a checkmark.
Highlights / TL;DR:

«earlier this year when DHS announced a new “Disinformation Governance Board”: a panel designed to police misinformation (false information spread unintentionally), disinformation (false information spread intentionally), and malinformation (factual information shared, typically out of context, with harmful intent) that allegedly threatens U.S. interests. While the board was widely ridiculed, immediately scaled back, and then shut down within a few months, other initiatives are underway as DHS pivots to monitoring social media«

«According to a draft copy of DHS’s Quadrennial Homeland Security Review, DHS’s capstone report outlining the department’s strategy and priorities in the coming years, the department plans to target “inaccurate information” on a wide range of topics, including “the origins of the COVID-19 pandemic and the efficacy of COVID-19 vaccines, racial justice, U.S. withdrawal from Afghanistan, and the nature of U.S. support to Ukraine.”»

«How disinformation is defined by the government has not been clearly articulated, and the inherently subjective nature of what constitutes disinformation provides a broad opening for DHS officials to make politically motivated determinations about what constitutes dangerous speech.»

«Prior to the 2020 election, tech companies including Twitter, Facebook, Reddit, Discord, Wikipedia, Microsoft, LinkedIn, and Verizon Media met on a monthly basis with the FBI, CISA, and other government representatives. According to NBC News, the meetings were part of an initiative, still ongoing, between the private sector and government to discuss how firms would handle misinformation during the election.«
Xbox Live apparently has some kind of Stadia style cloud streaming, maybe this can work?
Pop! Here we go. Argentina has entered the chat.

Claims over the Falkland Islands are likely getting dusted once again, right side of the Andes.
strict answer: they are very deep.

informal coffee break answer: abstracted layers of abstracted abstraction within parametrized abstractions just don't feel right to lispers.
See how many will give the check up willingly and you’ll figure out how valuable it is to them.

I’ve seen a lot of “hey you just got your spurs” back slapping when someone gets a check.
In the UK they are not covered by the FSCS.
Alarm on Capitol Hill over Saudi Investment in Twitter
They do have Elera:

https://www.inmarsat.com/en/solutions-services/enterprise/se...

But we’re using IDP as it’s not really out yet. Next year hopefully!
Not in a similar vein, but I find ultorg to be much better.

https://www.ultorg.com/
The unironic use of Shakespearean "erstwhile" tripped me up for a minute, was that royal English part of your MMORPG chat game?
You claim that Lisp is not dead but is there any proof to that? I mean, beside the few posts on HN praising it.

I have encountered hundreds of software engineers over the years and literally not one has ever mentioned Lisp.

Could it be that Lisp is not dead because the people that started learning programming when it was popular are not dead?
I love those tiny DNN frameworks, some examples that I studied in the past (I still use PyTorch for work related projects) :

thinc.by the creators of spaCy https://github.com/explosion/thinc

nnabla by Sony https://github.com/sony/nnabla

LibNC by Fabrice Bellard https://bellard.org/libnc/

Dlib dnn http://dlib.net/ml.html#add_layer
General Mills latest to halt Twitter ads as Musk takeover sparks brand exodus
I use it if the seller forces me to type my CC number into their interface. If it's some payment provider, that's fine but I don't trust random webshops to keep my credit card details safe
Passing even more power through the videocard sounds like an expensive challenge. Presumably you'd also prefer the card to be able to drive 2-3 monitors, which is already 1-2 additional PCIe 12v 8 pin connectors (old tech). That also assumes monitors which can be driven by 60W, which seems unlikely where these cards are used.

USB cables are also only rated for such high data transfer rates over very short distances, or active cables; which are inherently more expensive. DisplayPort cables have claims, by well known brands near the top of google results, of supporting passive cables of at least 15 meters. A single HDMI is included to accommodate devices like TVs, presentation systems, etc.
Aaah ... the Fable of Sable
It doesn't. It will work with any Adobe DRM compatible reader or app even before you remove the DRM. It will also work with their apps on Android, iOS, Windows and Mac. You do have to download from your account page to get the ACSM file but with that you should be able to use Adobe digital editions to put it on a compatible non-Kobo reader like something from Pocketbook.

Removing Kobo's DRM or the Adobe version is pretty trivial too and doesn't seem to change as much as Amazon's.

But they don't support Kindle because Kindle doesn't support ePubs and Adobe DRM'd ePubs at that.