skysight-inc/HackerNews huggingface dataset:
> ... no static analysis on earth is going to stop you from actually needing tests to see if your code works.

Correct. However, the intent of Rust is that the code will not fail [1] due to some silly machine thing below your current level of abstraction.

As an example, I'd point to one thing that Rust does that solves a lot of problems: the Vector. This gives you:

- a buffer to load as needed
- bounded memory usage ( no more than 2x what's actually needed, and the ability to tailor it)
- automatic resizing as needed

IOW, eliminates 'C programmers disease' (eg: #define BUFFERSIZE 1024 // big enough for anything :-) )

I am sick and tired of writing either the tedious resizing stuff by hand, or using a linked list [2] (which in today's world isn't performant: a self-resizing array will deal with locality-of-reference issues much better).

Disclaimer: I've only peripherally used Rust professionally (ie., corporate innovation sessions, self-contained utilities). I have done enough 'fitness exercise' stuff that I'm confident to comment.

[1] "Fail" as in, do something random like start a cryptominer at root-level-privilege. "Fail to compile" is fine, "panic at runtime" is not fine but not worst case.

[2] Opinion: the reason why linked-lists are an example of something hard to do in Rust is because Vectors make them irrelevant, so why bother?
Yea, nice guy and solid engineer. He was actually my TA for a systems engineering class back in school. He was actually very helpful in solving other people's problems, but a bit blunt in encouraging people to reach their full potential.
But she wasn’t VP, Director, Head of anything. Title was “product manager” which isn’t anywhere close to executive.
This is brilliant. The world has been needing something like Zapier, but not opaque and locked down. Everything Zapier does is a good idea, but also so easy and the whole model is way more powerful if it's open and extensible.
Over 200 Spanish mobile numbers targeted by Pegasus
I wonder how exactly one could use solar to make cement. The Portland cement process requires heating up ingredients to 1500 C. The concentrated solar systems as they actually exist do not get anywhere close to that. You could get this high temperature from concentrated solar, but I don’t know how you could effectively transfer the heat to the ingredients: I don’t think that there exists a practical pumping technology that can work with this hot working fluid, as this is literally hot enough to melt steel.
Do you have any of these? The photos show no markings on the cable at all, which is a bummer. If I get some I'll have to put zip tie tags on them to label them, otherwise I'll never remember which ones are the good ones or not.
In general I'm also not a big fan of these interview assignments but I gotta say it probably heavily depends on how they're used. About a year ago I got my first Go job that way with little prior experience and it ended up being great.

Granted, my assignment was smaller and I knew they would get back to me. If I had been asked to develop a spreadsheet editor from first principles that would have been a major red flag.
You've recommended "devices like Ledger" many times in this thread.

Are there things that support this that aren't cryptocurrency wallets?
The TAM is definitely substantial, and IMO Cloudflare can become a top 4 cloud provider. They’re building a cloud network just like the big three, except they’re starting from the network layer and moving into storage and compute. The other clouds started from storage and compute, with networking either an afterthought or a price gouging mechanism that allows oversubscribing compute.

Cloudflare can move into the storage and compute market without changing their business model. Whereas AWS/GCP/Azure cannot suddenly reduce bandwidth prices or offer unmetered networking packages, because their business model depends on using bandwidth pricing to extract high margins.

From a practical perspective, as a developer building an app, Cloudflare has a lot to offer that the other clouds do not. Their new services are developer-friendly, built around modern ideals, and run on a global network. For certain workloads there is a clear argument in favor of choosing Cloudflare over one of the “big three.”

Yes, I see the stock is down. It reminds me of 2015 when AWS was still part of Amazon, and any developer could clearly see that the entire industry was using AWS. And yet Morgan Stanley published 30 page PDF analyses of Amazon’s business without a single mention of AWS. That’s when I learned that Wall Street investors don’t know wtf they’re talking about, which makes sense if you’ve ever met one. Cloudflare looks like a good buy to me.
> A so-called "senior" developer started screaming

I am amused by the “senior” in quote. I think people don’t all agree on what it’s supposed to mean anymore, and as a title ornament it’s probably way past time to retire it.

I hope it is hyperbole, but I’m also slightly baffled the focus of the example is the problematic mental model and not the screaming behavior.

Are people screaming in your offices ?
Is it just me or does anyone else find it quite inappropriate to showcase this product with software mostly associated with downloading pirated content?

I’d like to think there are better projects we could advertise.
These guys reach out to basically every SaaS company in Canada. They have a reputation of driving a lot of shareholder value (massive stock price increase over time) but also of getting there by avoiding paying top of market rates.

Not sure of the validity of that, but such is the scuttlebutt on the Canadian tech street.
Hey, I’m on the Community Relations team at GitLab. Thanks for your contributions and the kind words. I would love to connect and learn more about your experience contributing to GitLab. You can reach me at jcoghlan at gitlab com.
As self-appointed representative and de facto ruler of the Millenial generation's software artisan guild, I endorse the gentleperson's statement
Result would probably still be 0 use it fully.

I love the idea, but until UML is unbiquitous to generate like prettier is to code completion, it's relegated to a pedagogical device, and not a operable road map to learning a system that naturally grows and changes
Try: Simplified Error Handling in Go
I've used this exact use case (can you do X without internet) as an example to explain why I like Go so much. I can write Go without internet no problem. I barely ever have to look up how things work and the libraries are simple enough to dove in myself if I don't understand something.

Developing Android, however, is entirely impossible without stack overflow, because the libraries and paradigms and hacks and workarounds make it impossible to produce something working.
Send Later with Scheduled Send
Can you elaborate your point? "This is just a man appealing to pleas so as to ignore the roaring fire in front of him."
Haha, I think you might need to have another look at Python.
What happens if there is a data structure and I make some changes to it that break different parts of the program? Does it warn about them, or do I need to place some tests? Also, is it possible to revert the program state back and forth to try some idea?
100% on the logging and dry run.
Abletone Learning Synth
This is not correct at all, sorry to inform you. For example, people like Götz Kubitschek[0] for example have close ties to the dominant groups in e.g. the AfD, his rethoric is full of antisemitism and fascist dog whistling.
The "entnazification" never really happened. In the 60s, there were more people in the ministry of justice who had an active NSDAP membership during 1933-1945 than there were in the 30s and 40s.
It took several decades to repeal fascist laws, influential politicians (federal minister e.g.[1]) stated his admiration of the Waffen-SS and held speeches full of anticommunism and antisemitism - these are the core tenants of german fascism and they get regurgitated ever since the few innocent German citizens were liberated at the end of WW2.
One of the the main representatives of the german green party unironically defends the Person giving orders to fascist paramilitaries for the extrajudicial killing of communist and social democratic leaders in the 20s.
The influence and long lasting after-effects of fascist thought and leadership in Germany must not be underestimated.
[0] https://en.m.wikipedia.org/wiki/G%C3%B6tz_Kubitschek
[1] https://en.m.wikipedia.org/wiki/Franz_Josef_Strauss
Hey Craig.

We appear to be working on solving the same problem! :)

I had a chance to use delomore and you're off to a great start... Just finding the shops to index is certainly a challenge. When we search for an item like "Oxford Shoes" the search returns are for all the shops that may sell shoes, presumably oxfords.

Are you also building out the ability to return individual items that match the search query? In order to be a functional shopping search engine, users will want to be able to view and click on relevant results, and not just the shops that might sell the items.

We have built a search engine that indexes 100 million items from 140,000 shops... We are currently returning product cards from relevant results for the search query, and we're working to help shoppers find the exact item they are shopping for, and compare against other items from other sellers...

we are https://vendazzo.com/

daniel
None of window manager behavior is implemented in xlib.
> An outstanding manager

> Consistent profitability

> Above average growth

When I saw these, totally sans punctuation, I read them as some kind of e.e. cummings poem assembled from randomly sampled capitalist mumbo jumbo
The point you're missing is that Microsoft is actively improving chromium
Can’t speak for everyone but if salaries don’t start tracking with inflation I see no reason to work hard
Nothing unusual to me, any rumors to share and enjoy together?
Yep! We have it working here: https://github.com/caddyserver/caddy/pull/4739

It's a generic setup where you can do _anything_ you want via firing off an HTTP request as a clone of the original, and re-handling the request after getting back the response.

Big shoutout to the Authelia team for helping out with testing and confirming that it works. Will be merged very soon (today?) and some follow-up work is coming to make the config for it even shorter (some sugar for the common forward_auth usecase).
It seems like cheating to omit the double quotes around the literal instances of “and” while still including them around “Dog and Partridge.”
> How else do you explain making yourself totally vulnerable to another human for no reason other than the possibility that they will be nice to you for life …

Our social impulses are the result of several billion years of evolution. The primary reasons are reproduction and survival.

I didn’t invent these ideas by the way. For reference, I would take a look at the fields of Biology, Psychology, Anthropology, etc.
If you want that you should use integers. This seems to be a misalignment of expectations rather than a fault in the language.

Other people have posted other examples but it’s not possible to represent real numbers losslessly in finite space. Mathematicians use symbolic computation but that probably is not what you would want for numerics. I could see a language interpreting decimal input as a decimal value and forcing you to convert it to floating point explicitly just to be true to the textual representation of the number, but it would just be annoying to anyone who wants to use the language for real computation and people who don’t understand floating point would probably still complain.

Edit: I’ll admit I have a pet peeve that people aren’t taught in school that decimal notation is a syntactic convenience and not an inherent property of numbers.
By default, command-click enables "focus follows mouse"-like behavior, allowing you to manipulate the widgets of background windows without bringing them to the foreground.
It seems extremely unlikely they're going to bump comp enough to make up for that.
Quasar.dev is an offline app, so test, yess I can
Cute. These states don't provide health care to the mother pre-delivery, the mother/child post-delivery or any post-natal care. It's great to care for things that are not physical, but pretty sad not caring about anything once it actually exists.
As I explained in a followup comment, apple users are not paying more, despite the myth.
This is why I prefer just writing html/markdown and letting pandoc generate docx. Fiddling with the Word GUI when I know what I want and how to type it is just frustrating.
Lead poisoning combined with elder brain makes more sense

Leaded gasoline wasn't banned till the 70s and only really eliminated by the 90s.
I don't feel like static analysis and unit testing are very different things. Given that my unit tests run roughly at compile time (ideally they would run during compile), it really isn't different than static analysis. Especially unit tests where all the inputs are mocked and expected outputs are provided.

When I wrote Ruby/Javascript, I remember needing to write unit tests that verified types of input/output variables. These kinda tests were undifferentiated boilerplate that needed to exist but didn't need to be written by me. Especially since there were many tests I'd forget to add or would intentionally not add because the test file was getting obnoxiously large.

Factoring out those boilerplate tests into the compiler (when using Java, Rust, or TypeScript) was very valuable to me, but didn't change the fact that they are basically automatically generated unit tests. The borrow checker in Rust is a similar factoring out of automatically generated unit tests, which I wouldn't have typically written.

Continuing to push more undifferentiated unit testing into the compiler/libs/proofs helps make sure I only need to write domain specific unit tests.

Why do you feel static analysis and compile time unit testing are different? or do you mean, domain agnostic testing is ok, but really we need domain specific testing?
Unless the Supremes close their current tour, the map will also be "those with difficult access to contraceptives", "where Gay can't be mentioned", "where marriage becomes (re)restricted", ... It might/will also show where tech vs. agriculture occurs and where anybody interested in living later than 1830-1855 will think of living.
Oh thats a super good point, I wouldn't have thought about that.
> the [confidence] that makes you certain a majority of the world are fools for practicing religion-- that's the real thought-terminating cliche

My pet theory is that an alien species planted religion in humans as a KPI to determine when we’re rational enough to be worth interacting with.
Probably want to avoid the word oil and shell these days
Fantastic! Thank you for the tip on the university kit : )
Pirated content what do you mean?
We have different states so people can agree to disagree. That's the whole point behind the "United States." The alternative to this is a further breakdown of American politics.

EDIT: I'm out of quota, here's my reply: We're disagreeing on the interpretation of human rights. You can't just assert that your interpretation is axiomatically right and the opposition can't possibly disagree with you, that's not how any of this works. We're arguing that you want to make murder legal, you can't just assert that it's not murder axiomatically. That's not a reasonable argument. Furthermore sodomy and immigration aren't enumerated in the Bill of Rights, I'm not sure where you got the idea that they were. This isn't a subversion of the Supreme court, this is it doing its job.
Kit klarenberg is a Russian government “journalist”. So that explains the pro trump spin and snide fury at guardian journos or bbc journos.
How are all of these investors going to get a return on their investment over the next 2-5 years and (possibly) recover their funding?
Before you totally give up, perhaps try one more? We built a search engine / shopping aggregator to help shoppers find items to purchase directly from independent shops and brands. We currently help shoppers find items from 140,000 Shopify shops, making 100 million items searchable for the shopper.

By Shopify building out their fulfillment network, this will help close the gap between the product offering from Shopify shops and Amazon. In the end, the shopper will get a better shopping experience by shopping directly from the independent shop, because they can control the customer service experience, and not a third party that sits between the shopper and the seller.

We're extremely bullish on independent online shops, and we want to help them get as much traffic as possible. There are a number of reasons for this, but it all comes down to, we want to help shoppers support their local communities first, and if that isn't possible, then help them choose where their money goes.

We'd love your feedback. Check us out at https://vendazzo.com/

daniel
Apparently it's from an "interview by Charlie Kohler in The East Village Eye, 1968, a few days after 2001: A Space Odyssey opened". I saw it here https://www2.bfi.org.uk/news-opinion/sight-sound-magazine/po...
Thank you so much I wouldn't have thought about looking into a county / city provided kit!
For my first C class in uni I wrote a curses-style CLI spreadsheet tool with a csv parser, reverse cell reference table, automatic modification-based recursive recalculation, a basic formula parser, an infix notation to reverse polish notation "compiler", and a stack-based RPN evaluator (I may have gone a bit overboard on that assignment). The one multi-user unix server for all students that I wrote it on (named 'foley', some CS reference I think) had an ancient gcc compiler that compiled it just fine, but when run it would segfault. Hardly surprising, I created hundreds of segfaults, but this one would only segfault if I used -O0 and didn't add any logging statements. That's right, it ran fine with any level of optimization above 0 or if I used any logging statements, and only segfaulted on -O0. Utterly infuriating and flagrantly defied my expectations. I got help from some patient soul I found on freenode ##c (I wish I could remember their name) who didn't see any obvious issue or warning and couldn't reproduce any segfault with their much more recent compiler. -Wall+++, asan, nothing cracked it. Everything else was exhausted: it must be the compiler. But I couldn't just update the compiler package because it was a multi-user server and I had zero permissions, so I ended up bootstrapping a 10-years newer gcc through multiple intermediate versions and installing it in my profile (quotas be damned) and used that. It didn't segfault on -O0 anymore. I haven't voluntarily used C since.
Yes I get that but I think OIDC could be extended to cover that too whereas the Authenticator or iDP is the local face scanner kr other biometric and then the rest ie exchange of token etc stays the same. That way there won’t be two completely separate path and that will defeat the purpose of SSO. And it looks like there are already some implementation of this https://www.bioid.com/facial-recognition-app/
This act is important, we need to keep our ports working with Americans. Dubai's already tried to replace longshoremen with cheap foreign labor.
Definitely. Nobody likes forklift upgrades in PROD. Unless it's a complete wreck and one's much better off moving to a different country or the like.

Even smaller, more incremental experiments can be difficult to imagine. eg. beyond a multitool, smartphone, and computer, what additional things have high value? The multitool has high unexpected utility in that I would have predicted near zero and I now use it all the time. So it's likely that I am blind to other possible improvements.
Yeah our house is like 1916 I think and close to a super busy road. I wouldn't have thought about the other side being safer though. Im definitely going to test both.
Some small subset of the US doesn't have indoor plumbing and electricity. People don't live in squalor. This article says that not having working plumbing is more common in cities:

https://www.theguardian.com/us-news/2021/sep/27/water-almost...

And then there's the problem where the ivermectin studies apparently went out of their way to have a statistically significant portion of those people?
Yeah we've definitely got the paint thing to test too :/
Kit klarenberg the author of this sneaky article that draws readers in with somewhat reasonable start then descends into nonsense about Russian government operations like trump and skripal, works or worked for the Russian government’s self declared “information weapon” (rt)
So do I, but in entire fairness here that manual for iOS would probably run to three or four thousand pages.

What I really miss is having the time free to peruse a manual like that.
Not many people know this, but similar to image alt text, the 

 tag was originally introduced for accessibility reasons, so that people with autism and similar conditions can experience the web in the same way as more neuro-typical folks do. The tags should be invisible in the average browser, unless you've got sarcasm highlighting turned on. Unfortunately, the feature hasn't really caught on, and it remains unsupported by most software.
I get that but I think OIDC could be extended to cover that too whereas the Authenticator or iDP is the local face scanner kr other biometric and then the rest ie exchange of token etc stays the same. That way there won’t be two completely separate path and that will defeat the purpose of SSO ie OIDC websites will authenticate with google or Facebook but FIDO enabled websites will work with face recognition. And it looks like there are already some implementation of this OIDC enabled face recognition https://www.bioid.com/facial-recognition-app/
Really glad people pointed out the front / back yard thing. Our place is like 1916 so yeah...
Sometimes. I personally (personal opinion) feel he would have a hard time getting a fair trial.
Well I’m not certain that’s the case, it’s my guess because the language has a strong academic background and is also used for teaching purposes, and many functions are written like they would be in a textbook chapter on recursion, with the topmost stack frame holding a pointer to the front of the list, meaning you can blow the stack on large inputs. Why else would it be done that way? Certainly possible I’m missing something.
I think that maybe the author felt like finding the end of a loop stood out much better that way, instead of trying to distinguish the ends of conditional blocks from the ends of loops. If you're used to poorly formatted code in an ML PhD program, it does make some sense. I've worked with a bit of academic Fortran code for my mechanical engineering degree and can sympathize. Also, D and O are shorter reaches on the keyboard than { and }.

Yes, "OD" was definitely just "}". DO might have been ") {" to allow

while (a < b DO
...
OD
Is there a stronger plausible interpretation than:

It is a joke, poking fun at our overly aggressive cyber crimes laws.

?