skysight-inc/HackerNews huggingface dataset:
fmtlib knows the types of all the arguments, and those types are checked against the format string at compile time. So type safety ("%d" vs "%s" etc) is not really an issue.

FWIW, I have waaaay more experience with iostreams than printf. I once wrote a replacement for most parts of std::ostream purely because I had a logging system that was loosely based on log4cxx (which is based on iostreams) and I needed much faster formatting.

Right now I'm in the process of switching to a different logging system that uses fmtlib. I can say that I really, really do not miss the extreme verbosity of iostreams at all. The statefulness I could take or leave, although on balance I'd say it's usually more of a negative. Thankfully I don't have to give up type safety or extensibility.

As for treating files/strings/whatever as streams--my impression of fmtlib is that it's concerned primarily with formatting, which frankly I'm fine with. It can write to an in-memory buffer or to a FILE* or to a std::ostream, which covers pretty much all of my needs. Given the performance of iostreams (lots of virtual method calls) I never really saw the point of using it as a more generalized 'streaming' interface, even knowing that it's possible.
You’re just severely underestimating kids. If it’s enforced at the client level, kids will download a more permissive client. It’s so easy to bypass. Kids are highly motivated, highly intelligent, and have a ton of time.
The influencers and brands are already there
Isn’t the point of the fediverse that you can choose the servers that moderate the way you want?

And I can choose the ones that moderate the way I want?
there are scattered places, swap shops, etc with parts, some retail storefronts.
You have to find them.
Join this https://www.meetup.com/welcome/groups/
find your area. Maker space is quite good.

Maker spaces have meetings and resources - attend and ask. There are several retail places for SM parts etc in Toronto. There will be similar places in your area.
You're obviously going to need to give them a phone number. I'm surprised you were able you back an account at all without one.
You can use android without logging into a google account with the default ROM and settings, just don't log in. I'm surprised more people don't do this, the app store is the only thing you "need" a google account for, and before they banned Aurora it was trivial to use it too.
The name isn’t just funny. It’s also accurate. And it’s quite evidently stood the test of time.

In a VM, often the most important kind of documentation is about labeling what is the fast path and what is the slow path. This method name alerts the code reader that they’re looking at one of the slow paths.
Why not both? Accept federal funds and increase class size by the # of legacy admits. This is the obvious solution if there’s an impasse with the government. Want to accept another legacy student? Then take in one more student on merit. The government has a lot of leverage and I’m surprised they haven’t forced larger class sizes at top universities.
I haven’t had an issue on mastodon with trolls yet. Seems like I’ve been able to connect with people, without really having to deal with trolls.

If that’s losing, then so be it. I’ll happily lose in a smaller community, with people I’d rather talk to.
my first thought was that they are going to make a lot of money
> To drive that resolution at 60 Hz, about 34 Gbps of data rate is needed.

... But then the table just below states the MacBook does it at 8gbps without DSC. What's going on here?
Location: Sydney
Remote: Either; prefer in-person
Willing to relocate: Yes (depends on location; Aus, US,Can; also Swedish citizen)
Technologies: Sveltekit, React, Vue, Node, CSS/SCSS/Tailwind, Github, CF workers, Vercel, Fly.io/Docker, Supabase; Couchdb, Mongodb, Cloudflare KV/R2; Python/Langchain/LlamaIndex; Figma, Adobe Suite; LLM design & dev / "AI Engineering and design"; Building APIs and "API UX"
Résumé/CV: https://janzheng.com
Email: hnjobpost@janzheng.com

I'm Jan!

I'm currently a Research Engineer for a phage therapy clinical trial in Sydney, but originally from the US. Moved here to partner with trial because our phage community startup was able to treat a patient here through crowdsourcing phages.

I'm a self-taught full-stack engineer and product/UX designer with UX research experience. I've been working on our startup for several years, leading to many successes in treatment.

Currently looking for opportunities in other fields (especially related to health, biotech, hard data and UX problems, and using LLMs to potentially solve these problems). Reason for looking is because the phage therapy field and market is very very small, and growing at a slow rate. I'll always have a burning passion for using my design and dev skills to build systems to treat patients, but there's little to no money in the field.

I love building complex interfaces and data systems for those really tough problems.
I don’t think Meta even needs to care about the valuable aspects of Twitter. If everyone on Twitter jumps ship to Meta, Meta will own even more social media and there’s no way that isn’t a win.
If it works like the 3419W you have one button press to wake the OSD and then a press on the input you want to switch to. Not terrible, not great either because on the 3419 the OSD is a bit slow and the button are below the screen so you can’t reliable double click to switch.
New UCC Article 12 and UCC Article 9 Amendments Provide Crypto Guidance
Cannot believe that they have a second stand-alone IG spinoff app, and they ALSO called it Threads[0].

[0]. https://techcrunch.com/2021/11/17/instagram-will-shut-down-i...
It didn't have ads in threads before, did it? So I think no because there were fewer spots.
In my area it's also what you use if you want to lose your stuff and get the shit beaten out of you.
No kidding, I’m from Australia and my first guess was 155 miles from the location. My closest ended up being 140. I basically thought, “that looks like the mid west… Alabama” and had a stab!

Edit: sorry I meant Nashville
Postgres has foreign data wrappers which can kinda achieve this(see also: https://github.com/pgspider/sqlite_fdw ), but ive been surprised by how well sqlite is already supported by many tools : sometimes it comes for free as its used in testing - hooking up stuff like litestream can work really wel l too
> "This provides us with a problem when it comes to understanding exactly who our customers are.

The other three people are "People who are interested in attending shows for the artist on the ticket" which is all they need to know. What gives them the right to know anything more than that? These are customers who are already giving them their money. They've already reached them. If they can't extract more money from those three fans by selling their personal data or by learning about what they eat for breakfast or who they sleep with, or whatever other data points they'd fill in by doxxing the audience too damn bad.

Am I supposed to feel sorry for TicketMaster after they've already ripped me off with their bullshit fees and prices? Whoever those three people are, they have paid Ticketmaster more than enough already.
I agree wholeheartedly. There used to be a lot of YT channels that would restore and make available public domain military training films from the 30s and 40s. Marvelous presentations that get to the point and stay there. Mysteriously these channels keep disappearing because someone is asserting copyright to otherwise free material.
I already have plenty of people interested in the codes. But when new people arrive and look around, they tend to lose interest just like I did.
I’ll wager it’s infinitesimally low compared to the cases caused by Covid.
Obsidian plugin that helps you write novels
Location: Bishkek, kyrgyzstan

Remote: Yes

Willing to relocate: No

Technologies: Python, FastAPI, Django, SQL, PostgreSQL, Linux, Javascript, Go, Common Lisp, HTML/CSS, NGINX, Docker

Resume/CV: https://drive.google.com/file/d/1TV1WyAXS-m2lVoykP27RKNzwlVF...

Email: narmatov.asylbek1@gmail.com

I've worked for two years as a Back-End Developer. Now I am searching for a job. I've been writing mostly on Python, but I am open to learn new technologies and languages
Agreed. And it builds muscle memory. It's the difference between saying "Of course I can walk a mile" and actually walking a mile.
Have you considered shipping your dev laptops to the cloud? That would make deploying easier too.
You’re just severely underestimating kids.

I am not underestimating anyone. If a kid is curious enough and smart enough they can bypass anything just as their older teen peers. I would suggest if a kid is smart enough to know what they want to watch then they can probably handle the content or just go to one of the many sites not using the centralized databases as their older teen peers would. That of course should be a discussion between them and their parents. Maybe Usenet will make a come-back by the demand of clever children.

If a kid is not ready for said content and they still bypass it then it should be on their parent to educate them and/or discipline them as with anything else between a parent and child. If it is leading to problems then social services will sort it out as they would with any other parental issue. People must not accept going down this dystopian route of building a centralized ID and even more censorious technology that could easily be extended to any content, not just adult.

[Edit] I should also point out that most tablet and phone OS's support having child accounts. Child accounts can not install any applications.
That is true, I’m a bit baffled they didn’t integrate this in some capacity into instagram itself. With that said I think this has a higher likelihood of success than instagram apps made for instagram users since this is an Instagram app using Instagram to launch a twitter replacement.
Write a Book with Markdown
Talking Compilers, Interpreters and Writing with Thorsten Ball [video]
I use https://static-web-server.net/

Cross-platform, written in Rust, straightforward configuration, secure defaults, also has a hardened container image and a hardened NixOS module.

I wouldn't recommend Caddy. Their official docker image runs as root by default [1], and they don't provide a properly sandboxed systemd unit file [2].

[1]: https://github.com/caddyserver/caddy-docker/issues/104

[2]: https://github.com/caddyserver/dist/blob/master/init/caddy.s...

EDITED: phrasing
The name "threads" doesn't sound catchy.
But... mergers really do not only make markets less competitive at all!

May mergers of huge companies often have negative impact. Firstly most mergers do not involve multi-billion dollar companies at all, secondly many mergers occur when one company is is trouble, and thirdly good takeovers increase distribution of the smaller companies brand.

Good examples of successful mergers/takeovers like this include:

Halotop bought by Wells Enterprises

Geely buying Volvo

SAIC buying MG

Most acquisitions by Proctor & Gamble

Most acquisitions and mergers in the markup and beauty space.
That can work for those of us who don't mind figuring all that stuff out, I too went through a few accounts to understand how everything worked before finally setting up my own server, but most people just want something they can rely on being relatively out of the way rather than switching accounts whenever they don't agree with moderation decisions.

Thus my emphasis on why most people would rather just deal with centralized social media than the fediverse. That way there isn't any additional research to do, you just make an account and tolerate the terrible moderation. No additional steps about worrying about if the specific server you're on is agreeable, no need to worry about self-hosting.

Eg none of my friends were interested in doing all that research, so the only way to get them into the fediverse was on my server. Now that they're there, they're able to use it however they want and just block for themselves whatever they personally don't want to see.

Of course servers have the option to do whatever they want, which is great, but that doesn't mean they can't be criticized.
Some lessons from experience:

redis as a caching layer.

Implement high-performance code in a systems language and use bindings (i.e. ctypes in Python to call C code) for critical speedups.

Avoid lambdas and any other "serverless" code that is 10x slower and 10x more expensive than a cloud instance.

Figure out the bottleneck in a complex workflow and pre-compute as much as possible before the workflow begins, accepting stale data within defined parameters.

Manage your own memory.
When I try to copy 400k files from an external HDD to the internal SSD, Windows 11 gives up after a few minutes and the paste button stops working at all. But it perfectly loads all the news on killer moms and rapists in widgets, that's OS development progress!
MacOS uses Dispatch/GCD to handle signals, the system manages the thread for ObjC/Swift like they described Go and Python.

https://developer.apple.com/documentation/dispatch/dispatchs...
i know my old Dell Ultrasharp U2415 supports this feature.
There is a tool in linux with which you can switch input, also dell has a display manager in windows which allows you to perform the switching and controls.
I totally love it!
Comparing to AI doesn't look so good for QC. The research that led up to the attention paper has a consistent trend of producing lots of useful applications for its 60-year history. You may not remember this, but in 2012 there was a computer vision "watershed moment" around the CNN architecture. Before that, there was the DARPA autonomous driving challenge and related research in robotics. Going back further, there have been many other big breakthroughs in ML/AI with immediate application, down to the perceptrons of the 60's and hidden markov models of the 70's. In other words, the field that eventually became AI was pretty much immediately useful.

The relative lack of useful intermediate results raises major red flags for me, but it doesn't seem that physicists are all that bothered by it. Indeed, the high energy theorists have been at it for longer with a lot less to show for their work: At least we have a few toy quantum computers, while there is still nothing testable about string theory.

Honestly, I hate to say this, but I think it's going to take a major war for QC to have its watershed moment (a "Manhattan project"), and I think the odds are that it will actually work if it comes to that. However, the window is kind of closing on the usefulness of the technology as post-quantum encryption starts to get legs, and I don't really want another World War 2...
Location: San Diego, CA

Remote: Yes

Willing to relocate: No

Technologies: Python, Postgres, BigQuery, git, dbt, Looker, Grafana

Résumé/CV: https://drive.google.com/file/d/1gcyJfVKsqyM6ife6hEAOD2U9tXd...

Email: mvdjse@gmail.com
We have multiple, there's a "5k" LG /MSI and a 4k x 2 Dell
Pretty cool to see an NBA team here.
I agree. He talks about LLMs surpassing humans in what they can do, but LLMs can’t do anything, really. And I say this as someone who had a heart-to-heart chat with a ChatGPT persona that made me cry, earlier tonight. Manipulating language in a human-like way is powerful, and maybe Hofstadter as an author who makes a living writing down his deep and whimsical, creative thoughts could be replaced (I grew up reading GEB and mean no disrespect). But being a conscious, physical, active being in the world is different from passing a sort of Turing test. The fact that a computer even winning at Go shook him is revealing.

He has the ingredients of being able to keep LLMs in perspective (is there really an “I” or just the illusion of one?), but he doesn’t understand what the computer is doing; it’s not “mechanical” enough for him.
Wow that Dell P2415Q looks very tempting for replacing my junk 1080p 24” work gave.
I can't resist - I've been trying to get an invite for awhile now. Thanks!

zhym4g7v AT duck.com
The comment about concurrency was strange. They have 24 x 5 + 2 x 2 * 60 = 360 writes per minute, or about 6 writes per second. They're not seeing concurrency issues because the amount of time that's spent doing writes is like 1%. Naturally retrying a couple milliseconds later should succeed almost all the time.
And yet in Canada, at least, box office is within striking distance of 2019 revenues. 23Apr01–23Jun25 BO revenue was at 89% of 2019, despite fewer films being released.
Yes, the parent's objective clarification below was acknowledged. To be fair, the parent's point wasn't to assert a minimum Ethernet bandwidth that it "could be done in", but merely to highlight the incongruence of the grandparent assuming no compression when transmitting a base case payload over 1 Gbps Ethernet PHY.

I agree that the bandwidth overhead of 8b10b can be dismissed in context, but nevertheless disagree that the underlying functional equivalent of HDMI blanking can be entirely ignored given that's where the audio stream is embedded, with a max +/- 2 ms delay relative to video requirement.

To your point, it's unclear in my mind that even a hypothetical 3 Gbps Ethernet PHY would be sufficient in practice to transmit raw 1080p60 + stereo audio without some form of compression given framing and IP stack overhead, which certainly isn't free; i.e. you'd be at 92.7% link saturation in a completely lossless environment just blindly transmitting raw 1080p60 video data without framing or audio or IP encapsulation.
I have the Alienware 38" Ultrawide. The ratios are just slightly off for my eyes comfort. At a full 1:1 pixel ratio, the text is too small. Scaled up slightly the size is right, but the blur is really annoying. I think it would be prefect for me if it were like 45" with the same resolution, or if it were still 38" but instead of being 3840, native it was 3200 or something like that.

If I scale it to 50%, it looks phenomenal, but who wants to work on a screen with the equivalent real estate of 1920x720?

I now spend most of my time on the built in display of my 16" M1 MBP. The text sizing is fine for me.
Im Interested but the site is just a blank page and I can't find the app on Google play
I’m not a fan of Musk but Musk isn’t trying to make Twitter better…

He’s trying to make Twitter able to pay its own bills. Twitter has never made money (except once) in its 17 years of existence.

Twitter as it was should not exist. It’s like a bakery that sells loaves for bread for 20c at a loss. It’s going to eventually implode unless something changes.
What is the value in catching early signs of dementia given that we have no useful treatments for it?
They have pretty much killed messenger for me, I used it everyday to chat with most of my friends but now its bloated and filled with ads so we moved on to different platforms. Its too bad because I loved messenger but now I only open it once a week.

> games / chat bot / reservation space

Yea thats the bloat that killed it for me, I just wanted something that lets me send messages to my close friends, nothing more, nothing less.
Twitter competitor is the Facebook app. Everything you do on Twitter can be done on Facebook app.

I don't see any use of the threads app.

People don't come to Twitter because of the app.
Unless they can manage to shrink the headset to the weight of a pair of glasses, I don’t see this as competition for monitors. Just to name one out of dozens of issues: if you have your face supporting a heavy VR mask for hours a day, it’s really going to show after a few years.
> You can set up a schedule to train non-coms in 2-3 months, that doesn't mean they'll be very good. Experience is extremely valuable at this level.

This one statement means you don’t know what you’re talking about. Non commissioned officers are E4 rank, you can leave bootcamp at E3 rank. 6 months later get E4. NCO only requires experience at the E7 or above level, which don’t fight only lead.
Its capitalism. Companies must die rather than become merged zombies(Soviet Style). Since this is hypothetical. Maybe the employees shall then start their own startup and get success or maybe the company was shitty anyway in the first place.
Software hotkey/gesture can select monitor input via DDC, https://www.reddit.com/r/ultrawidemasterrace/comments/hm2mvk...
That would break so many things that it would be insane to do.

You could just run nginx as a separate user with very limited rights, or just run it on Docker. This, plus updating regularly usually fixes 90% of security issues.
ChartMogul | Multiple Roles | Remote (EU) | Full-time

At ChartMogul, we're building the leading Subscription Analytics Platform for growing SaaS businesses. We're a remote-first company with 72 team members across 23 different countries. Profitable and self-sustaining since our seed funding.

Our core product is a Ruby on Rails backend and Vue.js frontend, with services in Python and Go. Postgres serves most of our database needs, along with a Snowflake data warehouse.

- Engineering Manager, Full Stack: https://jobs.chartmogul.com/o/engineering-manager-delta-team...

- Senior Full Stack Engineer, Delta Team: https://jobs.chartmogul.com/o/senior-full-stack-engineer-del...

- Security Engineer: https://jobs.chartmogul.com/o/security-engineer-eu
Type system updates: moving from research into development (Elixir)
I love 120Hz on my iPad Pro for general responsiveness (though the response time is dreadful) and 120Hz on my LG OLED for gaming but I’m frankly just blind and will take 4K on 27” at 200% scaling any day for desktop work.
I've got two of the P2415Q's and will probably keep using them until they kick the dust. Every 6 months or so I look at monitors and anything with an equivalent or higher DPI is too expensive for me to justify ($1200+ per monitor)
Yes I think the pe is largely based on the assumption that they will be able to transition to selling high margin assisted driving services, but that remains to be seen. Other self driving plays are much more mature and actually in production (e.g. Waymo), but still facing criticisms and odd behavior.
From my experience:
- Feed was purely chronological (no algorithmic feed) so I missed a lot of content
- Sign-up process isn't obvious due to decentralization
- Likes, profiles sometimes had bugs or required extra clicks if from other servers
- Few people I follow migrated from Twitter, and most have since stopped posting due to lack of engagement
Sorry to say this but this is a premature conclusion. Facebook can't build a Twitter competitor.
Yea marine one could, fair enough.
We'll just need to create an AI that'll emulate love semi-perfectly.
Facebook can't build a Twitter competitor