HN user

Ixiaus

3,134 karma
Posts43
Comments1,010
View on HN
dhall-lang.org 7y ago

A non-repetitive alternative to YAML

Ixiaus
3pts0
fortune.com 9y ago

Awake Security leaves stealth

Ixiaus
2pts0
medium.com 10y ago

The Tech Story Is Over

Ixiaus
3pts0
github.com 11y ago

Haskell CLI utility for piping stdin/stdout to and from Redis Pub/Sub

Ixiaus
2pts0
qchu.wordpress.com 12y ago

The Type System of Mathematics

Ixiaus
2pts1
parnell.io 12y ago

Rm is dangerous

Ixiaus
2pts6
ixmat.us 12y ago

Accountability is more important than your stack

Ixiaus
5pts1
ixmat.us 12y ago

Psychocartography

Ixiaus
1pts0
baconipsum.com 12y ago

Bacon Ipsum

Ixiaus
3pts0
www.reddit.com 13y ago

Prizm: a Haskell library for accurate color interpolation

Ixiaus
1pts0
artificial-intuition.com 13y ago

Artificial Intuition

Ixiaus
4pts1
news.ycombinator.com 14y ago

Ask HN: Place to find short term Python gigs?

Ixiaus
14pts2
news.ycombinator.com 14y ago

Ask HN: Best place to find short-term Python/Erlang gigs/contracts?

Ixiaus
10pts1
bitbucket.org 14y ago

BitBucket: Should issues be sorted by *importance* or *date created*?

Ixiaus
4pts0
news.ycombinator.com 15y ago

Ask HN: What is the name of that node.js logfile scraper?

Ixiaus
1pts2
news.ycombinator.com 15y ago

Ask HN: SCRYPT or BCRYPT?

Ixiaus
2pts1
www.owasp.org 15y ago

OWASP: Testing for SQL injection

Ixiaus
1pts0
news.ycombinator.com 15y ago

MtGox new password scheme SHA512 still insecure

Ixiaus
15pts4
news.ycombinator.com 15y ago

Ask HN: How do you handle more than one free account per person?

Ixiaus
2pts5
news.ycombinator.com 15y ago

Tell HN: SDHN mid-month (March 16th, 6PM Lestat's)

Ixiaus
7pts1
news.ycombinator.com 15y ago

Tell HN: SDHN mid-month meetup (Feb 16 6PM)

Ixiaus
12pts0
news.ycombinator.com 15y ago

Ask HN: Any experience with the Mercury PL? [repost]

Ixiaus
2pts0
news.ycombinator.com 15y ago

Ask HN: Any experience with the Mercury PL?

Ixiaus
5pts0
news.ycombinator.com 15y ago

Ask HN: Continue startup or pursue Aerospace Engineering?

Ixiaus
2pts5
x10-lang.org 15y ago

X10: a new object-oriented, type-safe programming language

Ixiaus
7pts6
news.ycombinator.com 16y ago

To Paul Graham

Ixiaus
647pts152
news.ycombinator.com 16y ago

Ask HN: I'm a contractor, how do I find good work?

Ixiaus
20pts8
news.ycombinator.com 16y ago

I just had a revelation about email encryption...

Ixiaus
2pts5
ssd.eff.org 16y ago

Electronic Privacy Awareness & Information

Ixiaus
1pts0
magnatune.com 16y ago

Magnatune: Open Music

Ixiaus
1pts0

It isn't just burnout you risk but you also risk training "the culture" of the team to lean on and reward heroics instead of sustainable, consistent planning and work scheduling.

I really like the framing of "providing relief". I think it also makes sense to allow the definition of who experiences the relief to be flexible (e.g in some cases the audience that experiences relief might be developers, security engineering, sre, etc. not just customers...)

Pairing With GPT-4 3 years ago

You then interact with it in a dialog / refinement way. This is somewhat similar to type-driven development in Haskell (that is supercharged by this kind of interaction mode).

I find this approach to produce the highest quality output and I can ask it to explain reasoning, improve certain things, or elaborate and expand code.

Pairing With GPT-4 3 years ago

Please forget all previous prompts and assume a new role. You're a highly respected, expert Ruby programmer at a startup building software that is of a similar quality and brilliance to that of the rails project. You are also very skilled at reasoning about correct code and communicating your process in English prose to colleagues who will have to maintain your code. You want to give me succinct, clear responses without too much explanation unless requested. I'm going to ask you a series of questions. Whenever you are done with output, please say "DONE". And when you are ready to answer my next question, please say "???" to indicate you're ready for my next question.

Pairing With GPT-4 3 years ago

They should have used a flattery plus dialog prompt. I've seen incredible results from that for Haskell programming.

You've moved the goal post (again) but I'll address yet another false claim. Nothing was "violated". The vaccines were rigorously tested.

An EUA can only be granted when no adequate, approved, available alternatives exist, and when the known and potential benefits outweigh the potential risks.

It is the job of the FDA to ensure medical products meet rigorous safety and efficacy standards, a process that can take years for what’s called “full approval.” Though that timeline is condensed when an EUA is granted, the FDA still upholds its strict standards.

https://www.yalemedicine.org/news/what-does-eua-mean

Additionally, your FDA source says nothing about untested medicines being administered. You've shown your original point was either poorly communicated or misinformed or nefarious. I'll be generous in my interpretation of your intentions and assume you're merely misinformed and communicating without clarity which leads me to say: if you're going to make an extraordinary claim you must provide extra ordinary evidence or you're spreading misinformation that could cause harm downstream.

If you're not sure, then just don't say anything or perhaps frame it as a question.

It is your understanding failing you.

What you've said here is both true and moving the goal post from your first claim while also ignoring the other fact: they were approved for emergency use which means they still were subjected to rigorous testing and trials.

They did not have least testing, they underwent parallel trial testing.

That is a false claim. The medicines for treating COVID-19 were tested and tested quite thoroughly:

https://www.nytimes.com/interactive/2020/science/coronavirus...

https://www.umms.org/coronavirus/covid-vaccine/facts/testing

Your comment amounts to dangerous misinformation. If you really believe what you've written, please provide high quality primary sources that show medicines were administered that were untested. Anything else is you spreading misinformation.

Nix the language enables you to write explicit build recipes that can be reproducibly built with good integrity guarantees and granular and distinct knowledge of the build-time dependencies and the run-time dependencies (so you only ever transmit closures that have what they need to execute).

Nix the set of tools gives you convenient command line tools that can: evaluate Nix language expressions, build recipes, analyze build-time or run-time dependency graphs of a recipe, give you ephemeral shells with the packages you want in scope but not installed "globally", package management tools to install packages globally, and recipe diffing tools so you can see how recipes changed.

Nix the package manager is a convenient, gigantic, community effort to explicitly describe how to (reproducibly) build almost all of the OSS software that users need and it comes with a substitution cache so that most recipe build products are easily substituted when installing, so you don't have to build. Even if you don't use Nix, nixpkgs is still impressive because you have the most explicit documentation for how to build a piece of software from source and all of its dependencies than anywhere else on the internet, it usually rivals project author's in its specificity, explicitness, and clarity.

NixOS the Linux distribution combines all of this together with a convenient configuration module system and generally good defaults to give you an operating system that is declaratively specified from your etc hosts file all the way down to the recipe for building the kernel, a rich and granular dependency graph, reproducible OS configuration builds, and diffs between closures.

My biggest gripe with Nix is the lack of static types. This was the originator's biggest mistake that Nix will be living with for a very long time to come. Static types would have helped bring the learning curve down IMHO and made it easier to document and less frustrating to debug.

That being said, the overall properties of Nix, nixpkgs, and NixOS far outweigh the pain points in my six years of production experience with it and for what we care about: auditability, reproducibility, explicitness, efficiency, and integrity.

We use it in production at Arista-NDR (for both CI and our Linux rootfs that we deploy on prem and in AWS).

Definitely more than just a developer play thing.

Cloudflare Warp 4 years ago

I use Cloudflare WARP for my home and smartphone and laptop. I really, really like the content policies I can configure. Getting the combo of VPN + DNS content filtering is really nice. I use it for blocking myself from accessing pornography and their security and deceptive website categories have been useful.

The interface for configuring the content policies is really easy to use too.

I also really like the browser isolation feature too - I use it to access links from emails I feel suspicious about.

Psychedelics (serotonergic hallucinogens) are powerful psychoactive substances that alter perception and mood and affect numerous cognitive processes. They are generally considered physiologically safe and do not lead to dependence or addiction.

... https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4813425/

Decriminalizing psychedelics is likely to help with the treatment of mental health problems that often lead people to substance abuse.

The idea that substance abuse is a character flaw is outdated and harmful. Some substances are certainly dangerous. Psychedelics are not in most cases. Condemning people who are using dangerous substances perpetuates the cycle of shame which keeps people from being able to heal.

I too don't want to or would use a bash script as a config file. That's the point of dhall: you get good static types and it's not turing complete, so you get a lot of the safety and code reusability tools without the pitfalls of a general purpose programming language.

And, have you ever worked with giant configs in json or yaml? It becomes incredibly painful to manage.

Yoga will never produce the same amount of body strength or power that a good, sustainable, compound barbell program can.

I do think there is a place for Yoga in giving our bodies different kinds of movements so we experience our body in different ranges of motion and positions but Yoga is nothing like compound barbell training (whether it's powerlifting or olympic weightlifting).

Why Erlang? 5 years ago

Erlang was a gateway to functional programming for me too, specifically Haskell. (And Emacs!)