skysight-inc/HackerNews huggingface dataset:
I have the same mug from McDonalds.
Does this solve the problem though? I'll be honest, I'm not very familiar with Haskell (and frankly only casually use FP in general), but I don't see how the pattern in your link alleviates my concern.

The problem (truly the problem) is about _where_ one defines behavior. It's the expression problem (EP) at its core. A FP approach separates data and behavior in a way that makes adding new behaviors to the same data types easy and OOP combines them in a way to make adding new data types to the same behaviors easy. It's literally the difference between:

let model' = update model msg

and:

let model' = model.update msg

Like I said, I don't know Haskell very well (and had a hard time grokking the link), but any purely functional language will suffer from the former over the latter. The side of the EP a language falls on is simply as a matter of the data types/type system available.
Lerna AI (Stealth)| Full-stack Founding Engineer (Java/Python) | Permanent Montreal | Canada | REMOTE | Salary + Stocks

You are passionate about privacy, novel technologies, and have built scalable back-end systems?

We are a stealth deep-tech startup helping mobile-first businesses improve their user engagement privately, via on-device Federated Learning.
The founding team comprises Harvard, Cambridge and Barclays alumni.

We are looking to onboard our first (founding) engineer with senior fullstack experience. You'll be working on a combination of backend microservices, mobile SDK, and privacy-preserving ML libraries.
You will need to be comfortable (4+ years of experience) with Java, Python or C++, and at least one of the mobile development frameworks.
Extra points if you have delivered ML deployments or mobile SDKs, or have worked in agile high-pace startup environments.

What we can promise:
-You will be an integral part to the founding team and have a high level of autonomy
-You’ll be shaping together with us the architecture, the future of our deep-tech startup, and ultimately the mobile federated learning industry altogether
-Your hard work will be compensated with a generous stock options package

Apply by sending your CV to talent@lerna.ai
The service isn't shutting down; they're closing their internal game dev studio that never released a game.

You might get a kick out of https://killedbygoogle.com/
If the question should be in a document, then I respond by opening the documentation and checking to be sure the documentation is right, and then fixing it as needed. That done I tell them to read the documentation and let me know if anything is hard to understand so I can fix it.

When writing it is very easy to skip steps that are obvious. So when "asks too many questions about the obvious" can figure it out from the documentation I know the documentation is finally good enough for everybody - including the person who doesn't ask enough questions.
It is a nice feature. And of course we don't want to be stuck in the old financial system. But we are. Making transfer appear instant, when they are not, means the depositee has to take out a loan until it clears in reality. It's inherently risky as implemented.

I wouldn't be the first to advise against shipping the product before the buyer's cheque has cleared.
Yes to all. In Lean 3, they found it was great being able to write tactics in Lean itself, which has led to many nice tactics in mathlib. Lean 4 consolidates many lessons learned, and most of Lean itself is written in Lean now. In principle they'll be able to prove different parts of the Lean system are correct (eventually).

Lean has a C backend, so you can write in Lean, prove your program meets the spec, then output reasonably optimized (but impenetrable) C code.

I made this raytracer partly to see how efficient that code would be (I haven't gotten around to comparing it to anything yet, though), partly to try writing a real program in Lean rather than my usual theorem proving, and partly to better understand ray tracers.

In principle, one could prove this raytracer (once fully debugged :-) ) converges to the theoretical solution to the rendering equation, with arbitrary precision floats. This would be an ungodly amount of work to carry out right now in Lean 4, but it's in principle doable, I think.
By looking at how many projects/products they run, some individual niche team can be under-resourced.
Metaplane – Observability for the modern data stack
As companies grow there will be "pain points" that come up due to scaling (performance, architecture, development, etc). When you get to that point it's normal to wish the pain didn't exist by "doing it right" the first time, but I think it's still better to wait until you have the pain. Because that pain tells you unequivocally what you need to value in the scaling.
Nice, but it's more important for my browser not to leak information about me via what fonts I needed to download.

Also, it gets really annoying when sites demand that my desktop look like my mobile phone but blown up really big. Twitter's already that way, and the Facebook redesign did the same thing.
It is a raw drone image. I probably should have picked a different option, as this was collected just after sunset, which gives a nice uniform lighting but also leads to more noise and some of those artifacts you mention.

The resolution improvement has nothing to do with software (although there are super-resolution methods to improve it). It has to do with both flying very low as well as building a larger telescope than normal. While the satellites will still be much smaller than the traditional approach to capturing 10cm resolution, they will be larger than the new space smallsat movement we've been seeing the last few years.
Indent | San Francisco, New York, Remote | https://indent.com

At Indent, we’re working to make it possible for companies to safeguard the data they’re entrusted with, while still delivering high quality product experiences. Help us make that a reality.

We’re looking to work with folks who are interested in building and operating infrastructure that serves as a platform for immediate product goals and future-facing possibilities. We went on Software Engineering Daily to talk about some of our tech and architecture (https://softwareengineeringdaily.com/2020/07/28/access-contr...) if you’d like to hear our thinking behind some of those decisions.

Learn about Indent's key values: https://keyvalues.com/indent

Check out our open roles at Indent here: https://indent.com/jobs

Tech Stack: Go, Cadence, Presto, Flink, Kubernetes, Terraform, Next.js, React, TypeScript

If you're interested in learning more, feel free to apply on https://indent.com/jobs or send us an email at hiring@indent.com. Looking forward to talking!
Until you can play your Steam game library (and perhaps Epic and Unisoft and GOG) on Stadia, I think they'll struggle.

I have paid for Geforce Now which does let you play Steam et al games (although not everything is available which is annoying) - it is about £4 a month currently (or free if you can spend time waiting to play) and the experience feels largely the same to Stadia to me in terms of latency and quality. Many happy hours playing high-end PC games on a super cheap and lightweight Chromebook that starts up instantly and runs silently compared to my weighty, expensive, and noisy gaming laptop that needs to boot into windows (although that only takes 5-10s these days to be fair)

Feels like nVidia (...and Xbox? Not tried that) have eaten Google's own lunch in the stream-to-chromebook context.
Vorto | https://vorto.ai
Roles: Senior Engineering Managers | Mobile, Backend, & AI Engineers | SRE & Cloud Infra Engineers

Locations: Denver and Los Angeles for IC Roles, any major city with a tech hub for Senior Eng Mgr. roles (you will be building & leading the satellite office!)

We are building software products to enable businesses to be more economically and environmentally sustainable by digitally transforming the supply chain. At Vorto you will help us define the frontier of logistics optimization, supply prediction, and demand prediction. Our customers love our product.

We use: GCP, Go, Docker, Kubernetes, Swift, Kotlin, Postgres, ELK stack, Tensorflow, etc...

You'll get to:

* Ensure America's blue collar workers get compensated fairly for their labor

* Reduce the carbon impact of our supply chains

* Disrupt the archaic supply chain management process

* Work with and learn from the highest performing team I have ever met (honestly)

* Have the freedom to be more than an engineer -- we allow and encourage our team to act as entrepreneurs, not coders

* Earn meaningful equity on top of a competitive salary in a rapidly growing business

Reasons we may not be a good fit:

* We're driven, motivated, and most of us willingly put in hours that go beyond a traditional 9-to-5

* You'd prefer a larger company with more mature discovery and structured agile dev processes

* You'd prefer to focus on delivering quality software over focusing on the value delivered to the customer (nothing wrong with that! -- but we don't have the big company scale to support the organizational infrastructure needed to abstract away business context from our engineers)

* You find start-ups as too chaotic of an environment to work in

If interested, please send me your resume/linkedin, as well as a couple of sentences around why you're excited to join us at monty (at) vorto (dot) ai
I still think it’s essentially a false equivalence:

> Nobody needs a smart phone" or "No family of 4 needs a >2000sq/ft house" or the like as examples.

Even these are in a totally different class of ‘need’ to Facebook which is trivially substituted by comparison.
I remember when it came out as a swiss army tool for videos - loved it since the first version I got (off Slashdot) and I've been using it since.

Good job folks at VideoLAN! Thanks for reminding me I'm an old fart!
> The problem we always ran into with deletes is them triggering full table scans because our indexes weren't set up correctly to test foreign key constraints properly.

This is a classic case where partitioning shines. Lets say those are logs. You partition it monthly and want to retain 3 months of data.

- M1
- M2
- M3

When M4 arrives you drop partition M1. This is a very fast operation and the space is returned to the OS. You also don't need to vacuum after dropping it. When you arrive at M5 you repeat the process by dropping M2.

> Another solution is tombstoning data so you never actually do a DELETE, and partial indexes go a long way to making that scale. It removes the logn cost of all of the dead data on every subsequent insert.

If you are referring to PostgreSQL then this would actually be worse than outright doing a DELETE. PostgreSQL is copy on write so an UPDATE to a is_deleted column will create a new copy of the record and a new entry in all its indexes. The old one would still need to be vacuumed. You will accumulate bloat faster and vacuums will have more work to do. Additionally, since is_deleted would be part of partial indexes like you said, a deleted record would also incur a copy in all indexes present on the table.

Compare that to just doing the DELETE which would just store the transaction ID of the query that deleted the row in cmax and a subsequent vacuum would be able to mark it as reusable by further inserts.
My review and notes on the investment philosophy of Berkshire's Charlie Munger
Yeah I think I agree; though I haven't tried Bedrock, I have done a shallow evaluation.

The main thing I don't like is it requires being the main distro and I don't see why this is necessary. I don't think I'll like the container solution because I don't want (all other containers, ... | bedrock(X, Y, Z)), I want (flatpak-A, bedrock-X, ...). I want a bedrock-like package to be a top-level package.

I'm not against needed-complexity, I'm against the complexity being in the base OS. I should be able to have bedrock-like solutions alongside bedrock and not entwined with it.
> Google will close its two game studios, located in Montreal and Los Angeles. Neither had released any games yet.

Were there any games currently in the works in these studios?
I didn't demonize anything, and if you think I did, you should probably re-read my comment dispassionately and stop trying to do battle on the internet.

Your comment opens with:

> Get diagnosed and get a low-dose of meds.

Immediately suggesting that someone seek a somewhat dangerous medication as a solution, without qualification, is an extreme and dangerous view. "You have ADD so you should try low doses of speed!" is not wisdom. There is a reason that these are prescribed by doctors, and monitored.
I picked FastAPI when I started a large project last year, when I was looking for something a little nicer than Flask for just an API server.

FastAPI feels like a damn cheat code, it's so well designed with the Pydantic models as input validation, the flexibility, the built in OpenAPI docs, on and on.

Love it!
I guess then my challenge in my 20s is to get out of the proverbial rat race. I am not paid that much since I am junior, but can put a lot more effort in learning for my company but also for myself (which can be different than what my company needs/wants). My superficial knowledge already seems more comprehensive than my colleagues (I cover/ am very interested in the whole stack, from backend, machine learning, infra, mobile), its quite hard to compare on a deeper level. I'm afraid full time jobs don't provide the right incentives to employees/ me, and over time my drive runs out, since everyone around me seems to work the ~8±1 hours/day.
This is why I don't like "fusion" dishes.

When I'm exploring new cuisines, I want to learn the grammar of that culture and how they put food together. I find those traditional dishes that have evolved over a long period of time to have flavors that complement each other very well. And also like imagining the experience of people from that culture.

And I know others enjoy something new and innovative that hasn't been done before, and that's OK, too.
It’s ridiculous that you don’t think a good portion if that 30% doesn’t go to writing and testing software, design, customer support, advertising, not to forget hosting, developer services, localization, etc.

Apple should figure out a better automated solution for this specific problem, but it’s ignorant to not acknowledge they already do far more than other app stores.
An offense doesn't need to result in imprisonment or custody to be criminal. A citation is an arrest without custody - you are promising to appear at court. This is generally how summary offenses are handled in many states. This includes summary traffic citations. If you look at the rules for judicial proceedings they will fall under the criminal proceedings. They will also show up on your record. That's how my state and neighboring states work.

I guess maybe your state is very different. Which is part of what I was asking about. Any offense, civil or criminal, must be defined in statute or code. So can you point me to that?
Just be careful not to be the guy who isn't helpful because of all the work you have to do before you can prove you are worthy to ask a question.
Good for you, I am glad you have found something that works for you.

It is inappropriate and rude to assume what others need. I am the complete opposite of what you assume on Adderall, I am more verbose, my thoughts are more coherent and I can keep up with meetings because I can actually pay attention to them. The first time my spouse heard me conduct an interview after medications, he told me how much more cohesive, steady and assured my speaking was.

It helps no one, not even yourself, to tear down someone else because they are using a different solution than you.
“Excuses, excuses.“

This is legal liability. That matters.

> Now if I’m just as likely to be screwed over by an Apple-approved app from their walled garden as I am by sideloading random crap, what’s the point in it for me, as a user? If I have to exercise just as much caution, I can just as well sideload what I want.

If this were true, then sure.

But it obviously isn’t.

Even the Google Play store is way worse in terms of risks than the App Store.
Absolutely yes.

MQTT is a specific implementation of a general approach to buses. This is wildly used for asynchronous communication between services.

I use MQTT (or other buses) when I have services that need to send some information without consideration for the services that need that information. The first ones are producers, the other ones - consumers.

This is a very powerful approach when you have good cases. IoTs are typical cases where they send data and something else makes use of them. Another example is code that calculates some information and emits its results.

Some of my code retrieve google calendar information and emits that - and it is consumed by a dashboard, some other code that makes decisions such as alarm clocks etc.

In general you use this for asynchronous messaging, especially in with one-to-many scenarios.
Thanks a lot for your work! We recently switched to FastAPI from Django rest framework at Etebase[1] and it's been an absolute pleasure!

P.S, if anyone is interested, it took a bit of hacking, but we managed to get two unusual things working:

1. Use MsgPack instead of JSON. It works great and wasn't too much of an effort (the existing libraries are done wrong and don't work well).

2. Use the Django ORM with FastAPI. This was quite hard to do and quite manual as the Django ORM assumes the rest of the Django stack is in use.

Etebase is open source[2], so you can just check out how it's done if you are interested. I'm also happy to help if anyone has questions.

I really hope we get a good async ORM soon. I'm currently using SQLAlchemy 1.4b1 in a side project, though the typing (and mypy plugin) are unfortunately not there.

[1] https://www.etebase.com

[2] https://github.com/etesync/server/
“First Assembly” – Orbital Assembly Virtual Event
LearnPlatform | Senior Software Engineer | Full-time | Raleigh, NC USA

LearnPlatform is a growth stage ed-tech company with the goal to expand equitable access for all students to teaching and education technology that works. In short, we're trying to fix the ed-tech problem by becoming required infrastructure in the space and we are well on our way!

We have a modern tech stack (Rails, Elixir) running on AWS (Kinesis, RDS, Redshift, SQS) and have a mature CI/CD and infra process (Terraform). We also process a quarter billion events per day (read: interesting scale).

If you want to make a difference in the world, be empowered to solve technical challenges autonomously, and to be surrounded by great, mission driven peers in all functions, apply now!

https://learnplatform.com/join-us/?gh_jid=4656823002
AWS EC2 | Seattle, DC | Systems Development Engineers

EC2 Recovery Systems is seeking hands-on engineers with a passion for designing and developing highly scalable, distributed software. Our systems monitor the entire EC2 fleet and automatically take actions that directly improve customer experience by maximizing the availability and reliability of compute resources. The team’s problem space is diverse and interesting and you will have ample opportunity to work with a variety of technologies in support of maximizing the health of all compute workloads across the EC2 infrastructure.

https://www.amazon.jobs/en/jobs/1350796/software-development...

https://www.amazon.jobs/en/jobs/1383738/software-development...

If you've received emails, Cloudwatch events, or SNS messages where the body starts with the string "EC2 has detected degradation of the underlying hardware hosting your Amazon EC2 instance" and wondered what those sparing words are describing, you will find these roles compelling.
How are you doing async with peewee?
I wonder how would people feel about itanium failure had it been developed by anyone other than Intel; I mean, would there be that lingering feeling it could have been something had only the right amount of resources put into it etc etc?
SEEKING SPONSOR: I work on the Rust standard library and compiler. As of a few months ago, I'm part of the Rust library team, which is the team that manages everything in and around the standard library. I'm currently working on the panicking infrastructure, improving the synchronization/locking primitives*, and on a new (more efficient) implementation of how formatting arguments are represented**. I also spend a lot of time reviewing incoming pull requests for the standard library, and am working on streamlining the organization around all this.

https://github.com/sponsors/m-ou-se/

*: Much of which has already landed: On Windows, mutexes etc. are no longer heap-allocated. And on many platforms, thread parking now directly uses futex(-like) syscalls/APIs.

**: That is, how a format_args!() is represented at runtime, which is relevant for all println!(), format!(), etc. macros that do any formatting.
> People are almost zombie like or they space out, or even on low-doses they almost can't "keep up" in conversation or meetings.

What you describe sounds more like symptoms of untreated ADHD rather than treated ADHD.
McKinsey: Lifespan of companies shrinking to 18 years
True, but in the case of naked shorting there is now (for some period of time) another share being traded in addition to the shares issued by the company. In the case of regular shorting the float remains the same.
HTTP is synchronous. MQTT is asynchronous.

HTTP is 1:1. MQTT can be 1:many.

What you use completely depends on your specific case.
It really hasn't. A quick look at WSB shows that there's a large, concerted effort to create this narrative. To me, that shows they're scared about $GME. They should be scared.
I agree with API-spec first approach, yet I still love FastAPI. I try to get first iteration written in Markdown so we can change it easily. Once it is decided upon, FastAPI lets you build the actual implementation easily. It is priceless that the docs match the implementation by default.
was "network 2000" multicast? how similar/different was it to xing streamworks (commercial multicast mpeg suite from that time)?
Tesla is obviously in a strong growth phase and companies in such a phase, unless they are strictly software based, do not show profits because they are investing a lot of capital in their growth. For example Tesla's cost to make a model 3 is estimated to be around $28k which they sell for an average of $45k (as a guess, certainly more than $40k). It doesn't make sense to apportion Tesla's cost of new factories onto the "cost of production" of its cars. This is all finance 101.
Sure thing.

You lost much money, but you could afford it, because you saved when you worked at Google.

That's usually the point I think "oh, one of those again".

I mean, there is much to learn from you burning money that I don't have, but it always feels a bit disillusoning to me.

So again, sorry for calling that out.
You aren't necessarily disagreeing - their ROI would be even better if their competitors were spending less.

Or, flipping it: if some advertisers are extremely effective, that pushes up the price for the ones that aren't.
This looks super cool!

We just moved away from Datadog because their log storage pricing is too high for us. We moved to BigQuery instead. But the interface kind of sucks.

Would love to get this up and running. A couple of questions:

1. Is it possible to setup outside of AWS/GCP? I would like to set this up on a dedicated server.

2. If not - then do you have a pricing comparison page where you give some example figures? e.g. to ingest 1 billion log lines from Apache per month it will cost you roughly $X in AWS hosting fees and $Y per seat to use Opstrace
Can you add to VLC a support for reading subtitles with the os screen reader? Currently only PodPlayer supports that after KMP turned into an adware.

Also, if you can offer native accessibility support would be much better for screen reader users. Currently, I need an extension for NVDA to use the VLC player.