skysight-inc/HackerNews huggingface dataset:
Tried to connect DeepState ans Ada through C indeed, but since I can't make angr work with Ada yet, it's not really useful right now. For fuzzing I think DeepState was limited to libfuzzer ? Which needs clang or someone to port this to gcc-gnat (humpf) and I'm not sure DeepState supported AFL yet (EDIT: just looked at the repo now, and I see support for AFL and eclipser, Nice !) ... Will retry all this soon though. Thanks for the reminder !

What I was thinking was some improvements to gnattest (https://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ug...) but also a way to add some quickcheck-like generator features (Ada already has the property description language through contracts) with Libadalang... One can dream !

But the whole "Let the developer write one test harness and use it almost as-is with different testing/validation techs" (I'm not explaining it well) was some kind of revelation.

When you say 'adding a fuzzing test harness is only 2-3 days work' you still get complaints: that's too much (but I then found dozens of bugs), it's /another/ test harness to maintain, we'll have to rebuild an input corpus for every interface break (true...). Anything that could alleviate the pain would be great...
Except languages are ambiguous. When you say you want to undo a commit, do you mean undo like pretend nothing had happened or undo but please keep track of the change.

That's why the first thing I do when I'm learning something new is to read the documentation to find out what capabilities are available.
My biggest hope is that this means that some effort can be directed back to fixing bugs. I love what terraform can do, but I hate what I sometimes need to write to make it work.

Also, I'll go out on a limb and say that I dislike the flexibility of iteration allowed in HCL 2. I know that people overwhelmingly asked for it, but my opinion is that it demonstrates a fundamental misunderstanding of how the v. 11 and earlier system was designed, and just how powerful completely declarative code can be.
I love this. I hope more and more cruft gets removed from our languages and tools.
Plowshare?
Here's an example... when you validate the client and run a native app.

What we did was that we built out a generic datastore system which supports any storage provider backend.

https://getpolarized.io/2019/03/22/portable-datastores-and-p...

But the app is downloaded. It's not just a web app that could be changed on you.

If it's something that's open source and you download it you have less of an issue with people swapping out the JS on you.

The idea in this situation is when you store your docs it's encrypted before we even see the data.

This way you don't have to trust us. No trust required. We could even be a hostile actor and as long as your code is legit you're good to go.

I like this honestly as I don't have to rely on our customers trusting us. We literally CAN NOT see your data.

The main issue is getting keys between machines though. Firefox has an interesting strategy for that but I haven't had time to dive into it yet.
Isn't $150 expensive? Or may be I am just too poor, to throw money at anyone who asks for it.
Nuclear power offers large scale production with a reduced physical footprint. For instance, New York city would be more suited to the physical logistics of a nuclear power plant. The availability of light(winter months) and land area doesn't play well for solar/wind generation. I'm not saying it couldn't be done but, I doubt New York will be able to go 100% renewable for decades, if not a century.
Screenshots of 90s operating systems are so relaxing. I miss interfaces that looked like interfaces, and distinct from content.
I was amazed when I learned (from the net) that in 1900 San Francisco banned new cemeteries. But they didn't stop there: eviction notices were soon sent out. And from 1902 to 1947, bodies were moved out. Headstones were rounded up and dumped along the shores.

Many of the bodies wound up in Colma ... which now has 17 cemeteries, 73% of the city's land.

http://www.sfmuseum.net/hist1/index0.html#cemeteries

https://en.wikipedia.org/wiki/Colma,_California#San_Francisc...
Do you use AWS? It's extremely difficult to move away if you use services like RDS, ElasticSearch, ElastiCache, Lambda, KMS, parameter store, etc. It will cost a couple years of ops time to reliably migrate to a competitor like GCP + change work patterns. Not to mention that Google products like Functions are still alpha and unreliable.
It handles files being passed on the command line too. Your particular usage might only take a minute, but to make it play nice with other expected CLI usages, takes more thought (and you will probably forget something).
I love 2 and 3. Never thought about starting it as a custom app. Thanks for this.
You mean this?

https://www.imore.com/how-set-apple-watch-left-handed-use

Sounds like Apple did the right thing in that case, but I'm not sure how one could move the crank over to the opposite side. Maybe by turning it upside down and having the controller buttons at the top?
This looks really cool and would be great for a fishing game.

I wonder about the lack of backlighting though? Hopefully the screen is much better in this regard than the original non-backlit GBA, which was difficult to see in low light conditions.

It was tricky getting light to hit the screen in just the right way: https://www.penny-arcade.com/comic/2001/06/13/lame-boy-advan...
Show HN: Colordrop – advanced color analysis app
Thanks. I looked into this but many of these threads are very old with very few comments.
Can you comment on the Op-1 and what makes it great?
It would be so awesome if this worked with Pico 8 or a similar fantasy console. I will be much more interested if the barrier to entry for making my own games is as close to zero as possible.

I want to make my own games for fun, but also to expose my son to the creativity and exploration of programming.

A physical console would make this experience so much more real.

https://www.lexaloffle.com/pico-8.php
Well then why aren’t there cameras in the tunnels?
My one objection to this is the `imp` module. As far as I can tell it is the only way (short of `sys.path` modification) to specifically load a module found at a specific path. For testing systems I use this quite extensively... Looks like I need to make some comments...
Trail Runners Are Lazy Parasites
I think they're more referring to evolution of skinner-box and lootbox type of games, but yeah, this device was probably funded with a subscription model in mind.
Long waits don't have to be an intrinsic feature of government-funded healthcare
It is, and everyone knows it is. This is a cheap shot at systemd for easy clickbait, and no one should pay any attention to it.
I'm continually impressed by the efforts of Parisian politicians to improve their cityscape. (Aside from this, see their removal of motor traffic along the Seine [1] and tightening restrictions on polluting cars [2].) It speaks very well to their fiscal management too that they're able to fund the project through ticket sales, and don't need to levy any new taxes or bonds.

Being a North American resident, it really makes me wonder what it would take to build political will for these types of projects on this side of the ocean. In San Francisco, closing even one part of one street to auto traffic is something that seems to be impossible — even for projects that _should_ be relatively uncontentious like closing some of the highways through Golden Gate Park, making the most pedestrian heavy parts of famous streets like Haight, Castro, or Lombard pedestrian-only, or taking private cars off Market Street. And quite sadly, SF is considered to be a walking-friendly city relative to others on the continent.

It's nice that someone is acting as a guiding light for the rest of the world, especially when it's a city of Paris' fame/importance.

---

[1] https://www.citylab.com/solutions/2016/09/paris-seine-car-pe...

[2] https://www.citylab.com/transportation/2016/05/paris-is-bann...
The article covers this. Unfortunately the title is trolling click-bait.
Indeed, I'm a big fan of Harry's. Curious how it changes as a member of the Schick family.
I love the idea of a modern OS with the 90s function-over-form aesthetic. There’s immense beauty for me in function, and the 90s was without a doubt the peak of OS design.
That doesn't bode well for the idea of habitable planets in other solar systems. If this kind of collision is relatively rare, most rocky exo-planets will have much less water than Earth has.

Reminds me of Asimov's storyline in the Foundation series about the rarity of the planet that humans come from (and the reason no complex lifeforms existed anywhere else), although his premise was a large amount of radioactivity on earth, IIRC.
Thanks pag for the correction on remill. And I didn't know about mcsema/dyninst, great !

Do you have something written somewhere on how you would do different from KLEE ?
If Veblen Goods are the expensive objects of conspicuous consumption, what will we call the expensive objects of inconspicuous consumption?
>I initially grabbed the smaller iPad without the keyboard case, but in doing so, I realized Apple actually made a mistake: the iPad Pro needs it to really make the most of the device.

I actually prefer a $20 bluetooth keyboard. It’s easy to use away from the ipad if I’m doing video or audio editing, and I can also raise the ipad in a stand and use the keyboard detached. I find the keys better too, and it has media shortcuts.

$20 anker keyboard: https://www.amazon.com/Anker-Wireless-Bluetooth-Keyboard-Rec...

Viozon ipad stand: https://www.amazon.com/Viozon-Rotatable-Aluminum-Desktop-Sur...

The stand is nice too. Super easy to rotate, or remove it.

My experience with the ipad pro is much as the OP describes. I find it really helps focussed work, and in general is much more a joy to use than a computer. I think the 120hz screen helps.

It cannot do everything thought. So there’s a certain category of stuff that’s hard on ipad, and I do from an imac. This category is shrinking however.

I may switch to a USB keyboard with a dongle, as I do find a full fledged computer keyboard more comfortable. The one downside there is you can’t remap keys, so you need one made for mac.
Not everyone. I happen to think that laws and regulations can be wonderful things.
The value prop is not having to have an in-person doctor visit or pay a huge copay to get access to the drug. The per-pill cost is only the tip of the iceberg in terms of cost, especially if you don’t actually want that much of the drug.
The idealistic argument would be that moving to IT and algorithms reduces the gross amount of human bias that currently enters into the system.

The reality may be far different as the algorithms themselved make the biases even less seen and less able to be contested.We're not in full minority report territory, but I think the worry is that added the ability to do near permanent surveillance to an already militarized police force that thinks they are fighting a war is not...going to turn out well for some of us.
The demo was definitely not an e-ink screen, but then again, it was a simulation so who knows for sure.

I tried to find battery specs on the page but couldn't.
you're argument is wholly misplaced.

if it were a decision like "should we put this bin over on that shef?", then yes, it's reasonable to delegate to a rank-and-file employee.

"should we develop technology that can lead to a surveillance state?" is not one of those decisions.

that's a strategic decision entirely negotiated between the shareholders (via the board) and the management team, for which they should all be held accountable.
That's the same price as a Nintendo 2DS, which is about as cheap as mobile gaming comes. So I mean, you might have opinions about how good a value it is, but it is not a very high price point for its market.
I'm not sure that's a valid set of optimizations. It's certainly incompatible with a compile-then-link workflow involving multiple object files, as there's no way to safely allocate local variables across modules. Nor is this approach compatible with function pointers!
There are some potential downsides with the model that they are using with respect to the client-doctor relationship. See here for some more details: https://www.nytimes.com/2019/04/02/technology/for-him-for-he...
Bodybuilding is definitely an interesting subculture. They are crazy strong, but just a very different focus. And the health issues are a real problem. Check out the Ronnie Coleman doc on Netflix sometime.

I’ve been lifting for almost 20 years now and never had much interest in BB. Power lifting with oly lifts plus a good diet and I was perfectly happy with my appearance.

BJJ is definitely a super power. My only complaint is I tried it for awhile 10 years ago and let life get in the way so I quit. You mentioned confidence earlier and BJJ delivers that in spades. It also forces you to be humble. It helps you remain calm in stressful situations. I find myself at work sometimes now when everyone is stressed out wondering if I should fake excitement because I’m able to think calmly. Trying not to oversell it, but it’s pretty great.
Yes. If maximizing shareholder value was the end-all and be-all, then every corporation would be in the sex, drugs, and gambling businesses.
I'd call the person more of an asshole than a supervillain.
San Francisco evicted all the dead around 1900: https://www.7x7.com/the-dark-history-of-san-franciscos-cemet...

As other comments mention, Colma was the place where many of those cemeteries were moved to.
Compressed texture formats are underused. I think few people outside of game development understand the benefits. The linked post explains it but I'd like to take a stab at it too.

Regular image compression formats like PNG or JPEG save network bandwidth and disk storage but not RAM. They must be completely decompressed and stored uncompressed in RAM as long as they are displayed. Compressed texture formats do save RAM. They remain compressed in RAM while they are being displayed, typically 1/6 the size of regular images or even smaller. That saves not only RAM but memory bandwidth and power too; especially important on mobile. Switching to compressed textures can make applications significantly faster.

Compressed texture formats have two main disadvantages that Basis solves. One is that their compression ratios are fixed and not as good as JPEG. Basis adds extra compression to make them more comparable to JPEG on disk.

The other, larger issue is that compressed texture formats require hardware support on the GPU, and GPUs don't agree on what formats to support. There is no single format with guaranteed support on every platform, which means that cross platform applications must encode each image multiple times and ship different formats to different users. Basis solves this by efficient runtime transcoding to most common GPU formats. This capability is unique and a really big deal.

Anyone with images in their application should take a look at Basis. Now that you can ship a single compressed texture file that's supported everywhere, I hope that this technology can expand beyond games.
You can do that with importlib too:

from importlib.machinery import SourceFileLoader
I would agree with you entirely and I think that the history of both capitalism and communism have demonstrated that we are not at a level yet where we can design a socio-economic system to make it not matter whether we are good to each other and in fact, they are both likely, in different ways, to sometimes distort and amplify some of the worst parts of our animal natures.

I have found it a certainty on HN that at some point, in any discussion of these things, that someone will step in and say "but this is legal, and the corporation must maximize its profits for the shareholders, so if you really want a change, change the laws, the company itself is utterly amoral and working as designed"
redhat announcing their "new dstat": https://www.redhat.com/en/blog/implementing-dstat-performanc...
Touchscreens can’t [yet] replace a dedicated keypad for games.

That’s why you don’t see many platformers for mobile. The ones that do exist auto run for you or put virtual buttons on the screen, which I haven’t found to work well.
Looks like they could use Upcall.com
That was my impression. If I’m paying $150 anyway I might as well buy a DS.

Still, I guess there is a niche for this. It just isn’t me.
In my experience the best ideas come from scratching your own itch. Is there something that you want but can't find a suitable solution for? Build it for yourself. Once it solves your problem, you will probably be happy to find that other people also had that problem.
I'm not the OP, but I suspect that what was means was backporting features to py2.7, which presumably use some new Python 3 which haven't been built in the old language version.
I have a Galaxy Note and you can pry the stylus from my cold dead hands. I love it. The Apple Pencil feels clunky to me - it's so big you can't comfortably do art with it.
same thing with land mines? What about an autonomous drone?

Hell, even a bottle of aspirin filled with poison tablets secretly placed on a store shelf could kill a future serial killer.

I believe your judgement mechanism is meaningless. Even the most evil stuff can be used for good, and everything is a tool.

A better metric would apply one of the standard ethical frameworks, like utilitarianism or deontological ethics. (Is this technology going to provide a net benefit? / If everyone used this technology would we live in a desirable world?)
Espressif Launches Supercharged ESP32 with USB
And what about caches and proxies?
It's also quite possible, that the people who use these features use Python 2 anyway.
I mean, the gambling business may be profitable, but are the profits really left on the table at this point? You don't just have to build a casino, you have to build a /better casino/.

Profitability has little to do with the overall margins of the market you are in, but in whether you can find places to optimize ROI that your competitors have not.
What do you mean allowed to happen? You pay the fare, no one is checking on you. Of course, some people go overboard and set up camp (blankets, shopping cart, etc), but even taking up space and carrying bulky items isn't prohibited AFAIK, I've put my feet up and carried luggage with me. Just aren't a lot of rules down there.

As far as why not more, it's not a great place to sleep...
A few years make sense for UI for consumer products. The evolution of displays has been tremendous in the last decade and a half. Desktop screens have doubled in size and resolution, while mobile and tablets just appeared overnight and when from nothing to where they are today.
I have been using dstat for years. It's a great tool. But why kill the project just because some company has a project with the same name? There is more than one distro, you know
They’ll start growing snakes
The Scientist’s Drug Dealer: How Researchers Get Illicit Drugs
Even if they don't bump up the major version number, people are probably still going to treat it as such. I think it makes sense to bump it up.
WestJet pilot’s eyes struck by laser on flight from Newfoundland to Florida
They're using a transflective LCD, so it should be plenty visible even in lower-ambient light conditions. Nothing like the original Gameboy.
Announcing the Playdate handheld video game system
I have been there, even when I was not in India then and not a 'fresher' as well.

I had just completed my Masters program from a well known university and was in the job hunt phase. I was contacted my multiple 'consultancies' that offered to tailor my resume to the needs of 'prestigious' clients and get me the position.

They were planning to show 7 years of work experience - I was just over 5 years out of my undergrad - which included actual 4+ years of experience, a nice break and then a 1 years Masters program.

I could not fathom how they would fake my resume to show the 7 years experience, but they were very confident about it. I was amused at the practice.

I was at the risk of having to leave the country if I could not secure a job over the coming months, and would have student loans to deal with as well. Despite this, I could not digest the idea of having a fake resume that I will have to carry for my entire professional life.

IMO - Do not do this if your moral compass does not allow it. You will be better off in the long run. (:fingers-crossed)

BTW, I am Indian and was in Bay Area when this happened (2014) and the 'consultancy' was also local.
“Each of the 4 filters in the conv layer produces a 26x26 output, so stacked together they make up a 26x26x8 volume. All of this happens because of 3 × 3 (filter size) × 8 (number of filters) = only 72 weights!”

There seems to be a mismatch here with 4 and 8. Probably 4 is wrong.
> Now, IDK how I feel about this doorbell. But it's also his property; am I to say he can't have an AI-enhanced doorbell on his house? But that doorbell also likely uploads my image, and data about me, to centralized servers somewhere, largely without my consent. (Aside from perhaps my implied consent of entering his property, but even then, I don't think I noticed it the first time I visited. Now I'm aware of it, since he told me, and has demoed the tech to me in various ways.)

Even if it weren't his property, if you were in the public aren't people legally allowed to take photos of you and upload it wherever they want? If it weren't legal there wouldn't be paparazzi I would think.
> but by removing modules from the standard library, backwards compatibility is being broken.

API 101 - there is very little cost to leaving them in, but a hidden major cost to having them disappear, usually for non-developers.

--

By the way, "batteries included" is one of the BEST features of python.

Have you tried to fix something in your house with a "homeowner's toolkit" which is usually something like a hammer, pliers, 2 screwdrivers, a putty knife and a few more basic tools?

It is REALLY tedious, like writing a C program with a few basic tools like stdio and ctypes.

More languages need "batteries included", maybe like Perl.

I think if the cost of deploying a script is 1, deploying it + a dependency is literally something like 100x. You have to make assumptions about all the environments the script will run in, and they are usually wrong.
> I am sure there will be entities to which Amazon would not offer facial recognition services.

I see no reason to suspect that this is true.
I don’t know. It already looks pretty robust.
https://doc.rust-lang.org/stable/cargo/reference/build-scrip...
Or nukes?
I host my site on Apache running on an ARM board in my garage.

I'll consider moving to a VM if/when the ARM board eventually fails, but it's been running for 6 years so far. I have 6TB of storage, which mostly serves as a NAS but includes about 200GB of photos for the website.

There is no deployment process; the web root is mounted by NFS on my desktop. I can share large files with people just with "mv" or "ln -s".

> how many 9s do my personal websites actually need?

My router seems to crash every 3-4 months, and I need to reset it. There's around 15-30 minutes of power failure every year. I don't worry about this.