skysight-inc/HackerNews huggingface dataset:
>but I'm skeptical that it's actually more efficient than just using excel.

It is more keyboard driven than Excel and felt a bit more "productive", far less focus on designing the spreadsheet.

You use Excel because you have to, as part of your job. But I used this for some smaller things and it worked reasonably well.
That was literally the whole point. The fact that there were no humans was the selling point
I think that property is essential to really good books. The running of Aragorn and Legolas and Gimli is a long boring slogto read. The trek up Mt Doom is agonizing.

The transformation of writing from the awesome kids tale of Sorcerer's Stone thru the awkwardly adolescent middle books to the powerfully adult writing and plots of Deathly Hallows is such a effective parallel to the kids growing up.
Do you mean kanban is a better fit for what you're describing or something else entirely?
Ask HN: What's your biggest pain point when reading scientific papers?
I suppose you could share using tmux or screen.
It does show people in your org first, but you have to search by username, not full name.
On a geek level it would be cool. On a practical level? My electric bill is $100 in January and $400 in July. I know what's going on.
As someone whose job in the past was mass destruction of HDDs and SSDs (thousands on weekly basis) for a major cloud provider this is pretty much useless.

If you wanna do it efficiently on scale then something like this is much better option:
https://m.youtube.com/watch?v=iqU9QSwHcNg

And for SSDs you'd want something like this:
https://phiston.com/product/mediadice-ssd-disintegrator-2c/
It’s also so annoying circular. We spend money to get more clients but this stops being effective at a certain point so now you’re just spending money to advertise for the sake of it or the status, and could even be losing money by doing so.
It's just damn cool to see how many ways there are to obfuscate email addresses
Lotus 1-2-3 was originally a screen-based, keyboard driven application.
That's a real good way to filter out not only spam but also low effort mail. Kudos that's so very innovative and intriguing tbh
This isn't necessarily sufficient unless you encrypt the drives before any data is written to them. If any potentially sensitive data has been written to the drive prior to encryption, the only 100% method is physical destruction.

Of course, this clarification only matters if your threat model involves dealing with top-secret data and/or nation-state enemies.
Would be nice if an ARM Morello Framework motherboard was released with this.
Isn't doing the exercises a lot more efficient?
You can share with git. But obviously this is no real replacement for cloud based multi user spread sheet software.

To be honest I also think that if you are making heavy use of cloud based spread sheet software you have a 100% chance of being a drain on your organization and society as a whole, so I can't really count those missing features as a big downside.
How's it going learning many languages at once? Are you conversational with all of them?
Besides paywalls?

I wish the "Conclusion" section were easier to get to. It's sometimes re-stated in the first/summary paragraph - but I feel like every single time, I have to hunt for the meat of what was found by scrolling down to the conclusion.
What was your purpose in developing this app? It sounds like you were trying to solve a problem you had for which there were no other good solutions. If this was the primary purpose, then it's only meant for you and not for anyone else, so why "ship it"? For personal use, shipping it simply means using it.

If you want to produce a product to sell, then yes, for the most part you want to ship as soon as you have a minimum viable product - something that at least accomplishes something valuable, even if it could be better.

But if you're working on something for fun and you consider open sourcing it, don't rush into shipping it. As soon as you release it to the public, people will start hounding you to fix bugs and add features. If you try to please them, you'll quickly find yourself working a part time job for no pay - your hobby will turn into a burden.

Releasing anything to the public - whether for profit or not - opens you up to a lot of pressure and judgement. You are making a commitment, whether you intend to or not.

Before shipping it, think carefully about whether you want to commit to supporting it. If not, then just keep it to yourself.

Giving up on a project - even one that works - isn't a bad thing. People change. Just because you wanted to work on it 6 months ago doesn't mean you want to do it now. Don't feel obligated to keep doing something you no longer enjoy. Often the important thing is that you went through the process - you learned a lot and you overcame a challenge. You can leave it at that and still be a success.
It seems much easier to pin the ever-decreasing quality of software on the practice of trying to keep everything secret (propriety). Like, obviously it's not secure if they don't let people audit it...
Location: United Kingdom (near London/Cambridge)

Remote: Yes (or hybrid)

Willing to relocate: No

Technologies: Haskell, Scala, Java, Go, compilers, ad technology, theorem proving, functional programming, finance, automated trading.

Skills: Software Engineering management, team building, project management, hiring management, product strategy.

Résumé/CV: https://www.linkedin.com/in/basvangijzel/

Email: nene.kotan+jobs@gmail.com

Open to hearing about Software Engineering Management roles, Director level roles, or Team Lead positions with a considerable management/mentoring component.

I have multiple years of experience managing and mentoring teams, and a strong technical background in functional programming (Haskell, Scala). I enjoy directly working with product, and have a strong user focus. I also have 3 years of full-stack software engineering using Dart and Java. Happy to pick up any technology needed.
is this just like

anotherservicetwilioruined.example.com/api/doesthispersonhaveanaccount?phone=+12012000000

and then the service says 'yeah that number has an account' (and nothing else?)? then whomever repeats that for every possible phone number?

or... more than that?
Seriously, thank you for offering. I'll let Scott and Dave know, and one of us will get back to you. (If anything comes of this, and you're OK with it, we'll write it up so people on HN can read about it; I always feel a little squicky "moving" discussions from HN to private channels).
This guy is re-creating using only materials available at the time: https://www.youtube.com/playlist?list=PLZioPDnFPNsHnyxfygxA0...
Batteries: How cheap can they get?
EU Consultation: Cybersecurity obligations for infrastructure and IT providers
> I don't know enough to judge whether it is likely or not, but it's a pretty fascinating idea.

The fact that some debris of MH370 has been washed ashore means it crashed into the ocean. The plane just hasn't been found (yet). Mentour pilot has a good video on the subject: https://youtube.com/watch?v=MvmfyO8GvTE

Summary: Captain likely hijacked the plane, depressurized the cabin, used his knowledge to avoid detection and crashed the plane into the ocean.
If I recall correctly, they only work in PowerShell 7. If you don’t even have them in there, you can install them from https://github.com/microsoft/winget-cli (which is bad UX, but if you just need them on one system it’s a way to do it).
I like it when sites give me options. Sign up or in with any combination of email, social, Github, etc. Afterward I can add a passkey or 2fa if I want to.

With a password manager it's all pretty straightforward.

I hate magic links. Way too many steps and have to wait for the email to transit the internet. It's as bad as a forgotten password, except it's every single time.
I don't know, personally, I would be very unhappy if someone stole my server and then starts blackmailing me to reveal private information somewhere (unless I pay a certain sum). I don't have anything to hide, but I still don't want my private information public. I don't need to mind about this with encrypted data.
It seems like it's hard to describe the world where this AI can't directly people but where it still transforms things.

Unfortunately, one aspect of such a new world is an increase in the production of all content that's a vacuous, mediocre average of existing content. And that doesn't bode well for the quality of this new life.
This happens with every provider. One thing you're seeing is just that people with 5- and 1- star reviews have a lot of motivation to post reviews. People tend not to be motivated by "meh it's fine" feels.
Thousands ofAmericans got caught in fintech and lost access to bank accounts
Doesn't help the millions of unencrypted hard drives that are currently in service and will need to be disposed of eventually.
How do you see ICQ being different to something like Discord these days? I joined the internet at the tail end of ICQ just before things like MSN Messenger started becoming a mainstay for my immediate group, so am curious.
The thing about state is a good point. With the sans-IO pattern we have inversion of IO and Time, but adding memory to that would be a nice improvement too.
I wrote a lot of basic and 6502 assembler code inspired by Byte. So much learning.
I actually love this definition!

A "centrist" when talking about a layperson might suggest them having an amorphous, indifferent position.

In our here local politics, a "centrist" politician is strongly assumed to be a political prostitute, a puppet in search of a generous master.

I take a "far centrist" to mean compromise-seeking in a deliberate way, which is a fun concept to consider.
honestly? the formatting. I know we all love LaTeX and pdfs but reading them on a smartphone is an exercise in frustration. Printing them out isn't great for the planet and my Kindle is the regular size one.
How does everyone here feel about IRC?

The #startups channel is a great place to meet indie makers who build stuff and are interested in technology.
They take forever and require a separate tab or device to check the email. It's a pain in the ass for something I didn't want to do anyway (login yet again). I'd consider them an anti-pattern that makes life easier for developers but harder for users.

Passkeys are a single click, or passwords can be instantly auto filled. Much quicker and zero friction.
>I don't need to mind about this with encrypted data.

I'm not sure if I wasn't clear or if you didn't read my comment correctly.

Encrypting is not enough to prevent data recovery if data was written to disk prior to encrypting it.

In other words, if you want to be 100% sure about your data being safe, you must encrypt first (when the drive is brand new), or you must physically destroy the drive.
The observation that ARINC 429 can be tapped, and that an active wiretap can alter data on the bus is of little surprise. The technological challenge is not high, the bus is comparable to a serialport at ~115200 baud. Considering that the technology surfaced in the 1970s, it is of no surprise that physical access restriction is the only means of security.

More interesting IMHO would be what can be done to accelerate the adoption of new technologies (especially w/r/t cryptography) in avionics. This is more than anything a cultural problem; How to convince regulative bodies, how to satisfy processes, how to re-balance the proven-in-use argument (where stuff gets more favorable safety assessments when it has been used long enough) vs crypto-agility (where the same thing from today just tomorrow becomes insecure without changing itself, because of some external discovery).

The technology is there, but the aviation community is not yet. Another nice read in this domain is "Economy Class Crypto: Exploring Weak Cipher: Usage in Avionic Communications via ACARS"[1, 2]. I only say mono-alphabetic substitution cipher.

An interesting connection of Blockchain-tech, safety and security can be found in "Verifiable Computing in Avionics for Assuring Computer-Integrity without Replication" [3]. Here the authors leverages zero-knowledge proofs to prove to a downstream actuator that its commands are indeed correct results yielded by the application of the appropriate control law on the provided sensor inputs. However, this work is probably at least a decade away from being applicable in actual certified aircraft.

[1] https://link.springer.com/chapter/10.1007/978-3-319-70972-7_...
[2] https://www.cs.ox.ac.uk/files/9693/fc-paper.pdf
[3] https://publ.sec.uni-stuttgart.de/reinhartluettighuberliedtk...
In what situation is thermite _not_ enough (Given enough thermite)?

Melting tungsten?
My experience was with gamefaqs. The regional boards, where I lived was small enough for one but had a lot of active users. Made quite a few friends and it helped me get my first provisional job
That's a very cheap price for enterprise layer 3 switching chip. Thanks for the info, how this switch chip has escaped me is very perplexing.

Can you elaborate on their Linux-based package, is the package critical for the development and using the chip with embedded Linux. Can we just use it as switching fabric and use Intel CPU for example N100 as the main controller running Linux?

The sibling comment also mentioned that Sparx-5 line is supported by stock upstream Linux switchdev, and this the same chip as in your link.
Reading these short self-descriptions makes me weirdly disappointed in my own life. You know, undergrad while living with parents while being a repressing queer while having crippling ADHD.
I’d say it depends on your use case.

In many compliance-heavy fields, there are specific requirements around data destruction, sometimes involving physically destroying the storage medium up to some given standard.

I’d assume this device targets that market.
I believe Java has exactly that, but I couldn't recall the project name.

In the case of .NET, there is https://github.com/microsoft/coyote which works by rewriting IL to inject hooks that control concurrent execution state.

It would have been much more expensive to have a custom interpreter specifically for this task (CoreCLR never interprets IL).

This approach somewhat reminds me of precise release-mode debugging and tracing framework for C++ a friend of mine was talking about, which relies on either manually adding the hooks to source files or doing so automatically with a tool.
I use some "underdog" products like Firefox, Android, and AMD CPU/GPU to do my part in keeping them alive.
In this regard I find medical papers much better than CS ones. The ones in medicine in the abstract write the methodology, the results the CI (confidence interval) and the conclusions.

Very good abstracts.
I usually "dissolve" mine in a bucket of non-diet cola. Cheap & easy to source. The acid to damage electronics, and the sugar gums up mechanical parts.
Absolutely, and the calling conventions for all those pieces of code make no sense to powershell folks :)

If you have a background in windows dev or any of those tools then yeah, easy mode go grab your tools, but for most people doing system automation the calling conventions and complete lack of discoverability within the powershell ecosystem (and their tools in no way helping out) made this not a realistic use case.

Shoot I have seen some powershell modules that have to embed string C#s and eval thing just to have basic performance or other basic use cases.
On a systems engineering level, keeping a system in a state of low entropy for a prolonged period of time will always be harder than a state of higher entropy. In practice, this comes down to more complexity in the software involved, and the people required to make the machine go boop will inevitably higher, since you need to maintain the servers and the complicated stack on them.
Note that greek colonists had reached spain[0] and spaniards have been known to keep bulls in corrals[1] connected, by a series of walled races with gates operated via overhead walkway, to circular arenas.

I wouldn't be surprised if cretans had had similar taurine arenas, which physically descended to the current spanish designs, and metaphorically descended (and inflated) to the greek myth of Asterion.

[0] https://en.wikipedia.org/wiki/Empúries

[1] https://asociacionlidia.es/en/wp-content/uploads/sites/3/aso...

Lagniappe: https://klasrum.weebly.com/uploads/9/0/9/1/9091667/the_house...
a video on the camera system: https://www.youtube.com/watch?v=fSUlbcpZJmA
GraalVM Ruby does not integrate with Java in the same way, and not nearly as seamlessly. JRuby allows implementing Java interfaces in a direct way that optimizes better, as well as extending and importing Java classes such that they look and feel like normal Ruby classes.

JRuby runs on all JVMs with or without Graal, where the GraalVM languages are tied to that runtime. The design of those languages also incurs heavy startup, warmup, and memory footprint penalties even greater than that of JRuby or the JDK itself, and those problems are not easily solvable.

JRuby will never go away, and as long as I have a say in it, development will continue full speed ahead. We are tackling some of our long-desired optimizations now, have near parity on Ruby language features with the unreleased Ruby 3.4, and we're very excited for the future of the project.
"They did it to distract the media!" must the worst conspiracy theory form ever
Because there are fewer of them. Scarcity is one of the qualities that gives things value.
Would they? They can charge a 25% markup across the board for stuff going to Russia, and the price they pay is losing out on access to European and US markets.

Depending on what they're selling they either don't care, aren't big dogs in those markets, or can just create a new shell company to avoid the sanctions.
Does it have more features than dBase IV, Quattro Pro?
While other countries use Greek letters for variables and functions)
Non-diet cola - sugar gums up the mechanical parts and phosphoric acid destroys electronics.
Neutrino ≠ neutron.
The “ino” in neutrino is like a diminutive. Neutrons are much heavier than a neutrino.

I don’t think they have a positive lower bound on the size of the smallest mass eigenstate of neutrinos (though they do on the other two).
It's not clear to me if ARM (the company) is actually interested in pursuing Cheri since all the work seems to have been DARPA or UK gov funded. I'm more interested in their RISC-V implementation (FPGA only for now I think). Some companies might be able to run with RISC-V and give us real hardware.
1000 upvotes.

I wish papers were written in html or markdown... and the beautiful typography applied later with latex.
From the abstract:

> This paper investigates cyber-physical attacks on avionics data buses, specifically focusing on the ARINC 429 protocol. The objective is to demonstrate how message injection, modification, and deletion attacks can be executed, enabling an attacker to gain full control over the transmitted data.

I wish that vehicular systems all had air-gap level separation of messages, rendering it physically impossible to disrupt messages to critical systems like flight controls. I suppose that's a naive perspective, but in the long run it's hard to believe that we won't have to resort to provably correct systems to thwart attacks.

> To accomplish this, we propose a method that involves modifying messages on the data bus without segmenting it.

Can we really live with avionics platforms as a setting for the same kind of perpetual arms race against attackers that we have for general operating systems?
As a developer, continuously learning and experimenting with new technologies is part of the journey. Recently, I embarked on a project to remake my personal website, and it turned out to be an incredibly fun and rewarding experience. I wanted to share the process, challenges, and triumphs with you.
I'm still very proud of that talk and it's one of two we decided to include on the Headius Enterprises "About" page here: https://www.headius.com/about

I hope I can return to Carolina Code Conference next year to share my experiences going independent with JRuby!
Only if you have infinite voters.
(Not related to the company) Isn't it pretty normal to never hear back unless they want to schedule an interview?

Especially after the last two years with hundreds of thousands of laid off devs, companies are probably flooded with applications.

It's nice when they have a form letter, even nicer when a real person takes the time to reject you, but I wouldn't expect either as a matter of course.
10 years later the critique of „Superintelligence“ is still valid: https://www.astromaier.de/post/2015-06-07-superintelligence-...
alias: leononame

Interests: politics, literature, music, film and to some degree art (would love to be in touch with someone who's interested in painting and can make me understand it better) and programming
I love cooking as well and I guess I can be interested for anything related to technology.

Languages: German, English, Spanish. Anything else via Google translate

Something that's cool: I recently watched the movie "Drive My Car", very strong recommendations to watch.

Contact info: me[squiggly a]lho[dot]io
Hi, wow, are you me? Would love to chat.
Sadly I can't find any contact info or am too stupid to see it. :-/
If you like, find me on telegram, user name as above.
which IRC network? there are several
Wonderful library and a really great set of explainers! Thanks for sharing this. Wish I had this for quite a few past projects…
Yes, GCC can pass it in two registers. On the other hand Microsoft's x64 ABI doesn't:

>Structs and unions of size 8, 16, 32, or 64 bits, and __m64 types, are passed as if they were integers of the same size. Structs or unions of other sizes are passed as a pointer to memory allocated by the caller.

https://learn.microsoft.com/en-us/cpp/build/x64-calling-conv...
I agree this is a real problem. If the repo is in an organization, I would like to have to check a box like “include outside users”.
> Scrum is developed as a solution to quick requirement changes and adaptability of development (agile), but I find that 2 weeks sprint planning and execution is actually the opposite.

It is a solution against quick changes. The only benefit of Scrum that I see is that if you have a client, PM or CEO who comes up with new ideas all the time and wants them implemented now, Scrum allows you to tell that the sprint has been planned and the new ideas should be taken to next sprint planning.
Most data destruction compliance standards I am familiar with allow for cryptographic erasure when the device is encrypted prior to sensitive data being written to it (excluding some specific data-sensitivity levels).

If they are strict enough to not allow for cryptographic erasure (or the data is above a specific sensitivity), this device would likely not be in compliance either -- physical destruction generally requires shredding/grinding to a specific particulate size, or incineration, and this device does not appear to do either.
Mostly capacity issues with openai made super early stuff infeasible for our customer base, and really it was because they would only give an extremely small number of total resources per azure account, which of course each would be vetted.

I pushed for local first models but the cost tradeoff just did not make sense for anything but the biggest clients, and they were constantly swapping back and forth whether openai would be acceptable or not for "insert sensitive use case here"

Mostly just a big cluster
Projection. Look in the mirror and see who is the asshole. You're being an antisocial virtue signalling narcissist. I don't mean it as an insult, it's just an obvious fact. Technically you have some kind of personality disorder. You got flagged for a reason. Everyone else can see it.
Because some people want make the world a better place. Or simply enjoy sharing knowledge.
Yeah my Dad has this too. I expected similar. Lots of rules in the USA makes it difficult to do anything different.