A headshot of Andrew James

Andrew James

Senior Software Engineer
  • Total Posts
    14 articles
  • Total Categories
    11 categories
  • Tags
    All

Articles

Enjoying the blog?

If you'd like to support my work and stay up to date, click here to follow the RSS feed. You can also click the cup to buy me a coffee ↘️

  • Sponsored
  • So you want to game the system and get promoted?

    A guide to stacking the odds in your favour to get to the next level.

    Read the article
  • So you want to work remotely?

    Tips and product suggestions for setting up an effective remote workstation.

    Read the article
  • Building an Accessible Menubar Component Using React

    Create an accessible Menubar based on the WAI-ARIA design pattern for a menubar widget.

    Read the article
  • So you want to write a Groom’s speech?

    Advice for the groom to help him create a memorable and meaningful wedding speech.

    Read the article
  • So you want to build a PC?

    An overview of the main hardware components you will need to build a desktop PC.

    Read the article
  • Multiple Entry Points in Create React App Without Ejecting

    Create multiple entry points without ejecting from the safety net of Create React App.

    Read the article
  • So you want to WFH?

    Tips maintaining focus and effective communication whilst working from home.

    Read the article
  • Total Views
    8,554 total views
  • Total Subscribers
    243 subscribers
  • Total Videos
    64 videos
Post
    • @
      ajames.dev
    • Total Followers
      403 followers
    • Total Posts
      1,874 posts
    Post

      Featured

      Andrew James

      ajames.dev
      ajames.dev/social is live 🦋
      
      - Built with the @atproto.com client api
      - Profile information summary
      - Pinned post as featured
      - Collection of posts from my 'Latest From Followers' feed

      Andrew James

      ajames.dev
      Let's see what all the @atproto/api fuss is about
    1. Replies
      1
    2. Repost
      0
    3. Likes
      1
    4. Replies
      2
    5. Repost
      1
    6. Likes
      8
    7. My Feed

      The latest posts from my account and others that I follow on Bluesky

      Andrew James

      ajames.dev
      Finally got around to tweaking my webcam & key lights whilst the wee man was sleeping. 
      
      Now I just need someone that is handy with lighting to tell me everywhere I’m going wrong. 
      
      Feedback welcomed!
      Webcam side-view shot of a person. The shot is poorly framed and lit
    8. Replies
      2
    9. Repost
      0
    10. Likes
      4
    11. danielroe

      danielroe.dev
      I haven't made much progress on this...
      is this something you'd benefit from?
      
      (my plan was to publish a few videos each week but I'd need a cohort of people who were willing to give me feedback as I did so...)
      
      roe.dev/ama
      
      #ama
      are you still working on react-to-nuxt?
    12. Replies
      0
    13. Repost
      0
    14. Likes
      0
    15. dan

      danabra.mov
      how the internal team is doing
      The live work is healthy and surprisingly convergent.
PM has independently reconstructed the proposed \(3\times3\) proof and currently sees no gap, but is correctly refusing to upgrade it until independent attacks converge. PM is doing exactly the right job: integration, reconstruction, and grade control.

Frontier is attacking the \(3\times3\) theorem from the genuinely new cubic-residue core. It has separated the vanishing cases from the dependent/independent residue cases instead of extrapolating from \(2\times4\). This is strong theorem work.

Red first found an abstract determinantal countermodel showing that the lower graded algebra alone cannot prove \(3\times3\). It then independently identified the Hahn-specific predecessor mechanism that may rule the countermodel out. That is exemplary red teaming: it sharpened the necessary theorem rather than merely saying “looks good.”

Lean Lab is compiling the stable-tail specification and exact Mathlib ordinal APIs before Claude commits to an implementation. It also gave PR #58 a precise source/axiom audit. Its value is increasingly as the contractor’s independent specification and verification lab.

Observatory is exploring a Boolean–Lefschetz/infinite-state route and the BFD/FFD literature. Some lines terminate without a theorem, but it is doing useful boundary-finding: distinguishing completion-level injectivity from actual special-fibre integrality.

Breakthrough is already operating at very high ambition. It has produced useful Boolean insertion and oriented-quadratic ideas, but also several leads whose honest reach turned out narrower than the initial hope. It does not need broader scope; it needs to convert one surviving lead into a precise Hahn theorem or decisive counterexample.

The current \(3\times3\) convergence is especially encouraging:
PM reconstructs it and sees coherence.
Frontier is checking the cubic core.
Red found why abstract algebra is insufficient and is checking the exact Hahn repair.

      dan

      danabra.mov
      we’re trying to crack Conway’s conjecture that Oz is pre-Schreier
    16. Replies
      2
    17. Repost
      0
    18. Likes
      15
    19. Replies
      0
    20. Repost
      0
    21. Likes
      0
    22. dan

      danabra.mov
      it's up!!!
    23. Replies
      4
    24. Repost
      13
    25. Likes
      104
    26. taylor desseyn

      tdesseyn.bsky.social
      the way to stand out right now is being 'known' for something
      
      and you can be known for something not by being an expert 
      
      but just by talking about it constantly
    27. Replies
      0
    28. Repost
      0
    29. Likes
      0
    30. derek guy

      dieworkwear.bsky.social
      this is what they took from you
    31. Replies
      54
    32. Repost
      418
    33. Likes
      2,334