skysight-inc/HackerNews huggingface dataset:
specialized: always substitute every type variable until they are all gone, creates many different "specializations" or "instantiations". This is like Rust

erased: just ignore the type variables for compilation. This is like the typescript -> javascript compilation. (Also how Java, Scala, Haskell, OCaml, etc. type paramters work)

Existential: "there exists a type such that..." see https://en.wikipedia.org/wiki/Existential_quantification https://en.wikipedia.org/wiki/System_F
An advertised price to a purchaser is one thing.

But the collection and remittance of the taxes to the specific taxing authorities is a whole other ballgame. Whether or not you see "$499 + $17 + $12 + $34" or you see "$571" on an item... the 'correct' amounts need to be identified, accounted for and sent to the specific taxing authorities. Doing that well enough, at scale, is not trivial, depending on where you're selling to, and how much.
This is interesting but incorrect if the thesis is that suddenly people spent a lot of time from the '50s on watching television (or the sitcom). Before TV people spent a ton of time watching movies. The 1940s was the peak years of movie watching in the US. When you went to a movie in those days you saw two and the numbers that Americans watched was much, much higher than today (or the late 50's), particularly per capita.

Then also before the rise of television there was enormously popular radio dramas that probably took up about the same amount of the average American's time as TV in the 30's and the 40's. So if this all represents an explosion of social surplus, I would argue that surplus existed in the US way before TV.
You mean the only evidence is what the police say you said.
Okay, so there's a negative externality to this approach. Is there a measure of this?

If preventing cops from lying results in fewer trials going to court for violent crime, then I'd be curious to compare the two figures.

I'm anxious about having fewer tools to investigate and prosecute. We used to have a 70% homicide clearance rate, but that's dropped to just 50% [1]. This feels like we'd be further trying our hands.

[1] https://thehill.com/homenews/3878472-nearly-half-of-us-murde...
Why you don't believe we'll get to state of AI being the predominant creator of complex and usable software? It seems like you're more focused on the fact that it can't handle the most complex use cases today.
Yes. I suspect the site operates outside the US or the EU.
Does this make Gates and Bezos the Lords of KoBold (hear our prayer)?
> They can use "I don't remember" ?

They absolutely can, and will use that in a court of law. Any comment that you make that seems completely fine from your perspective can quickly be turned around to lock you up.

I highly recommend checking out this lecture when you get a chance: https://youtube.com/watch?v=d-7o9xYp7eE

Police are not generally concerned with getting the right person, they're just concerned with getting a person.
I often enter in something along the lines of "ffsgivememorethan5secondsbeforeaskingmetosignup@notcoming.back" with the hope that a human reads the email logs at some point.
I'd argue that's less of raw-materials issue and more of a "fencing stolen goods on a black market" one.

Thieves are less sensitive to the prices somebody else is paying.
You don't have to worry about my knowledge of Avdiivka. It's a village which has a value only for Russia, because it's very close to Donetsk city and is a major thorn in the Russian propaganda - can you explain to me how is Russia so strong and at the same time after 2 years of war still can't push Ukrainians more than 10 kilometers from the downtown of Donetsk city, the capital of DPR?

For Ukraine, the only value Avdiivka represents is that it allows them to bleed Russians for it, because it just matters so much for them. Otherwise, Avdiivka is even less important than Bakhmut (that one was at least a logistics node) and the loss of it did not lead to any frontline collapse - on the opposite, Ukrainians were able to recover Bakhmut flanks since then.

> We're not weakening Russia, we're hardening it.

What military analysts are you following? Because from what I hear from my sources (e.g. Kofman, Massicot) Russia's forces are very much degraded with many of the best units lost.
OK, fair enough. You acted in good faith during the court date and chose not to answer questions or get adversarial with the cop during the stop. And you were technically correct, with evidence, which is best kind of correct.

How did you proceed past the initial questions, IE how did you refuse to answer in a polite way (I'm curious because there is a whole genre of youtube videos of cops stopping people and the driver getting in an adversarial situation by refusing to talk).

Also, just out of curiosity, what was the default limit for that type of road, and what was the posted speed limit? Are we talking "driving 35 in a 25 zone". Any other contextual information, like weather conditions, nearby school, recently changed limit, etc? The cops that park at the school near me usually don't stop people unless they are driving 45+ in our 25 zone.
Since I feel that someone who murders or rapes someone should be spared little mercy, then by extension I feel this is an acceptable tool so long as it doesn't harm the innocent.
Wrote an application to find myself a flat in Berlin, scans some rental websites every minute, uses Google Maps API to calculate the distance to my office, and summarizes the rental description with the GPT-4 API, sends it to me via Telegram.

I have no time to read all that generic "vibrant neighborhood" stuff :D
Unless I'm missing something, this is not circuits-as-code, it's just circuits-as-text. It's basically a non-standard way to represent a netlist, and to hang metadata off that netlist -- which is, to be fair, quite cool and useful.

But take the example from [0] of a voltage divider. I agree that that is a textual description of a voltage divider that can be compiled to a netlist, a BOM, etc. But what is the actual division properties? What's the combined tolerance stackup? What I /want/ to be able to do is define a module generator function that takes a ratio, a desired output tolerance, and a maximum output current and generates the divider module with resistors chosen (both resistance and tolerance) that will meet those properties. And while I'm wishing, given that (for low output currents) this is an underdefined problem, I'd also like a way to lean towards components already in the BOM, either by just manually using preferred values (yuck), or by outputting multiple possibilities and having a selector downstream that does BOM line count optimization.

Besides taking much, much more of the drudge work out of this, it also makes these circuit-as-code text files reviewable, in much the same way code is. Consider an input pin for an ADC on a microcontroller. On the signal path, I might have at a minimum a voltage divider to get things in range, a low pass filter to get rid of aliasing, and a buffer to satisfy the input pin impedance requirements. If this is three different modules, each with two or five components... reviewing this is equivalent to designing it, I need to check each bit. If, instead, this is generate_divider(1/3, 0.1%); generate_lowpass(200 Hz); module my_standard_opamp_bufer -- then I only need to review those implementations once, and can trust the use of them (for, potentially, dozens of ADC pins).

[0] https://atopile.io/getting-started/
Imagine a World Where Game Testing Is Different
The AC thing is a good point. I was always uncomfortably hot in the office, and would have to bring a t-shirt to change into (and sometimes shorts) while everyone else was in hoodies or sweaters. It's hard to compromise on that sort of thing, or noise / interaction levels, group outings, etc. One person's preferences are another's nightmares.
> Programs like Head Start in the US have measurable positive impact:

Something can have an unjustified basis, but have a measurable positive impact. Just because the unjustified basis of race was correlated with income. But using the justified basis of income and wealth will not only lead to even more measurable positive impact, it will also be fair.
I have found taking a 'functional programming' like approach, where you build up your circuit from small blocks with specific functions that are easy to hold in your mind and then building up by combining those. For example instead of sticking a bunch of resistors and caps in your top level file, you can abstract them into their functions like a filter, resistor divider etc. Very curious to get your thoughts on using the tool!
It would be awesome if the WA house made it illegal for the WA house to lie.
Wait so if you spend more than you earn you tend to not save?! That’s crazy talk.
How does this handle connecting two microcontrollers with one being a SPI master and one being a slave? Or connecting UART between two devices?
She's a solid entrepreneur and a competent engineer.

Calling her "greatest" seems odd, for implementing breakout boards with datasheet circuits.
What is old is new again!
> There’s no money in DevTools.

MongoDB, Snyk and Auth0 might beg to differ. (I work for an Auth0 competitor.)

> Businesses will see you as cost, not asset

Isn't that true of any tool? How are devtools different (from a business perspective)?
Yeah, sadly, I know your right. But for the sake of argument, the prosecutors office and the defenders office should be equally funded. It should be in the law that they are equally funded.

This makes sense, average people understand that attorneys defending a murderer aren't bad people, those attorneys are just doing their job and they play an important part of the legal system. Fewer think about the imbalance of resources and how that skews the results. It makes sense that examining both sides properly requires equal resources allocated to both sides.

As you say, it's a long shot, but it's an idea worth trying for. If nothing else, maybe people can remember to include it in the next government we form after the collapse (half joking).
> That's much less impactful though.

Sure, that's the point. Less fucking over of innocent people should therefore be less impactful. ;)
Show HN: Cayodis – V0 for free if you have GPT Plus
I'm building https://www.brief.news, an AI powered newsletter that condenses tens of thousands of news articles into a daily briefing of the top stories, we support 30 topics today and are adding the ability to add your own!

Stack is a combination of TypeScript (Next / Node) + Python with a pretty simple deployment setup right now (GHA -> Container -> Cloud Run).
very nice demo.
Note: KYC regulation itself doesn't even require document verification.

And even if a party does ask for doc verification, even if you fail - an account can still be opened.
>Putin isn't Hitler. People are way too quick to write off negotiation when it is people's real lives at play.

No he's not Hitler, he's Putin. Putin cannot be negotiated with, that is the point.

>False? not sure where you are getting your numbers from but USA has sent both considerably more in magnitude and as a percentage of the GDP through the end of 2023.

No it is not. My numbers are from the Financial Times: https://www.ft.com/content/ca7fa865-97a1-4013-bde6-b69731b03...

Where are yours from? If you have better numbers, share them.

>Wavering support for the Ukraine war is not just a Trump-ism phenomenon. I am not sure how the media reports this in the UK but support is collapsing across both parties in the polls.

Wavering or collapsing? The majority still support aid for Ukraine. That much is a fact. I am not in the UK anyway, I live in Germany.

Your source for polling is sadly incoherent, just quoting random countries, but judging by this poll, it looks clear that Europeans support Ukraine:

https://neighbourhood-enlargement.ec.europa.eu/news/european...

But to some extent it does not matter, there is no choice, because Europe is being attacked. It's not as if we have choice but to support them. Arguably more importantly, our establishment supports Ukraine.

>US policymakers already perceive no will to stand up to China among EU lawmakers.

US policymakers firmly believe that the best way to counterbalance China is through strengthening alliances around the world.

>EU+UK citizens will not be willing to pay the full brunt of this conflict for an extended period of time.

We already are. I think a lot of you yanks like to get high on the idea of Europe being seconds from collapse, but actually things here are OK. The worst is over, that first winter after the invasion? Yeah that was tricky, but it's already past now. The way you talk it's like we're rationing supplies to make ends meet to raise money for another missile. Yes the USA is richer than Europe, but Europe is the richest place in the world after the USA, so it's OK, there's no shame in being second place. Everything's OK. Europe will ultimately do whatever it takes to see out Russia's invasion. There's no way a country with an economy the size of Spain can outlast the entirety of Europe. Russia is a paper tiger, as evidenced by how shit its military has performed ever since it invaded.
My handwriting is terrible, and I use to much force, so I always end with lots of pain in my writs after writing for to long.

I went back to university after my divoce, mainly to have somthing to occupy my mind at the time. I did most of my annotations in Markdown.

The graphs and other images I would snap a photo in my phone from the blackboard, grab them from onedrive and puting the reference in my document, and after classI would drawin the proper application or get for a text and internet and copy paste.

For fluxograms I would use Mermaid.

For the editor I would just use vscode. I use vscode for almost everything, even control my spotify playback...

Here is a example of some of my anotiations
https://github.com/joetorres/Materiais01/blob/master/04.N%C3...

https://github.com/joetorres/Materiais01/blob/master/07.Estr...
>Isn't this necessary especially in larger cases where it's necessary to get one suspect to roll over on another?

There are multiple countries where it's not allowed, so it's definitely not necessary.

>As long as defense attorneys are involved, what is the harm in this?

Generally the cops will try as hard as they think they can get away with to keep your attorney away. This article is about someone who immediately asked if he should have an attorney, was told he didn't need one, and when one showed up anyways, he wasn't even allowed to know there was someone hired to represent him.

The harm is that juries and judges really love signed confessions and cops love to pressure for one. The Reid Technique's entire goal is to take someone from saying "no, I didn't do it" to "okay, I'll sign that I did it". Ted Bradford had an alibi and a recanted confession that confessed things that obviously didn't match the facts of the case, and the confession was enough even when he finally had an attorney. It was enough that:

>Despite the exonerating DNA evidence and the fact that Ted had already served his entire sentence for the crime, Yakima County prosecutors chose to charge Ted with the same sexual assault once again, offering his initial false statement in 1996 as the evidence against him.
> needs to listen and trust the technical people that report to him.

If the CEO has no clue what the company does, those people could be blowing smoke up his/her ass

There has to be assurance of technical competency somewhere, and someone that has ultimate authority to get rid of the incompetent.

This doesn't disagree with your second sentence. The pursuit of profit seems to turn everything into a bank or gacha machine. Both safety and competency fall by the wayside.
More like ignorant. The US spent decades supporting whichever side would work with us, including overthrowing democratically elected rulers that wouldn't. Maybe we've learned, or maybe in another 30+ years we'll hear about all the shit we're pulling now.
This seems like a cop-out by one of the largest companies in the world to avoid giving back to the tools and languages they use to extract their profit. If you're worried about funds mismanagement, assign some oversight, add a distribution schedule (5m over 5 years) and so on.
> With the commute, solid 8 hours at office, I barely have any cognitive or physical energy to do any mentally taxing work

start with identifying why are you so exhausted after only 8 hours

There is already a ton of a good advice here, but you can't follow them if you don't have the energy to do so.
are sellers normally willing to drive to your mechanic/shop? or do you have to find one that will meet you somewhere?
I'm not sure about this year, but here is an article from 2020 between the MAX crashes about that very thing.
https://www.seattletimes.com/business/boeing-aerospace/boein...

Ed Pierson, a Boeing whistleblower on quality, has also commented on similar efforts by the company a couple of months later.
https://www.edpierson.com/removal-of-quality-control-inspect...
Want to build a sequencer? 454.bio opens up their plans
Early Apple Vision Pro Adopters Alarmed to Learn VR Porn Doesn't Work
The harm is that innocent people incriminate themselves. People are not experts on the law and make mistakes all the time. Even if they are eventually exonerated, the process is the punishment and there is no recourse.

Not to mention that defense attorneys are usually overworked, working for free and you generally get what you pay for.
Share-able weights are an interesting one, because although you can't re-generate it from scratch, you can modify it and share it. They're sort of halfway in between source code (which allows you to regenerate a binary from scratch and also inspect everything that went into the binary) and a free-as-in-beer binary (which you typically can't change at all). We sort of need a new term for this kind of thing.

I feel like we should try to reserve "open" for something that has all of the "four freedoms". The key thing about this is that it's not inspect-able, but it is derivable. Derivable-weight license?

EDIT: Looking at the "four freedoms" [1], "freedom 1" is:

> The freedom to study how the program works, and change it so it does your computing as you wish (freedom 1). Access to the source code is a precondition for this.

Essentially the thing about weights is that you can superficially retrain bits of it to adapt it to your use case without needing to do a full re-train. But of course, without access to the training set, you can't really be sure what's in those weights, nor make more fundamental changes that would require adding or removing data.

[1] https://www.gnu.org/philosophy/free-sw.en.html#four-freedoms
I know this isn't the craziest startup shutdown story, but wow.

At $10MM of revenue they can afford to keep a staff of 50 at a fully loaded cost per employee of $200,000. Yet, according to Linkedin they peaked at nearly 200 employees.

On top of this, they appear to have raised $36 million three years ago - https://www.weave.works/press/releases/weaveworks-raises-36-...

In other words they somehow were running at a loss of about 1.5 million a month for three years until their runway "suddenly" ran out today.

According to the CEO's linkedin post, they were basically trying to keep up appearances of being a 200 person company until some greater fool bought them out, which appears to have failed.

How do you find yourself as Board member or CEO of a company like this and not think to cut expenses a little sooner? Far better to be a growing, profitable 50 person company than a cash-burning Potemkin unicorn.
> You're actually just lumping all police into a single category of "abusers".

All police are either active abusers or complicit in systems that condone/absolve abuse, so yes. I know exactly what I said and why I said it.

> It's similar to lumping people by their ethnicity or their religion and at its core is prejudiced.

Nope.

> Some people love saying "All cops are bad",

I sure do.

> but that sort of rhetoric is a lie

Nope.

> alienates the good cops

See point 1. There are no "good" cops.

> and whose help you ought to be enlisting

When I get to choose which cop pulls me over I'll change my language. Until then, all cops are unsafe and should be treated as such.

> Also, calling people bad names isn't something to be proud of

Never take criticism from people you wouldn't go to for advice.
I'm currently working on an interface for google calendar @ https://calendarcompanion.io
My next feature is integrating the functionality with telegram, it's hard to predict the value of these features in the moment - but I do think this could be an extremely interesting "iPhone" moment for technology.
Just like how the iPhone reduced everything to a single button press, we can now squeeze the functionality of some pretty complicated apps into natural language through text - and as the response time of LLM's improves it will become a short conversation for things that used to dazzle new users! Exciting times!

As for the stack, I have Supabase and Typescript on the frontend, python on the backend and k3's as a cluster for my apps (can recommend this if you want to get devops-y on a budget). Next time, I'll just go pure Typescript since python really doesn't add much working this far away from the base models.
I lost the sleeve sometime in the 80's, but I've still got the template... somewhere.

Other things I carry from my 1982 Fortran class:

1. A copy of 'A Fortran Coloring Book', Kaufmann.

2. I may have been one of the last people to learn how to un-jam an IBM 029 keypunch. It was handy then, it hasn't really come up since then.

3. Most important, a lifelong friend I still keep in touch with.
At what point can we use genetics to weight scores as well? I’m having a hard time logically justifying class factors (being born poor is not something you can control) but not genetic factors (being born dumb is not something you can control).
Damn, if I could find a way to get that POS to myself in an octagon.

It walks an talks like a robot, pretty sure it fights like one as well.
China's tumbling prices push some exporters to the brink
>someone who murders or rapes someone should be spared no mercy

But we're supposed to presume "innocent until proven guilty". A suspect is only accused, not convicted.
Android also is using OMTP while Apple is using CTIA

Older Androids used OMTP but they eventually standardised on CTIA too:

https://source.android.com/docs/core/interaction/accessories...
Just make the billboard display the correct price for where the billboard is physically located. If you have a newspaper ad, make the price correct for the main city of distribution.
"Prices shown for delivery to Denmark, click here to change delivery location." (based on GeoIP lookup, or a previous purchase if I'm logged in/cookied.)
Meta cuts off third-party access to Facebook Groups
They mean church.
> To add to this discussion, I recently wrote this less wordy guide on macOS Python setup https://steins.studio/technical/01-python-setup

Thanks for this. It's exactly the the format and depth I wanted.

I haven't been able to muster the time or energy to start digging into the quagmire that is the Python ecosystem but this seems like the perfect place to start (and hopefully stay for a while.)
SegMoE: Segmind Mixture of Diffusion Experts