skysight-inc/HackerNews huggingface dataset:
You can reject mail delivery to your home in the US. You'd have to renew the request every 2 years, though.

> An addressee may request the postmaster, in writing, to withhold from delivery for a period not to exceed 2 years any foreign letter or printed matter with a specified name or address on the outside.

https://pe.usps.com/text/dmm300/508.htm#1_1_4
'cept for Linux.
I'm going to guess. From Bob's perspective, Alice's ship would still be able to block light. So he wouldn't be able to see what was ahead of him through the back of Alice's ship; Alice's ship would occlude his view.
> The section says "models" but it should work for syntax too not just semantics (the syntax is the "initial" semantics).

Can you elaborate on that?

Do you mean initial in terms of initial objects? [0]

Is this related to Herbrand universes? [1] (in which we build an interpretation of first order logic where each symbol stands as themselves)

[0] https://en.wikipedia.org/wiki/Initial_and_terminal_objects

[1] https://en.wikipedia.org/wiki/Herbrand_structure
Did you make sure to use the right grease after cleaning the caliper slide pins and boots? If not, those puppies can wear out quick and you'll be replacing not just one caliper, but a pair, as they need to be at about the same wear level/make/model, costing you more money (and time). Don't ask me how I know...

(This is what I think about when someone says "hey, my monthly bill is cheaper!" and later ends up with unhappy customers when their cluster goes kaput and they can't get it working again for days. Don't ask me how I know...)
That would seem to result in industry consolidation and declining innovation.

Software isn't made of physical materials anyway, it's speech. How about instead we impose open source requirements to enable public verification of critical systems?
I just realized I botched the description of Brzozowski's algorithm, step (b) should be "determinize the NFA using the powerset construction". Mea culpa.
Looks like the author researched this during their PhD which ended this year, obtained a postdoc and then finished it off. Good on them!

I wonder how the result varies if one of the corridors (the second one for simplicity) is given a variable width. And if the angle of turn is variable.
Location: Seattle, WA
Remote: Yes (6 years of WFH experience)
Willing to relocate: No
Technologies: Go (Golang), Java, PHP, Python, JavaScript, HTML, CSS, PostgreSQL, MySQL, Linux sysadmin, Docker, Docker Compose
Résumé/CV: Full résumé available upon request
Email: tslocum@gmail.com

Professional software engineer for ten years, hobbyist programmer for many more. Active and passionate open source software author and contributor. Fully self-taught, always excited to learn more, and I love teaching and pairing with others. Seeking a fully remote position. Please review my extensive portfolio of open source works.

Portfolios:

Code: https://code.rocket9labs.com/tslocum (All of my code is here)

GitHub: https://github.com/tslocum (Only my contributions to other projects)

Games: https://rocketnine.itch.io (All open source and written in Go)
Murderbot is indeed somewhere between OK and good—personally I’m leaning towards good, but I wouldn’t compare it to a masterclass in short-form writing (like anything by Sheckley) or a longer piece you could debate for hours afterwards (like A Memory Called Empire, to give a recent example). It doesn’t try to be mind-numbingly flashy, it doesn’t proselytize, it just brings you to alien vistas to meditate on the nature of universal human experience. That is to say, it belongs to a good, storied strain of SF that’s quite rare amongst its modern specimens.

I’d rave about that.
Location: Portland, OR, USA

Remote: Yes please

Willing to relocate: No thanks

Technologies: html css javascript typescript vue etc - mostly front end, some php mysql wordpress as well

Résumé/CV: https://docs.google.com/document/d/1OxY4KVhiJ8edYooWC8-UQuXq...

Email: work at mattlohkamp dot com

I'm looking for some serious full-time software dev work - I've played lead role before and I'm willing to do it again for the right crew, but I'd also be just as happy to just kick back and be a midlevel developer for a while. I just want to write code for interesting projects!
I was very surprised that just last year, 2023, we discovered a whole ass thin membrane covering the brain we didn't know was there.

The thin membrane discovered, again, just last year, is called the Subarachnoid Lymphatic-like Membrane (SLYM), and apparently acts as a protective barrier separating "clean" and "dirty" cerebrospinal fluid among potentially other things.

We don't know a lot.
> It should be noted that absence of proof is evidence for absence.

Exactly. Like the apocryphal small chocolate teapot orbiting the Earth
Location: Colorado, US

Remote: Remote only

Willing to relocate: No

Technologies: Ruby on Rails, React Native, Swift, TypeScript, Elixir

Email: chris-mobile-dev@maildrop.cc

I'm a full-stack developer with 15 years of experience working primarily for consultancies (I worked for 3 years at a name brand Ruby on Rails consultancy). I've worked with a wide variety of teams, but do my best work on small product teams on early stage products. I'm particularly interested in companies building climate solutions.

My recent focus is on mobile projects using React Native and Swift. I'd love to help you build out your early stage mobile app!

I'm looking for full-time opportunities only, but am open to contract-to-full-time arrangements.
"There is no change in U.S. or allied policy that will persuade the Chinese government and Chinese firms to abandon their semiconductor equipment de-Americanization and decoupling effort"

Deeply confused policy. But this is CSIS, so perhaps expected.

US export controls have certainly slowed down China's innovation rate, but also have played a critical role in accelerating the previously difficult job Beijing had of persuading Chinese companies to buy local when they had previously much preferred the leading edge components and equipment provided by the globalised supply chain. These companies now thoroughly understand the need to entirely de-risk from US controlled supply chain, diverting revenue which should have gone toward the R&D departments of NVIDIA, ASML, TSMC and the like to the R&D departments of Huawei & SMIC, the latter of which now have a de facto protected market all to themselves.

You would have thought the galaxy brains in Washington would've at least read Sun Tzu - first law of war is disrupt the enemy's plans, not accelerate them.
The problem with the 13 mini is it's lack of touchid. it's fine otherwise and I'd pick one up in a heartbeat if it did, but it doesn't, so I won't. really waiting to see how the SE4 goes. I'm. envious of some of android's devices and features, the main thing keeping me locked into apple's ecosystem is iMessage.
There are people who commute by air, usually the very rich and for shorter distances by helicopter. Speeds are lower than fixed-wing aircraft, but landings can occur in more places. Trips start in the 10s of miles range, which at airspeed is on the order of the 5--10 minutes I'd put at my lower-range of time budgets.

Current commercial helicopter transfer service from Manhattan to JFK (about 15 miles) is scheduled for about 5 minutes:

<https://www.blade.com/p/jfk>

In your second example, you're missing the point. People tend not to take longer road trips out of a safety budget but a time one. With a limited vacation time budget, time spent travelling (unless that's the point of the vacation) is lost. Auto-based vacations tend to be closer to home.
Yeah just watched the Rock a few nights ago (on my new giant TV) and the movie holds up, but the VX gas does not make you blister up like they show in the movie, nor does it just naturally vaporize into a deadly gas. One of its strong points is actually that it is sticky and is hard to get off of you once it makes contact. It will still kill you though.
Trunk | https://trunk.io | DevRel Engineer| Designer (Web & Brand)
Full-Time | Hybrid SF or Remote US or Canada

Trunk is an a16z funded dev tools startup, redefining software development at scale. We aim to solve problems that developers hate by bringing the tools usually built in-house at the best engineering orgs to every development team. We've built 4 products so far and have plans for more:

* Code Quality: a universal linter/formatter, available as a CLI, VSCode extension, and CI check;

* Merge Queue: a merge queue, to ensure that PRs are tested in order before they're merged; and

*Flaky Tests: Detect and eliminate Flaky Tests.

In 2022, we raised a $25M Series A led by Initialized Capital (Garry Tan) and a16z (Peter Levine)

Our tech stack:

* Frontend: Typescript, React, Redux, Next.js
* Backend: Typescript, Node, AWS, CDK, k8s, gRPC
* Observability: Prometheus, Grafana, Kiali, Jaeger
* CLI: C++20, Bazel
* VSCode Extension: Typescript
* CI/CD: GitHub Actions
* General: GitHub, Slack, Linear, Slite

Unlimited PTO (and we all actually take PTO), competitive salary and equity packages! Please apply here: https://trunk.io/jobs
> Any advice on how to teach the rules for a new game?

It depends on the game and the people involved. IMO it's easiest when you're familiar with the group and can use terminology they can understand. The phrase "trick taking" is a likely no-no, and I'd rather say something like "Spades is like Hearts except blah blah blah" if the group is already familiar with Hearts but doesn't know what Spades is.

And if people don't know what Hearts is, just describe it in plain language. Like for the points I might say something like "higher points are bad, kind of like golf", as most people understand what golf is.
Personal anecdote from knowing a few cases. It seemed to result from too much time alone and ruminating. Getting out and doing stuff with people made their hypochondria fade into the background.
Is beer part of "tech" now?

homebrew has a pretty straightforward meaning... beer you brewed at home. It's actually legally defined that way too
> But how far do you have to scale LLMs to get to a conscious system?

Well, that's relatively simple to see. Run a Turing test on models of different sizes and extrapolate. That will give you some approximation of the "distance".

> Would it even be practical?

You can make a descent educated guess by doing the above.
The terms "outcome game" and "consensus game" feel useful for discussing meeting behavior.
I wouldn't put anything past the new Congress.
page 27

> Zuckerbergs's Law: The amount each person shares doubles each year.

I initially thought wealth, ideas and love was meant but no ... it's just data.
Yes, a step where you do a structured extraction into a database column would be a potential solution. But, it requires a preprocessing step.

It all depends on the use-case, sometimes you get a query that you couldn't have predicted the filter beforehand. In those cases, usually what you have to do is open up a spreadsheet and then manually categorize every document by hand. LLMs and modern AI are great ways to automate this.

A really good solution might be to have a system that computes these filters on-the-fly, but also caches them for later reuse if a query asks for that filter again.
Ha ha, so it's more of a cautionary tale. I love those!
> Gleam offers division functions that return an error type, and you can use those if you need that check.

Yes, but is that what any given developer will reach for first? Especially considering that an error-returning division is not composable?

The language puts people into a place where the instinctive design can cause very dangerous outcome, hard to see in a code review, unless someone on the team is a language lawyer. You probably don't want one of those on your team.

I think there's a reasonable argument for gleam to have an operator that does division resulting in zero but at the very least that should NOT be "/"
haha, for real though. they poisoned the culture. of course not only them blah blah blah but they definitely played a BIG part.
Yes, infinite exploration, but inconsistent
It's easier to add salt, than to remove it, so I'm always in favor of this strategy. Less salt is one of those things that are good for you and only takes some getting used to. I can't eat any fast food burgers nowadays, they are just too salty.
Many people here are very knowledgeable: they have Putnams, they are CEOs smurfing, run 300 people teams, made some software that all know (e.g. we have the Diablo 2 guy), people from hardare side, VCs..

Some are probably multi millionaires smurfing (and I dont mean cryptobros).

Do you even have a Putnam award?
Perhaps we could spend the billions on electric cars rather than on unused bicycle lanes.
Roboflow | Field Engineers, Full-Stack Engineers, Account Executives, SDRs, Wildcard | Full-time (Remote, SF, NYC) | https://roboflow.com/careers?ref=whoishiring1224

Roboflow is the fastest way to use computer vision in production. We help developers give their software the sense of sight. Our end-to-end platform [1] provides tooling for image collection, annotation, dataset exploration and curation, training, and deployment.

Over 1 million engineers (including engineers from 2/3 Fortune 100 companies) build with Roboflow. We now host the largest collection of open source computer vision datasets and pre-trained models [2]. We are pushing forward the CV ecosystem with open source projects like Autodistill [3] and Supervision [4]. And we've built one of the most comprehensive resources for software engineers to learn to use computer vision with our popular blog [5] and YouTube channel [6].

We have several openings available but are primarily looking for strong technical generalists who want to help us democratize computer vision and like to wear many hats and have an outsized impact. Our engineering culture is built on a foundation of autonomy & we don't consider an engineer fully ramped until they can "choose their own loss function". At Roboflow, engineers aren't just responsible for building things but also for helping us figure out what we should build next. We're builders & problem solvers; not just coders. (For this reason we also especially love hiring past and future founders.)

We're currently hiring for full-stack engineers to help build our product, field engineers that work directly with our customers to solve their business needs with computer vision, and several technical roles on the sales team.

We just raised our Series B round, led by GV. With this round, we will continue building the open source tools, platform, and community so developers and enterprises can deploy computer vision applications to production. [7]

[1]: https://roboflow.com/?ref=whoishiring1224

[2]: https://roboflow.com/universe?ref=whoishiring1224

[3]: https://github.com/autodistill/autodistill

[4]: https://github.com/roboflow/supervision

[5]: https://blog.roboflow.com/?ref=whoishiring1224

[6]: https://www.youtube.com/@Roboflow

[7]: https://blog.roboflow.com/series-b/
I have https://iwalkmall.com/products/cute-portable-charger-4500mah to extend the battery life when I'm on the go
Given the average shelf life of S&P companies, I assume that even an established company needs to go through 0-to-1 all the time. The aforementioned companies all reinvented themselves multiple times.

> Revenue expectations, margins expectations, and investors are entirely different between the two.

Yeah, it's hard. How the great CEOs achieve their successes are beyond me. I was just thinking that a great CEO needs to drive product changes.
You originally said "noone thought this".
Direct download link that doesn't require any Google js:

https://drive.usercontent.google.com/download?id=1nkHWqYre86...
I forget the names of the services, but I've known a few people with a similar $10-20/mo IPTV pirate service that has pretty much every live channel and pay-per-view stream you could want. Local channels for pretty much every major city around the world. Every UFC fight. Every cricket game. Every rugby match. Every boxing match. Sixteen Sky Sports channels. International news channels. International local channels. Every HBO, Showtime, Cinemax, Starz, ScreenPix, MGM, and SkyCinema channels. Five MTV channels.

They also didn't have any hiccups watching the Tyson v. Paul match, which was also available.

They would even sometimes have access to the raw sports streams before the ad injection, so sports games would cut to stylized "Ad break in progress" scenes where there would have otherwise been ads injected for your region.

Pretty much all of these channels in a decent bitrate 1080p stream. You would somehow tie it into Plex so it shows up as if it was a cable box. Plex can handle transcoding for whatever target device you're wanting to watch it on. You didn't need any kind of odd front-end app from the IPTV provider.

That there are a few dozen million people around the world willing to shell out $10-20 to get practically every cable channel like this isn't too surprising to me.
Huh?

Smiling people drinking Pepsi, oil companies showing sun filtered through cornstalks....what's the difference?
Focusing on a single db was not the original intent as migrations was a big reason why the ORM product category became (and still remains) popular.

As for performance, you are right. We do take a hit when trying to support as many DBs as possible. However, performance is not an issue. Take a look at https://benchmarks.prisma.io. Regardless, we're always open to being given examples whereby we can dig into performance related issues. So if you have any, please send them our way.
What "these things"?

Differences between languages?
Thanks for the shoutout!! :)
Arm's major competition is RISC-V. Qualcomm engineers have been joining the important RISC-V committees recently. If Arm beats Qualcomm in the courts, Qualcomm will switch to RISC-V, and then Arm will have won the battle but lost the war.
I did an explainer on OSC to explain the concepts. Indeed I think its the easiest network protocol to just hook different things together: https://www.youtube.com/watch?v=0uOR2idKvrM
We have a few exit nodes already on the network.
That may be one of the more absurd "noble savage"-type claims ever made.
They mention using a IMU dataset that is collected using an APDM Opal.
https://www.apdm.com/wp-content/uploads/2015/05/Opal-Publica...
This publication mentions a paper on p. 5839 (p 13 of the pdf) where a single sensor on the waist (as used in the Google research) would lead to an f1 score of 0.77 if I did my math correctly. In other words, pretty close to a >1 shot plot analysis of gpt4o and gemini pro1.5.

I would also be interested how the llm's would hold up to the free-fall interrupt that's built in to some consumer grade IMU's (BMA253 for instance), anyone here with experience in this usecase?
Facebook is definitely a "great company" by Person of the Year rules[1]. There are some real whoppers on that list.

[1]: https://en.wikipedia.org/wiki/Time_Person_of_the_Year
Looks like neither of those conditions are in the database of recognized diseases:

https://chatdoc-xi.vercel.app/disease

Which is probably a sign that further development is needed.
https://news.ycombinator.com/item?id=42280567
Election poster for AI candidate with three arms appears on Dublin street
Dashiel Hammet died in 1961 so wouldn't that mean the Maltese Falcon will still in PD until 2031 in the EU?
Provide evidence. 2012 is pretty late to have been drinking the techno-utopian koolaid but millions of people, and IMO, maybe half of silicon valley tech workers, took this assumption as ground truth.

This breathless article from 2009 [1] (found in 2 seconds by searching "tech will change the world year:2009") is a good example of what most people thought. You can find blog many posts and articles from the time saying basically the same thing. If you forget, back in 2012 people used to tune into Apple's yearly keynote with bated breath in anticipation of what marvelous innovation Apple would grace us with next. An app to replace your therapists? Uber for dogs? Solve poverty and racism? That was the attitude I remember among my peers (college kids and yes, professors too).

[1] https://www.rferl.org/a/Science_And_Technology_That_Changed_...
Materialize | Staff Software Engineer (Sources/Sinks) | NYC or Remote (US/Canada/EMEA) | https://job-boards.greenhouse.io/materialize/jobs/5357900004

Materialize is a cloud operational data store (ODS) enabling fast, incremental, and consistent transformations of live data using SQL.

We’re hiring Staff Software Engineers to build high-performance, distributed systems in Rust, focusing on efficient data ingestion and delivery. You’ll work on data integration pipelines, leveraging cutting-edge concepts like differential and timely dataflow to ensure correctness and efficiency.

What we’re looking for:

- 5+ years of systems-level engineering (Rust, Go, C/C++, or similar; Rust experience a plus).

- Strong CS fundamentals (B.S./M.S. equivalent).

- Bonus: distributed systems, SQL databases, CDC, or stream processing experience.

Compensation: $200K–$225K + equity.

Backed by Kleiner Perkins and Lightspeed ($100M+ raised), we’re remote-friendly and committed to building a diverse, world-class team.
CJIT – C, Just in Time
Its based on wattage, 4A yes, but 4A multiplied by the voltage. So Pi 5 is 5A, but multiple that 5A times 24V dc and you get 120watts :) so yes, you can definitely colo a pi 5 my friend :D
Ok, I'd like to pitch a Treehouse of Horror episode.

Part 1, combine branch predictor with the instruction trace cache to be able to detect workloads, have specific licenses for say Renderman, Oracle or CFD software.

Part 2, add a mesh network directly to the CPU, require time based signing keys to operate. Maybe every chip just has starlink included.

Part 3, In an BWM rent your seats move, the base CPU is just barely able to boot the OS, specific features can be unlocked with signed payloads. Using Shamir secrets so that Broadcom AND the cloud provider are both required for signing the feature request. One can rent AVX512, more last level cache, ECC, overclocking, underclocking.

The nice part about including radios in the CPUs directly means that updates can be applied without network connectivity and you can geofence your feature keys.

This last part we can petition the government to require as the grounds of being able to produce EAR regulated CPUs globally.

I think I'll just sell these patents to Myhrvold.
Digital Advertising May Be Causing Almost 2% of Global Carbon Emissions
What makes you so sure? Slavery was universal across the human race, or practically so, until well into the second millennium AD. Nobody seriously questioned it. A bit like interest-taking now, which is why I brought it up as an example. Borrowers may complain about their monthly payments, but they don't seriously imagine themselves the victims of injustice qua borrowers.

We imagine that "if I lived back then, I'd be against it", but we forget that the past is a foreign country. People thought and acted quite differently.
OpenCL was born as a cuda-alike that could be apply to GPUs from AMD and NVIDIA, and general purpose CPUs. NVIDIA briefly embraced it (in order to woo Apple?) and then just about abandoned it to focus more on cuda. NVIDIA abandoning OpenCL meant that it just didn't thrive. Intel and AMD both embraced OpenCL. Though admittedly I don't know the more recent history of OpenCL.
Numberphile had a great video on this a few years ago: https://youtu.be/rXfKWIZQIo4
Yep, we do!! :)
A Visualization of Europe's Non-Bubbly Economy
Ok I need to hear the full version of this story.
Playtesting, like usability studies, is not really going to solve the problem, because it isn't a creative process.

You need to have a proposed solution in order to playtest or evaluate, and if you start in a bad place you're not going to iterate your way out of it.
You can't really build a PC with parts other than x86. The only other platform you can really build from parts is Arm, with the high end Ampere server chips. Most other platforms are usually pretty highly integrated, you can't just swap parts or work on it.