TYPES 2025: The 31st International Conference on Types for Proofs and Programs (msp.cis.strath.ac.uk)

Started as a very simple app for me to play around with OpenAI’s API last year then morphed into a portfolio project during my job search earlier this year. Now happily employed so decided to open source it.

Right now, a user can create a quiz, take a quiz, save it and share the quiz with other people using a URL.

You can try out the full working application at https://quizknit.com

Github Links: Frontend: https://github.com/jibolash/quizknit-react , Backend: https://github.com/jibolash/quizknit-api

Comments (0)

No comments yet

Regen: Empowering personalized recommendations with natural language (research.google)

US Government takes down major North Korean 'remote IT workers' operation (techcrunch.com)

Researchers Uncover Hidden Ingredients Behind AI Creativity (quantamagazine.org)

Bell Labs DSP Pioneer Jim Boddie Leaves Lasting Legacy (spectrum.ieee.org)

Chronic Denial (openmindmag.org)

Ask HN: How Are You Reading HN in June 2025?

SKA-Low simulations for a cosmic dawn/epoch of reionisation deep field (arxiv.org)

The AI-Native Airtable Has Arrived: A Letter from Our CEO (airtable.com)

Why Generalists Will Lead in the Age of AI (opuslabs.substack.com)

Is 2025 the Year of the Linux Desktop – Part I (lttlabs.com)

Show HN: PDFtoLink.app – convert pdf to shareable links (pdftolink.app)

Transformers Are Graph Neural Networks (arxiv.org)

RelaX – Relational Algebra Calculator (dbis-uibk.github.io)

Amazon DynamoDB global tables with multi-Region strong consistency is now GA (aws.amazon.com)

App Store Services Tiers in the EU (developer.apple.com)

Starlink may be lying about speed (seriousaboutech.com)

Empeg Car – A Linux Car Stereo from the 90s [video] (youtube.com)

FBI Warning Issued as 2FA Bypass Attacks Surge – Get Prepared (forbes.com)

TYPES 2025: The 31st International Conference on Types for Proofs and Programs (msp.cis.strath.ac.uk)

Coros Confirms Substantial Watch Security Vulnerablity: Says Fixes Are Coming (dcrainmaker.com)

Show HN: Timezone converter that tells you if your meeting time sucks (timezig.com)

Set fees by currency, location or method in 4 steps using config and events (youtube.com)

Beyond Code: APIs as the Next OSS Battleground (redmonk.com)

Unable to find Pylance in the extension marketplace (forum.cursor.com)

Show HN: FlowMolio – Connect API to Figma mockups for live content previews (flowmol.io)

Show HN: A one-click random NSFW subreddit button (randomnsfwsub.com)

How AI on Microcontrollers Works: Operators and Kernels (danielmangum.com)

I scraped 5k+ pain points from Reddit, G2, Capterra and Upwork (startupidealab.io)

AMC theaters now warning of 25-30 mins of previews after show time (old.reddit.com)

The Slate: America's $20K Answer to China's Cheap EVs [video] (youtube.com)

Netbook Mania (hardcoresoftware.learningbyshipping.com)

Non-Contact Heart Rate Monitoring Method Based on Wi-Fi CSI Signal (mdpi.com)

letting go (benexdict.io)

Windows seemingly lost 400M users in the past three years (tomshardware.com)

How to Borrow Memory (2021) (falsifian.org)

Show HN: Git command for creating snapshot commits on a not checked-out branch (github.com)

Philip K Dick FBI file (spyculture.com)

TIME100 Most Influential Companies 2025 (time.com)

AMD bets on rack-scale compute to boost AI efficiency 20x by 2030 (theregister.com)

GPT4Free: "educational project" for free LLM inference from various services (github.com)

Entropy of a Mixture (cgad.ski)

Embracing the power of the empty set in API design: Requesting zero items (devblogs.microsoft.com)

A Possible Connection Between Mental Illness and Diet (undark.org)

Embodied AI Agents: Modeling the World (arxiv.org)

Show HN: C.O.R.E – Opensource, user owned, shareable memory for Claude, Cursor (github.com)

ChatGPT intercepts clear cache keyboard shortcut in Brave

LLVM: InstCombine: A PR by Alex Gaynor and Claude Code (simonwillison.net)

Skyrocketing HBM Will Push Micron Through $45B and Beyond (nextplatform.com)

Connected Gmail mcp to AI voice (harmony.com.ai)

Boeing to Replace CFO Brian West with Former Lockheed Finance Chief (bloomberg.com)

Show HN: QuizKnit, an open source quiz creator

Comments (0)