skysight-inc/HackerNews huggingface dataset:
I was thinking about "physical reality" as a means to establish a chain of trust. If you and I sit next to each other, we have vocal and image chat available. Other than someone coming and physically injecting themselves into our "sphere", our communications can be trustworthy and reliable.

If a "chunk" of data could be "sovereignized" by association with other "nearby" chunks of data (through some common signing event), one could "move" seamlessly from one chunk to the other, regardless of where it was being "served" from.

When I talk about "chunks" here, I'm talking about document boundaries and ownership/control of the data.

If we were in some sort of simulation, moving from my sphere of data to yours would look something like a probability distribution. By having signed contracts between the spheres, one could increase the probability that movement in a general direction resulted in access and loading of trusted data.

Because the chains start out empty, nobody "owns" these fictitious plots until they are established through preexisting trusted channels. Various channels as well. None of this bullshit NFT land grab crap that nobody can trust. Use NFTs, or even better, Lightning payments to establish the "authenticity" of the nearby data spheres.
I've been using hylang lately to build libraries for my python projects. It's a lot of fun, and close enough to Clojure that there's very little learning curve.
Time has value. If the prospect isn't clear, the tradeoff of time to investigate is a waste. People are risk averse and want to understand the benefits the language was designed for relative to competing languages.
To make our lives easier. There is only so much time in a day and we would rather spend it well.
The Apple M1 Ultra Crushes Intel in Computational Fluid Dynamics Performance
Fundraising to paralyze and kill more 3rd world kids
somehow the language & mascot gives a feel of Plan9
One of those definitional things; it'll never be a truly unregulated wild west market, but then what is?

Realistically the grid needs to be nationalised or under an arms-length wholly government owned corporation. You can't have competing grids. The grid is the market. The UK tried privatizing it (and the rail infrastructure, and the broadband infrastructure) and ended up taking electricity and rail national again.

On the back end I think the UK market works reasonably well with a light regulatory touch allowing for microgenerators. The retail side is more of a problem. You can't really expose retail customers to the spot price (that went wrong in Texas), so there has to be an intermediary, who is vulnerable to bankruptcy instead if the spot price shoots up.
“The benchmark is based on the NASA USM3D CFD code, which is available to US Citizens by request at software.nasa.gov. It comes as source code and will need to be compiled with a Fortran compiler (you also will need to build OpenMPI with matching compiler support). The makefiles are setup for macOS or Linux using the Intel Fortran compiler, which creates a highly optimized executable for x86-64. You could also use gfortran (what I used for the arm-64 Apple M1 systems) but I’d expect the performance to be lower than what ifort can enable on x86-64.”
The Goals section from the projects main page are pretty interesting: https://github.com/oriansj/stage0

This is a set of manually created hex programs in a Cthulhu Path to madness fashion. Which only have the goal
of creating a bootstrapping path to a C compiler capable of compiling GCC, with only the explicit requirement
of a single 1 KByte binary or less.

Additionally, all code must be able to be understood by 70% of the population of programmers. If the code can
not be understood by that volume, it needs to be altered until it satisfies the above requirement.

Very cool project, but I guess I won't hold out for compiling a working web browser from this project.
It Can Wait [video]
> Hare aims to be successful within its niche for the programmers that find its ideas compelling

Honest question, what are the compelling ideas? I really don't mean that with any snark. I haven't read through everything on the site, but so far I see:

- Uses the `let var: type = value` syntax

- Infers `type` from the value when it can

- Has arrays and slices of arrays

- Uses `defer` for cleanup

- Doesn't have a garbage collector

- Imports using `use` (vs `#include`)

- Module scoping with `::`

- Has `match` (not sure about patterns/destructuring)

- It looks like `yield` is a return from sub-expressions

edit: some more...

- tagged union types

- non-nullable types (opt in)

- utf-8 strings
And linking? Dependency management?

C & Rust come from different eras of easy-getting-started, IMO:

C - I just want to get shit done, I'm not taking on any dependencies, I'll just write it myself and sure it won't be the best but it'll do what I need and keep it simple;

Rust - I just want to get shit done, surely there's a lib for this and that, I can just glue them together.

So with Rust that's no harder to do than doing anything at all; with C it's quite a bit harder but also a bit easier if you don't.

Agreed that's not going to hold any weight in deliberating switching a million line project, but I do think it matters what hobbyists/spare-timers are using, what people want to work with, etc. Slowly.

(E.g. my day job is mainly python; if we needed something highly performant or embedded or whatever I'd be way more comfortable in Rust than ropey university-C.)
I encourage people to try out Common Lisp because, unlike with Hy, you will get: speed, ability to build binaries, truly interactive image-based development (yes, more interactive than ipython), more static type checks, more language features (no closures in Hy last time I checked), language stability… To reach to Python libs, you have https://github.com/bendudson/py4cl My comparison of Python and CL: https://lisp-journey.gitlab.io/pythonvslisp/
We do take security pretty seriously with Hare. To quote our crypto module's introduction as an example:

> Cryptography is a difficult, high-risk domain of programming. The life and well-being of your users may depend on your ability to implement cryptographic applications with due care. Please carefully read all of the documentation, double-check your work, and seek second opinions and independent review of your code. Our documentation and API design aims to prevent easy mistakes from being made, but it is no substitute for a good background in applied cryptography.

We have many safety features built into the language and the standard library is designed to be difficult to use incorrectly. I will address these concerns directly in a subsequent blog post covering the safety and security features of Hare.

The main problem is that some programmers view anything less than what Rust provides as morally unjustified.
A cluster of many $8000+ gpus. You're looking at around 350GB of vram, so 30 12gb gpus - a 3090 will cost around $1800, so $54k on the gpus, probably another $15k in power, cooling, and infrastructure, $5k in network, and probably another $20k in other costs to bootstrap it.

Or wait 10 years, if gpu capacity scales with Moore's law, consumer hardware should be able to run a ~400GB model locally.
Is EDF a "private" or "government" entity?
And they use Monero instead?

(I am actually curious; who are these people who do not have a bank account but use Monero?)
I think if you want to compete with Rust, C or Zig you want to have a rich standard library. I still hold that Go's success is attributed to the fact that you could build a web application out of the box, minus database drivers. The templating and web server is purely built in to Go itself.

I don't have to waste time evaluating web frameworks I can just start coding a website with net/http right away. Oh its production ready!? Amazing!

I do wish Go had more things built-in like email and other protocols.

If I were maintaining or creating a systems language, I'd invest in the standard library being powerful out of the box. I really secretly wish Rust / D had a web server baked in sometimes.

All things said, this is the first I've heard of Hare, and it looks nice to me from what little I've looked at.
Just as a reminder, you can bridge from EVMs to Monero via the SECRET bridges, which seems to have the Monero community's blessings on consensus models. There is ample liquidity as well.

So there is bi-directional access to and from the broader crypto ecosystem without centralized exchanges and without the selectively scamming shapeshift-style sites, and for the pros: without OTC desks either.
As a Mullvad fan this makes me very nervous. If they begin being used by, and taking payment from criminals it's going to bring a lot of extra heat their way.
I am not entirely sure I by there being less data. I don't allow Grindr or Scruff access to anything on my phone. Even for photos I use the iOS feature to limit what photos they can see. The only real difference between the... accepted profile structure. Grindr and Scruff tend to be face...ish pictures vs Sniffles that is... not.

Facebook and Google have become very good at tracking you across the web. Sniffles has ads (admittedly all of them are to sign up for premium but I don't know how those ads are served... I have not looked).

So add in google fonts or some other tracking mechanism and suddenly you have a ton of data to tie someone too a website that is meant to be anon. (more or less, I know its not quite that simple but I don't think being on the web makes it necessarily any better)
Rare-earth magnets are often used in wind turbines, but very far from always.

CdTe PV is made on glass. They are common mainly in the US, mainly because of import tariffs. But Cd and Te are valuable and easily extracted from panels, so, no, they will not end up in landfills. The Si ones may, but very highly-purified Si is also valuable. Thin-film cells likely to be used in future cells use very little material.

So, you are reaching.
Logging and monitoring can be a form of bullying, and make for lousy infosec
Greg Mankew’s textbook is the best for intro imo. Not cheap.

https://www.amazon.com/Macroeconomics-N-Gregory-Mankiw-ebook...
The Phantom Tollbooth. I knew what a dodecahedron is years before the other kids, many of whom still don’t know.
Neither C++ nor Java were "attempts to improve C".

It's true that C++ is almost a superset of C, but most C programming idioms would be discouraged in C++.

As for Java - it's a whole different kettle of fish. Intended to run on a virtual machine with opaque high-level abstractions usable by your program; nothing like C.

(I don't know ObjectiveC enough to comment.)
I found that FantasyGrounds virtual table top platform supports Rolemaster, automating much of the table lookup and rolls (no more sticky notes marking pages with certain tables). I haven't tried it myself, but have read good things. Virtual table top platforms (FantasyGrounds, DNDBeyond, etc.) are an interesting market to examine the history of, from inception to the success they currently enjoy.
I love Postmark and wish them well with this (especially since I'm a customer) but as a Sendgrid customer (also) who experienced things after they were acquired, I'm bracing myself(!) But if I owned a company like this, would I be looking for a nice way to take some money off the table right now? Absolutely. So congratulations!
I don't think the method is sound. You should look into finance literature on the topic, maybe something about diversification.
Come on, there is a qualitative difference between buying an object and a medical procedure
I don't know what your general knowledge of economics entails, so this might be obvious, but the back half of Principles of Economics by N. Gregory Mankiw covers how a lot of those pieces are interrelated.

(Bonus tip: buy an international edition on eBay. It's the same content.)
> Or maybe they just stuck it out and edited every page manually when they wanted to change the header or footer.

We had a tool for this called frames!
Since the generic fingerprint is associated with Tor, you get a lot more captchas. And JS that shows event times based on your clock (say a schedule) will think your time zone is UTC.
I think you need a degree /in/ the game system.
There were "Nitrogen shortage" headlines last November: https://fortune.com/2021/11/04/energy-crisis-food-shortage-s...

https://news.ycombinator.com/item?id=29129920

At the time many felt that Russia and China had halted nitrate exports for completely peaceful reasons...
Putting Rust and Go together under strong type system is a very odd choice.

Rust is inspired by ML family languages and heavily leans on it's type system, while Go is very simplistic in comparison. (This has improved somewhat with the recent addition of generics)
well there's a working Emacs-like in Common Lisp! https://github.com/lem-project/lem/
How Casper Failed and Why DTC Startups Lose Money
> And they use Monero instead?

they can use Monero as well, not instead. As there are lots of other interchangeable options for non-banked or unhosted crypto payments and commerce.

> (I am actually curious; who are these people who do not have a bank account but use Monero?)

to me, your question is similar to asking "who are these people that use their cell phone in a subway tunnel" after cellular service was extended underground. the similarity being that the answer is "I don't know" and "you're not going to get a dissertation or a source about it, people just use whats available" and "who cares". What I wrote earlier is just a list of what happens when the expanded availability is there.
Strings are essentially a usage-constrained slice alias. You can pass a string into "free" and it will free the underlying storage. Check out the spec for the full answer:

https://harelang.org/specification.pdf

They are a very lightweight language feature which is mostly supplemented by the standard library, e.g. the strings module.
It's appealing to a different set of people. C++ and Rust are much larger languages than C. Hare is actually smaller than C. And while Hare doesn't provide the same kind of memory-safety guarantees that Rust does, it does make it easier to write safe programs than C.
Is the Signal End-to-End Encryption Algorithm Outdated Now?
Maybe I am just jaded by Grindr (and even non hookup apps) at this point.

But I just take Scruff's words with a grain of salt at this point. There is so much that they can do server side that we can't block.

A big part of me thinks it is just inevitable until something like this comes out about Scruff. I don't want to think that... but we have been burned way too many times by apps. Look at what came out about several mental health apps a few days ago.
The sibling comment already says most of it, but the non-presence of a succinct comparison table is IMO a signal in itself that the language/project is a toy and not ready to be considered for production use.
I believe this is possible with ActivityPub already, and the servers just need to start making a distinction between the identities from its users and the "federation": https://mastodon.communick.com/@raphael/106825107786781891
They already take anonymous cash payments. They can't tell if that's legal or illegal money there either.
My bet is Nim. Because Python just topped the PL ranks, there is lots of people learning Python as their first/only programming language now. When some of these eventually need to learn a systems language, Nim will have familiar syntax to piggyback on Python's popularity, just like Java or JavaScript did in the past, piggybacking on C curly-brace syntax.
Have they ever fixed the problem with let not being implemented (which was the case when I looked at it a couple of years ago). Lisp-like languages without let lose a lot of the inherent power of lisps.
In real life cash and balaklava have other purposes than keeping your identity hidden. (Balaklava may keep your head warm and cash may be the only possible payment in some situations.)
I mean "own" not in the sense of privacy in this case. But in the sense that the account (public key) belongs to the person who has a certain private key. So you can move your content to a different server or domain and keep all your audience, maybe with a small transition period while the new server becomes well known, but not like now getting kicked out of twitter or youtube just results on a bunch or broken links and contextless comments.
That's also why I can't stand some of the modern pixel-games. They are too blocky and doesn't work well on modern screens. Using blocky graphics is not "retro" at all. It's more an artistic impression of how they think old games looked like.
I have found Shotcut to be entirely stable over the last year on both Windows and Linux, whereas the last version of Kdenlive I just tested this morning experiences freezes on Windows. I'm quite happy with Shotcut.
A Twitter replacement shouldn't be federated. It should be fully P2P.

Federated platforms can still be censored and walled off. Not all Mastodon instances are peers, and your data isn't portable. It still has most of the same pitfalls as the platforms we complain about today.

P2P is naturally efficient. The best ideas will gain traction within their memetic networks, and you can branch out and explore anything and respond to it.

Sign and publish with a pubkey so you have pseudonymous identity and can keep track of peers. Publish and consume through a gateway proxy or VPN if you want to keep your IP private.

Supernodes can help with scaling, especially for mobile clients.

You can block whomever you dislike or share only with your direct network. You can write your own prioritization algorithm to cut down on noise and create high signal channels. You can archive whatever you like easily.

It should have been P2P all along.
TicWatch Pro (I do not own it) has a 2nd layer screen that uses very little power and can last many days. However the watch is too big for my taste, but always on is a must.

I purchased a refurbished Samsung Galaxy 42mm. I can last well into 1.5 days without charging (it usually gets topped off). The newer Samsungs can barely last a day.
Looks like they're mostly surplus stock, but there could be all sorts of reasons a die ends up in there.
I've only worked at (several) places not on that list, but I will say that despite everyone's snide remarks here about how nobody uses Haskell..I have been able to immediately get multiple Haskell interviews whenever I've wanted. Ping some recruiters & former coworkers on LinkedIn and it's done. Niche languages have their advantages. And despite "there only being dozens of us," there's plenty of money in Haskell out there to make a good living (no passion paycuts). Gotta know Haskell first tho ;)
I think neo4j is used for those purposes. I'm not quite sure yet if they implement RDF or some custom/other concept.
Do we actually know how the memory is coded specifically? Is it a specific firing of a neuron (or a neuron ensemble), is it the specific answer you get from exciting the neuron(s)? Or any combination thereof?
> Is the thinking more sophisticated than that?

I think the way it usually works is a less reasonable one would make outrageous statement, later on some one more reasonable sounding would put a context or nuance around it.

So a single crusader maybe called outright troll or whatever but if a few work together they can be much effective for evangelism.
It rather shows that they protect the user from mullvad itself being a privacy leak, which shows that they stand by their principles.
Fire yes, but smoke might be a different thing. Smoke/fire barrier doors are mostly a thing in commercial buildings.
I just don't see github actions, say, as an inherently more complex tool than cron. Or vice versa. Both have a certain essential complexity to getting a scheduled task to run, once you've overcome the initial hurdle of getting to a point where you can use them. Depending on where you're starting from, what tools you're already using, and what ecosystem you're already part of, that initial hurdle is going to be of a different size, but once you're over it, for either case, you're just configuring a job with a schedule, and then hopefully getting to forget about it.
Thanks for the clarification, 100% any roleplaying game is GM skill dependant.

It seems like the nice thing you get here is that some people went and came up with a whole bunch of stuff that could happen which could be good fodder for "fail forward"[0] style outcomes?

- [0]: https://mythcreants.com/blog/why-mouse-guard-handles-failure...
Read it from the man himself - and also common myths around the filename: https://grumpygamer.com/guybrush_fact_fiction
Yeah it breaks some sites and extensions. There's more info on browser fingerprinting here: https://restoreprivacy.com/browser-fingerprinting/

It doesn't just spoof the UA, it does some other things too. Not sure what they are. It's part of the Tor Uplift[0] initiative.

[0] https://wiki.mozilla.org/Security/Tor_Uplift
Haskell's success & growth philosophy is pretty antithetical to the typical HNer's - so the comments make sense.
To me, Hare's greatest strengths are in its simplicity, error handling, the standard library, and its documentation. Hare also has a culture of careful and deliberate engineering which values correctness, completeness, and predictability.

I asked the #hare IRC channel to add their own thoughts, will edit this comment with any answers:

> Simplicity.

> I think a strength is the plan for long term stability.

> It's simple and the compiler is tiny.

> First thing that comes to mind is error handling.

> The syntax seems simple to me, like c and go and unlike c++ and rust.

> I think a major strength is you can transfer your C expertise.

> You don't have to worry about your post-1.0 code breaking or becoming obselete from new language idioms.

> Clear communication from the hare dev team about what the project goals are.
> I wish it had taken off more, everything being identified by a URI was a great concept for opening up data lakes, but alas, it wasn't to be.

The URI model kind of failed for a lot of situations - I hope content addressable RDF allows to build flexible things: https://openengiadina.net/papers/content-addressable-rdf.htm...
You're missing a step, which most adults also miss when dealing with adults.

You have to figure out why they lied, and not in an accusatory way. Often, particularly when someone wants us to promise something that we don't want to, we are trained to lie to get out of the situation. It can often feel like there is no alternative to lying.

This is, obviously, not an ideal behavior, but you can't solve it by force. You have to accept that they have a reason for not wanting to do what you want them to, and you have to come to a mutual understanding.

In any healthy interaction, you do not unilaterally set the rules. You both have input, and you have to respect theirs, even if you don't agree with it. That will help them learn to respect your input as well.
Not primary source, but includes link to source:

https://en.wikipedia.org/wiki/Onyx_Boox#GPL_Compliance
Yeah it's a bit weird for the blog to call out all these compelling ideas but then have no mention (either there, or on the home page) about what those ideas actually are?
AFAIK Mastodon implements a migration feature that lets you move your followers to/from different accounts if you want to use a new homeserver. Not sure how it works on the backend, but it's got this base mostly covered.
Generally if trends will be transformative you see it from the get go.

Zuckerberg keynote was received very coldly and the cartoonish avatars can't possibly be taken seriously in a working enviornment.

The whole metaverse can't be even defined as a space to work or play. If it's a space to play then how is it different than VR headsets and why it merits a whole world to upsell it as an ecosystem?
No, not really. If a coal plant is designed or run badly, it might burn down, and that's it. If a nuclear plant is designed or run badly, whole countries might be unlivable for centuries. The risks are not the same.