skysight-inc/HackerNews huggingface dataset:
That said, I still use valgrind because we have to integrate C libraries sometimes (libpcl is my favorite culprit, only because I'm trying , and there's still possibility to blow the stack (yeah you can use gnatstack to get a good idea of your maximum stack size, but it's doesn't cover the whole Ada featureset and stack canaries - fstack-check don't catch everything.

edit
Also massif, call/cachegrind and hellgrind have saved our bacon many, many times.

Even more interesting is writing your own tools with valgrind. Here https://github.com/AdaCore/gnatcoverage/tree/master/tools/gn... is the code of a branch-trace adapter for valgrind (outputs all branches taken/not-taken in 'qemu' format). Very useful if you can run a pintool or Intel Processor Trace just for that.

And if you keep digging, the angr symbolic execution toolkit use (used?) VEX as an intermediate representation.
end of edit

Ada doesn't catch uninitialized variables by default (although warnings are getting better). You can either go Spark 'bronze level' (dataflow proof, every variable is initialized) or use 'pragma Initialize_Scalars' combined with -gnatVa.

Some of these techniques described in that now old blog post full of links https://blog.adacore.com/running-american-fuzzy-lop-on-your-...
(shameless plug) where one can infer that even proof of absence of runtime errors isn't a panacea and fuzzing still has its use even on fully-proved SPARK code.
Django/React part-time SWE – Nimble (AI to help schools find great teachers)
Nimble (YC S17) uses AI to help schools recruit & hire great teachers. We're seeking a full-stack SWE contractor for 15+ hours per week over the next 2-3 months, beginning in early to mid August. Must have 3+ years' experience with Django and 2+ years with React.

If interested, send a resume and/or your Github to talent@hirenimble.com. More below.

-

What you'll be doing:
- Developing and maintaining secure and scalable features for our web platform in React and Django
- Working with various databases and data stores to reliably and quickly manage application data
- Building out extensive tests to ensure feature stability and quickly catch regressions

Requirements:
- 3+ years of experience in Django web framework and its ORM
- 2+ years of experience with React, including functional components and React Hooks
- 3+ years experience with relational SQL databases (Postgres knowledge preferred)
- Familiarity with event-driven development in Python (using Celery, RabbitMQ, etc.)
- Understanding of REST API design and development best practices

Bonus Points:
- Familiarity with Heroku and/or strong understanding of deployment pipelines
- Experience with ElasticSearch
- Strong understanding of statically-typed languages or frameworks (e.g. Typescript)
Thanks :)

> I guess for this to work best, you need to be very consistent with putting out content to get a good baseline?

Exactly! You need to be active, because the stats are based on profile clicks, which are derived from your tweets.

> The Twitter maker community is exciting to be in right now. Lots of fun tools popping up (Saying this as a fellow bird-named tool creator: https://getbirdfeeder.com).

It's the best community I've ever been a part of :O Birdfeeder looks nice :D
I think that their temporary absence was a bit of overreaction to peanut allergies (which continues in a lot of environments like schools still). Individuals who would have a reaction simply by being in the same general space as peanuts are rare if not nonexistent. Probably, for K-8, it does make sense in that kids can’t be relied upon to not do dumb things like give their nut-based snack to an allergic kid, but an airplane is a controlled enough environment that it’s unlikely to be an issue. The one key thing would be avoiding hidden nuts, e.g., here have this slice of banana bread—surprise it has nuts mixed into the dough!
https://flightaware.com/adsb/coverage/ shows an ADS-B receiver at McMurdo station and at least 2 others in Antarctica.
Between sea & l&

Is rocks & s&
Being a nice person is exhausting
You forgot the part where after 2 years they are shown the door but with a huge payout and glowing references ostensibly because "We don't want to ruin their careers" but actually: We don't want the market to know we hired this idiot and it took us 2 years to work it out and we don't want to be sued by their high-priced lawyers.

Then they take their "success" to the next company and the cycle repeats.
This part (which is tangential to the real thesis of the paper) is interesting:

> Advocates of strong type checking in compiled languages have attempted for years to build compilers capable of proving the type correctness of programs. We believe that they have failed. All languages sophisticated enough for serious programming require at least some dynamic checks for type safety at execution time.

In 1986, languages such as Miranda and ML existed in reasonably serious forms, and clearly had sound type type checkers and quite powerful type systems, including parametric polymorphism. Does the paper take the stronger position of counting things like array indexing as part of "proving type safety", or was there still a conception in 1986 that "serious programming" could not be done in a type-safe manner?

It is definitely true that even in 2022, the vast majority of statically typed languages still perform run-time safety checks for some operations, such as integer division and array indexing. While languages that support fully provably safe programming exists, they are clearly in the tiny minority and not widely used, and still have ergonomic problems.
> Also this fascination with NYC and it's trash situation is such a tired and frankly disingenuous dig at the city. While it is expensive, no argue there, it is not dangerous or filthy. You'd think after having lived there for 15 years you'd have some pride in becoming a New Yorker (lord knows I do and weep for the fact I no longer live there) but maybe the city is better off without you.

So you just assert it's fine and continue with an ad hominem argument?

Allow me to retort: maybe it's a trash pit of a city because of apologists like you? NYC reeks in a way I've not encountered outside of the US.
And yet, supermarkets close down quite often to make a political statement or when margins aren't sufficiently high enough. Kroger is fond of closing stores in areas threatening to raise wages.
> cesspit of flashy videos and clickbait posts.

... that people in your network (re-)post, right?
No, the phone numbers are in the second sentence of my first comment. The exploits are in the sentence after as an explanation to why it was bad to use phone numbers. And that is only one example to make it a reasoned argument. Other such points can be found in the video.

I am happy to argue the points but don't make up some characterization. It wasn't "then", "now" or "shifting". I've made the same points all along.
Both. The subway is safer by these four metrics:

* Number of deaths, miles traveled

* Number of deaths, per capita commuter

* Number of deaths from violent crime or negligence, miles traveled

* Number of deaths from violent crime or negligence, per capita commuter
Carbon Programming Language from Google
There might be some middle ground between using a 15 mile per gallon vehicle to shuttle 2 kids around and breathing.
FB/Meta still has phenomenal value, just the FB app is being sunset.
The Whatsapp acquisition, fb friends list and all those photos you have uploaded will be worth so much in time to come.

Where FB wins is it owns the best connections. Who cares what the app shows you, FB actually knows more about who you care about. When that comes to the metaverse that will be like owning the yellowpages and always brings added value.

FB App is dead. Meta is still winning.
You and me both! :-)
I'm a bit taken aback that it's a for-profit company. These spaces are generally community driven.
It's the Silicon Valley vibe. Signal is 100% focused on user base growth, and they subordinate a lot of other concerns to that.
Tesla driver says Autopilot was on in fatal crash with motorcyclist
Interesting concept that seems to be directly related to the uniqueness of this family.

It is a potential mechanism (in a radical, creepy, sci-fi sense) for sharing and distribution of the rewards of capitalism among a larger group. Imagine a co-op where the parents agree to sell shares of their children’s lives at age 13, with the capital being used for education and preparation for maximum return on investment. The shareholders become an advisory board with incentive to open doors for their “investments.”

I could definitely see a less creepy version of this in housing, where investors purchase shares of a home to augment debt. There is a lot of capital out there looking for returns on real estate investment. For qualified homeowners, this could be a welcome source of capital and a win-win.
Want to start hacking?
Yeah, I was thinking we need something like Climate Heat Bomb Zoe not something that sounds innocuous like Heat Wave Zoe. There have always been "heat waves" but the severity and frequency of extreme weather events is all us and our consumption lifestyle.
A Mirror of Our Best Selves
What a great, simple idea. Way to follow through and actually make it happen!

Random ideas:

* Pricing: you could tie pricing with the performance (pay $1 per extra followers that your best version is getting - cap at $X0).

* Marketing: use the twitter api to find accounts that need you the most. Probably businesses who tweet a lot with little engagement. You could target newly funded startups, maybe look at who's posting on product hunt etc.
Human systems (contracts/legal) step in when technological systems can’t. Until there’s homomorphic encryption, enforcing that you’re using their key can give them piece of mind that they can revoke it. While true that you could be doing anything with that data, a contract in good standing and normal human ethics probably adds a high degree of likelihood that you’re not. However, if the relationship sours, they want the freedom to revoke quickly without needing your good will. If your backups aren’t using their keys, I think you’d be violating the contract.

But yes, from a purely technological perspective security theater. They could also misunderstand what’s happening and it’s also not worth it to try to explain for you at the risk of losing the contract.
German class teacher told us once that this particular letter can be called scharfes S and eszett

Was kinda amusing when the "less involved" classmates were trying to read it as B
I had a Vertibird - thanks for reminding me about it!

There's something about toys like that at a formative period in your development that means that small details seem to stick in your memory. I can even now remember the feel or the rotating spring that took the horizontal rotation of the shaft through 90 degrees to meet to the propeller blades, and which wobbled to a blur when the machine was running.

I seem to remember it didn't hurt much when you got hit by it, and you could trip over it repeatedly without breaking it, so it was very well designed for a typical 8 year old.

I didn't have the erector set, but plenty of lego. The technics stuff had come out and I built all sorts of stuff with it. I remember getting this http://technicopedia.com/853.html which was released in 1977 for christmas.
Linux Router Project
This doesn't seem to happen in regions which have such temperatures normally. Might it be that their charger is broken?
For me, the "equivalent css" is the most readable form in most of the examples given.

I can understand how this would be useful in some situations. However, from a practical perspective, I've found that writing nested CSS ends up creating a tight coupling between DOM structure and style rules which makes everything more brittle and harder to refactor [1].

I've personally been spoiled by the scoped styles in Vue [2] which makes this style of isolation in CSS mostly unnecessary. It serves a similar purpose as related encapsulation ideas like shadow DOM, BEM, CSS modules, and styled components.

[1] https://csswizardry.com/2012/05/keep-your-css-selectors-shor...

[2] https://vue-loader.vuejs.org/guide/scoped-css.html
Use the Minimal theme, and apply the settings tweaks per https://minimal.guide

Feels pretty macOS-like to me.
Or the name of oil company C-suits.
Do this with the Apple App Store! “App Store Optimization” is a huge business, and something simple like this (with suggestions on what you should try - perhaps a premium feature?)

I’d sign up instantly
Ask HN: Does hashing only part of a file make sense as unique checksum?
Hey HN,

currently, I'm having a performance issue with my little side project `tonehub`[1]. It's a small Web API including a background indexer task for audio files in pretty early state.

Introduction: Sometimes I move an audio file to another directory, because the metadata changed. This results in losing all of the files non-metadata history (playback count, current position, playlists, etc.).

To overcome this, I implemented hashing via xxhash only for the audio-part of the file skipping the metadata part. If a file is indexed, but its location is not found in the database, it hashes the file, looks it up and if a unique match is present, it updates only the location keeping the history and releations.

Now to my problem: It's too slow. I have many audio book files in m4b format, most of the time bigger than 200MB and hashing a file like this takes pretty long, long enough that indexing a whole library feels to slow in my opinion.

So I thought about following alternatives to improve that:

- Hashing only a fixed length part of of the file (e.g. 5MB around the midpoint position, because of intros and outros are often the same)

- Hashing a percentage size part (e.g. 5% of the audio data size)

- Combine one of these "partial" hashes with a size check (e.g. hash=0815471 + size=8340485bytes, because hash and size collision may be less likely)?

It feels like that won't work. So I ask HN:

Would one of these alternatives be enough to avoid collisions?

If so, what would be a "sufficient" part of the file and which alternative is the best?

Thank you

[1] https://github.com/sandreas/tonehub
> There's also nothing stopping you running your own server instance (I know of a handful of private Signal server deployments).

Since Signal doesn't federate, your own server instance is about as useful as a glass hammer.
Ask HN: How to effectively jam audio speakers?
My family lives in a medium sized Italian city, just in front of a cafe that has recently been bought by two guys that are notoriously part of mafia.

They turned the cafe in a wild night club, playing music _very_ loudly all night long.

Police and all sorts of organizations has been contacted without any success. One of the owners even hit a policeman without any consequences as everyone is scared of them.

The club is in a densely populated urban area, with families with kids that now are having very hard time to sleep.

In asking HN: is there any device/technique that I can use to jam their audio speakers to, hopefully, make them stop with this?

Honestly I don't know what else to do.

The apartment of my family is about 30-60 meters from the speakers.
I feel that neatly meets the kind of thing these params are for - if you ask a server for content and say "Accept: */*" the server should be free to return that content in whatever format it likes.
The problem is not Facebook or Meta. The problem is the disgusting business model of targeted advertising coupled with algorithmic curation of content to increase ad impressions. Facebook happens (happened?) to play that game perfectly but it's not limited to them by any means and another player will just take its place if Meta dies.

I'll keep my bottle of champagne for the day targeted advertising is regulated away, either on privacy grounds or on "Section 230" grounds (if you're curating content to increase engagement it's fair that you should be considered an editor and thus lose Section 230 protection and start being liable for any inflammatory content you promote to increase engagement).
What's PowerShell?
The best way to explain PowerShell is directly from Microsoft:

PowerShell is a cross-platform task automation solution made up of a command-line shell, a scripting language, and a configuration management framework. PowerShell runs on Windows, Linux, and macOS.
To put it another way, PowerShell is a command-line + a scripting language combined. It's a powerful tool that can be used to automate actions on your computer as well as actions in Microsoft 365. But it doesn't manage Microsoft 365 out of the box. You first have to extend it which can be done using modules.
Girders and Panels

https://en.wikipedia.org/wiki/Girder_and_Panel_building_sets
What they really sell is user's attention , and dashboards for advertisers. The user connections and photos are useful for maintaining that attention but are rather a burden without it.
Not sure how good this idea is in the long term. I can imagine the objections of the Unicode Consortium against another organization assigning semantic meaning to unassigned codepoints.
Sometimes you can get into a series of these where each subsequent increase in length results in a previous jump that worked before now being out of range. That can get quite tedious.
feet's "Classist bullshit" is a take on the Wikipedia entry, under "Class bias" at https://en.wikipedia.org/wiki/Broken_windows_theory#Class_bi... , which includes:

> Critics, such as Robert J. Sampson and Stephen Raudenbush of Harvard University, see the application of the broken windows theory in policing as a war against the poor, as opposed to a war against more serious crimes.
Discovering the Versatility of OpenEBS
> were hushed up and the research never shared.

More than that, they used the time to prepare propaganda.
The thing about copying the entire stitches[1] site, is that you still have their copy in your site. "Full featured Styling library".

Please have some original idea.

[1] - https://stitches.dev
Both sets of people can be to blame.

Both sides of this argument can be passing the buck whilst benefiting from participating.
"I think the truth is actually sadder: I think most programming languages and their standard libraries just have a terrible story around I/O and asynchronicity."

Whenever I post this sort of claim, I try to make it clear that it's not really "Go triumphalism", because I agree with you. It ought to be just as easy in a lot of other languages too. It's not a matter of features, or missing features, or features at all.

C and C++ both have a number of abstractions I've seen on this idea, but they aren't compatible and not universal, so using them is a pain because you pretty much have to adapt everything yourself into whatever you are using. (C is particularly problematic; two libraries or even just two adaptors to some particular IO facility can be API compatible but still not work together properly if they have different ideas about memory ownership. C++ can still get into that problem though my perception is there's a better understanding of the problems, if nothing else. Rust has a huge advantage on that front.) Go had enough leadership that everybody has the same abstraction out of the box, and you end up very encouraged by the community to conform to it unless you have good reasons. Good reasons exist; I've got some things that wrap io.Readers but just can't be io.Readers on their own because the abstraction doesn't fit. But they are the exceptions, and I don't see them often.
Do Cancer Centers Push Too Many Tests?
I think option 1 is the worst, because it's not actually optional; it's required precisely when css selectors become complex. That the kind of gotcha that just makes everything harder to explain and read.

I hope the proposal fails entirely, and that no nesting syntax is adopted. It's not worth it, and nesting in SCSS is abused more often than not anyhow.

There are a few exceptions like pseudo-elements and media queries that are always harmless, but most nesting is just asking for specificity gotchas later, or component refactoring surprises.
I don't really see this behavior you're describing, but related seems to be the tendency to share full name on WhatsApp and Telegram but only have a single letter on Signal because now they suddenly feel the need for privacy/secrecy/mystery.

Then start a PM chat and expect I have any idea whom I'm talking to. Sure enough, once they send me an actual name I know them, but...
> E.g. people take hurricanes named after women less seriously and are less prepared.

This turned out to be nonsense.
https://archive.ph/r14qm
The incentives laid out for them by the people THEY elected?
This is sound advice.
Reddit is a place on the decline.
I've been forced into discord lately.
Lots of amazing niche discords these days!
> - it's more work - there's a nonzero chance nobody even saw your application, let alone carefully review it and think about whether you would be a good/bad candidate and why

Also if they give reasons, I suppose it's also an invitation to the candidate to rules lawyer why those reasons aren't actually accurate and they should still get the job, which would be even more work for someone to deal with.
Check out the Laws of Form by G Spencer Brown.
Do people really need minutely updates on your bike ride? What value does it add to anyone's life to know what exact block you're on for the next 15 seconds?

Just tell them your final destination verbally, and you're done.
No; it wasn't Google or Yahoo answers, it was an independent site. The name still escapes me.
Can anyone entertain an examination of the fact that, in the current political environment, jokes about marginalized groups is what's considered problematic in a game whose premise is organized crime and murder ?

I can't.. let me be clear, I love violence in videogames, I love dark, unpleasant, gritty stuff, I love GTA5, so I'm not arguing against the idea of a GTA game..

But if we're going to take the content of the games seriously, it strikes me as impossible, without the conclusion being that.. If we can't include offensive _JOKES_ in a game, but can still allow murdering and criminal behavior.. That means that jokes are worse than murder and crime.. and so, wtf..

In contrast there are games that self-censor rational ways.. For instance FPS games that do not allow you to shoot children, well, that is consistent with drawing a line on a linear scale of what's worse.. They're saying "it's pretty deranged to shoot adults people, but it's WORSE to shoot children, and we're not having that in the game."
In constrast, a game self-censoring on jokes is saying "it's pretty bad to shoot adults, but it's worse to joke about someones sexuality" which.. well, they're both bad things.. but in my opinion, murdering someone is worse than running the risk of hurting their feeling with a bad joke..
Test Your Linux Knowledge
It has been decades since the research has been publicly advertised.

Yes, there's plenty of blame to go around, but Ford has much better advertising and many more lobbying dollars than researchers.

Hell, fewer and fewer compact cars are being made for the US market. By the time I need to buy a new car, all that's going to be available will be vehicles that are probably way heavier than what I want, let alone need. I don't want a vehicle like an F150 or a Bronco, I want a Fiesta (which has been discontinued).

So while I can reuse bags, avoid plastic straws, raise my thermostat in the summer, etc. I can't buy a responsible car that isn't for sale. I can't move into a densely zoned neighborhood that doesn't exist. I can't take public transportation that doesn't exist. I don't get to pick how the food for sale in my super market was grown/transported to the store.
Azure has really good neural voices with good ssml support. With a sentiment analyses you could probably automate it rather easy.