Posted By
- @haskell_discussions@mastodon.social
- @hn100@social.lansky.name
- @hnbot@mastodon.chrispelli.fun
- @hnbot@me.ns.ci
- @Jose_A_Alonso@mathstodon.xyz
- @lobstersdaily@mastodon.bsd.cafe
- @newsyc200@botsin.space
- @newsycombinator@framapiaf.org
- @ycombinator@rss-mstdn.studiofreesia.com
Tags
- 1-2-3
- 1A
- 22nd century
- 3
- 3.2.1.
- A
- Ab
- Abstract
- Abstract data type
- Academic
- Actual
- Adjustment
- Advanced
- Afterward
- Afterwards
- Agda
- Aidan Knight
- Alex da Kid
- Almost
- Alternative
- Alway, Newport
- A major
- An
- &&
- Andromeda II
- And then
- Annotation
- Appendix
- Application
- Application process
- Appropriation
- Arbitrariness
- Area of research
- Arts
- Authors
- AUTOSAR
- Aware
- Away
- Back and Forth
- Behind
- Being
- Big A
- Binding
- Bool
- Branch
- Chalmers
- Choose
- Claessen
- Class
- Code
- ColleGrove
- Come
- Come Back
- Coming Up
- Command
- Communication
- Communities
- Compare
- Complaint
- Complete
- Complicated
- Component
- Components
- Compute!
- Computer
- Computer Science
- Computer science department
- Concerned
- Concrete
- Concurrency
- Confidence
- Considered
- Consistency
- Containment
- Contrast
- Convention
- Corner
- Corner case
- Correctness
- Counter
- Counterexample
- Counting
- Couple
- Cumbersome
- Current Value
- Customer
- Danny Howells
- Data
- Database
- Data type
- Dealing
- Definition
- Dependent and independent variables
- Dependent type
- Derive
- Described
- Design right
- Detail
- Detection
- Disagree
- Discrete
- Discrete mathematics
- Disk
- Distinguishing
- Distributed synchronization
- Distribution
- Diverse
- D.O.E.
- Dropbox
- Element List
- Elements
- Empty
- Entrepreneur
- Entrepreneurship
- EQ
- Equal
- Equals sign
- Erlang
- Eventual consistency
- Every
- Everywhere
- Evolve
- Excited
- Experiment
- Express
- Expressivity
- Express mail
- Extensions
- Fact
- Failure
- Fake
- Falsifiability
- Familiar
- FF
- FFI
- Fifteen
- Fifteen Years Ago
- File i/o
- File system
- Finishing
- Finite-state machine
- FirstGroup
- First Place
- Follows
- Foolish
- Formal
- Formal proof
- Formal specification
- Former
- Forth
- Foundation
- Founding
- Four
- From Above
- From Time
- From Zero
- Fun
- Functional
- Functional programming
- Functor
- Gen
- Generalization
- Generate
- Generating
- Generator
- Geta Common
- Get Back
- Get Some
- Get Started
- GM
- G. N.
- Going On
- Gothenburg
- Grant
- Group One
- Guess What?
- GxP
- Hard Stuff
- Haskell Free Library and Opera House
- Have a Look
- Having
- Herlihy
- Hexadecimal
- Himself
- Hit
- Hoax
- Hooking
- Hooking Up
- HTTP 404
- Hughe Knatchbull-Hugessen
- Human factors and ergonomics
- Hypothesis
- I1
- I2
- If
- I Hope
- Imagine
- Immutable object
- Implement
- Implementation
- Improved
- Increment
- Index
- Inequality
- In-memory database
- Innervisions
- Input
- Input and output
- In Reality
- In Rolling Waves
- Insert
- .int
- Integer
- Interface
- International Conference on Functional Programming
- International System of Units
- Involution
- I/O
- Iteration
- Itself
- J
- John By
- John Hughes
- John Wa
- Just for Fun
- K
- Kind of
- Koen Claessen
- Koen Wa
- Language
- Language communities
- Language interpretation
- Latter
- Lay's
- Length
- Less
- Let
- LevelDB
- Libraries
- Library
- Library api
- Lightweight
- Like this
- Linearizability
- Lines
- Load
- Logic
- M
- M0
- M1
- M2
- Machine
- Machines
- Magnitude
- Main features
- Mainstream
- Manual
- Math
- Mention
- Mentions
- Minimal counterexample
- Minor
- Missing
- Mock
- Model
- Module
- Monadic
- More like
- Most
- Motivation
- Much
- Mutable state
- Mysteries
- N
- Need
- Network
- Networking
- Never
- New
- Next
- No
- Node
- Note
- O1
- O2
- Object
- Old
- One day
- Only
- On Time
- Open source
- Opposed
- Orders
- Orders of magnitude
- Our Story
- Output
- Over
- Over and Over
- Overlap
- Overlooked
- Pandemic H1N1/09 virus
- Panel
- Paper
- Papers
- Parallel testing
- Particular
- Parts
- Pattern
- Patterns
- Percentage
- Percentages
- Perform
- Persistence
- Phase transition
- Picture
- Piece
- Pitch
- Place
- Pointed
- Polarity item
- Popular
- Population
- Pragmatism
- Presenting
- Produce
- Profit
- Programming
- Programming language
- Programming logic
- Properties
- Property
- Property-based testing
- Proprietary software
- Proximity
- Publishing
- Pure
- Pure function
- Pure functions
- QuickCheck
- R
- Race
- Race condition
- Race condition detection
- Rail stressing
- Random
- Random testing
- Read–eval–print loop
- Reads
- Reality
- Recap
- Recognise
- Rectification
- Reference implementation
- Relate
- Relation
- Relational operator
- Remove
- Rensselaer Polytechnic Institute
- Research
- Researcher
- Research foundation
- Respect
- Result
- Returns
- Return type
- Reuse
- Reversal
- Reverse
- Reversing
- S0
- S1
- S2
- Sad
- Saint Laurent Boulevard
- Sample
- Saved
- Science
- Second
- Seminar
- Sensible
- Serial
- Shortcomings
- Shorter
- Shortest path problem
- Shrink
- Side Walk Slam
- Simplicity
- Single
- Single-input single-output system
- Situation
- Slogan
- Software
- Some
- Something
- Some Things
- Sometimes
- Sorting
- Source
- Source code
- Source lines of code
- Space
- Specification
- SPOT
- Standard library
- Start
- State machine
- State of the Art
- Still
- Strategy
- Stress
- Stuck
- Stuff
- Suffix
- Sure
- Surprise
- Survey
- Swedish
- Sweet
- Sweet spot
- Synchronization
- System change
- System I
- Take Me Home
- Telecom
- Telecommunication
- Teller
- Test case
- Tested
- Tests
- The Appendix
- The Brief
- The Command
- The Counter
- The Definition
- The Fake
- The first
- The Hard Stuff
- The Library
- Then
- Theory
- The Panel
- The paper
- The real
- The Sequence
- The standard
- The state
- Things
- Think
- This Is How
- This is True
- This Picture
- Thoma
- Thomas Arts
- Three
- Title
- Top
- Total
- Traces
- Try
- Turn
- Twice
- Type 1
- Type class
- Type M
- Type signature
- Type system
- Type theory
- Typing
- Underscore
- University
- Used to Be
- V
- Vague
- Variable
- Versions
- Via
- Visit
- VV
- We Shall See
- What
- What's Missing
- When
- Who
- Why
- Wikipedia
- Wing
- Write-in candidate
- XS
- Yi I
- Zero
- Zero-based numbering