πŸ”οΈ Senior EM at @AvaLabs πŸͺ¬ Former CTO of @haskellfound 🐎 Horse and dairy lover 🀠 Cowgirl Utahn Return to pasture

SLC
Joined June 2015
yandere gf at your service
3
10
The unit is bit (information), but the term is a portmanteau of binary digit. It's a syntax vs. semantics distinction. Both are correct.
2
It was fun while it lasted, but unfortunately, this market is hard. I left the company a month ago for various reasons, but I'm happy to say I landed at @AvaLabs. $AVAX to the moon :)
KADENA PUBLIC ANNOUNCEMENT We regret to announce that the Kadena organization is no longer able to continue business operations and will be ceasing all business activity and active maintenance of the Kadena blockchain immediately. We are tremendously grateful to everybody who has participated in this journey with us. We regret that because of market conditions we are unable to continue to promote and support the adoption of this unique decentralized offering. We have notified our staff that we will be ceasing operations. We are retaining a small team for handling this period of transition and wind-down. For any questions and concerns please contact operations@kadena.io. The Kadena blockchain is not owned or operated by the company. As a thoroughly decentralized proof-of-work smart-contract blockchain, the network is operated by independent miners, while on-chain smart contracts and protocols are governed independently by their maintainers. For operational continuity, we will shortly provide a new binary that ensures uninterrupted operation without our involvement, and will be encouraging all node operators to upgrade as soon as possible. As for the KDA token and protocol, it will also continue in our absence. As noted in our latest token economic update (medium.com/kadena-io/clarifi…), over 566 million KDA remain to be distributed as mining rewards, continuing until 2139, while the platform emission has 83.7 million KDA coming out of lockup until November 2029. We are ready to engage with the Kadena community to discuss how we can aid the transition to community governance and maintenance. We will post updates on this as they become available. We are tremendously grateful to all team members, community members and partners who went on this journey with us. We wish everyone good fortune in their future endeavors.
17
1
49
17. teaching a horse how to go forward
- Sixteen Levels of Enlightenment - A ranked list of fields of math, in order of difficulty to master and understand: 1.Arithmetic β€’ Difficulty: Low β€’ Why: Focuses on basic operations (+, -, Γ—, Γ·). It’s the foundation of math, intuitive for most, but mastering it requires understanding number properties and basic problem-solving. 2.Algebra β€’ Difficulty: Low to Moderate β€’ Why: Builds on arithmetic with variables and equations. Linear algebra is relatively straightforward, but abstract algebra (groups, rings, fields) introduces significant abstraction, increasing difficulty. 3.Geometry β€’ Difficulty: Moderate β€’ Why: Involves spatial reasoning, proofs, and theorems (e.g., Euclidean geometry). Analytical geometry and topology require more abstraction, but basic geometry is accessible with visualization skills. 4.Trigonometry β€’ Difficulty: Moderate β€’ Why: Focuses on triangles, angles, and periodic functions. Concepts like sine, cosine, and identities are manageable but require memorization and algebraic proficiency. 5.Calculus β€’ Difficulty: Moderate to High β€’ Why: Introduces limits, derivatives, and integrals, requiring a solid grasp of algebra and trigonometry. Multivariable calculus and real analysis ramp up the rigor with abstract concepts. 6.Statistics and Probability β€’ Difficulty: Moderate to High β€’ Why: Descriptive statistics is intuitive, but probability theory and inferential statistics involve complex concepts like distributions and hypothesis testing. Advanced topics (e.g., Bayesian methods) demand strong analytical skills. 7.Linear Algebra β€’ Difficulty: High β€’ Why: Deals with vectors, matrices, and linear transformations. While computational aspects are straightforward, understanding abstract vector spaces and eigenvalues requires a leap in conceptual thinking. 8.Differential Equations β€’ Difficulty: High β€’ Why: Solving equations involving derivatives (e.g., ODEs, PDEs) requires calculus and linear algebra. Partial differential equations and nonlinear systems are particularly challenging due to their complexity and applications. 9.Abstract Algebra β€’ Difficulty: Very High β€’ Why: Studies algebraic structures like groups, rings, and fields. Highly abstract, it demands strong logical reasoning and comfort with proofs, often a steep learning curve for students. 10.Topology β€’ Difficulty: Very High β€’ Why: Explores properties of spaces preserved under continuous deformations. Concepts like open sets and compactness are abstract and require a deep understanding of set theory and analysis. 11.Real Analysis β€’ Difficulty: Very High β€’ Why: Rigorous study of real numbers, sequences, and functions. It formalizes calculus with proofs, requiring precision and a strong grasp of logic and set theory. 12.Complex Analysis β€’ Difficulty: Very High β€’ Why: Extends analysis to complex numbers, involving analytic functions and contour integrals. While some find it more intuitive than real analysis, it builds on advanced calculus and topology. 13.Functional Analysis β€’ Difficulty: Extremely High β€’ Why: Studies vector spaces with topological structure (e.g., Banach and Hilbert spaces). It combines analysis, linear algebra, and topology, demanding fluency in all three. 14.Algebraic Geometry β€’ Difficulty: Extremely High β€’ Why: Combines abstract algebra and geometry to study solutions to polynomial equations. Its abstraction and reliance on advanced algebra and topology make it formidable. 15.Number Theory β€’ Difficulty: Extremely High β€’ Why: Focuses on properties of numbers, especially integers (e.g., prime numbers). Elementary number theory is accessible, but advanced topics like analytic or algebraic number theory require deep knowledge of analysis and algebra. 16.Category Theory β€’ Difficulty: Extremely High β€’ Why: Highly abstract, it generalizes structures across mathematics (e.g., sets, groups, topologies). Its conceptual depth and broad prerequisites make it one of the most challenging fields.
1
9
Emily Pillmore πŸ‘πŸ₯› retweeted
I am currently looking for full-time work. You may know me as OSC chair. But you might not have known I: Launched no-code SSI @ Socious as Head of Product Did L2 research (incl. Hydra work) @ Sundae Revamped Starbucks' rewards program Did comp. astronomy research @ Caltech &more
Elaine is a wonderful human and talented developer. Please consider her!
I am currently looking for full-time work. You may know me as OSC chair. But you might not have known I: Launched no-code SSI @ Socious as Head of Product Did L2 research (incl. Hydra work) @ Sundae Revamped Starbucks' rewards program Did comp. astronomy research @ Caltech &more
6
I'm about to do something I think I've never done before, which is assert every bit of whatever authority I have as the person who discovered and wrote down the rules of open source. After ten years of drama and idiocy, lots of people other than me are now willing to say in public that "Codes of Conduct" have been a disaster - a kind of infectious social insanity producing lots of drama and politics and backbiting, and negative useful work. Here is my advice about codes of conduct: 1. Refuse to have one. If your project has one, delete it. The only actual function they have is as a tool in the hands of shit-stirrers. 2. If you're stuck with having one for bureaucratic reasons, replace it with the following sentence or some close equivalent: "If you are more annoying to work with than your contributions justify, you'll be ejected." 3. Attempts to be more specific and elaborate don't work. They only provide control surfaces for shit-stirrers to manipulate. Yes, we should try to be kind to each other. But we should be ruthless and merciless towards people who try to turn "Be kind!" into a weapon. Indulging them never ends well.
4
Good news! It took a little longer than expected (about 2 weeks), but the market is not what it used to be: I have a job! Thank you everyone for your kind words and recommendations. I'll always value working with @kadena_io, but it's time to move on to a new chapter.
I'm officially left @kadena_io, and I'm looking for new opportunities. Feel free to get ahold of me.
5
2
1
49
The comments are an example of why everyone should be forced to take a discrete maths course at least once in their life
This math meme, widely circulating on the Web, often triggers discussion.
12
4
161
Doin a little beer fest today with the girls :)
1
8
I'm officially left @kadena_io, and I'm looking for new opportunities. Feel free to get ahold of me.
good weekend with besties πŸ‘―
5
0
Only people with a license should be allowed to use the internet, and the people who code should be held to an even higher standard, like a CDL, and be punished with their coding privileges taken away for engaging in tech influencing or other performative midwittery.
what tech opinion are you defending like this
3
12
you don't use nix because of the drama. i don't use nix because it sucks to use. we are not the same.
One format and tool to rule them all
3
19
i think he likes me
8
0
she's a queen, no one can stop her. This is hot girl behavior at its peak.
8
I see what it's done to my friends and I opted to raise animals instead.
i wonder how people that can understand this deeply see the world
4
1
90
Crackpottery is always such an interesting phenomenon when you see it.
2
9
i'm sure the SNAP homies with the cold food-only requirements will appreciate how surface level wayne's take actually is.
3